paramodulation

== English == === Etymology === From para- +‎ modulation. === Noun === paramodulation (countable and uncountable, plural paramodulations) (logic) A technique for reasoning on sets of clauses where the predicate symbol is equality. ==== Related terms ==== paramodulant