paramodulation

English edit

Etymology edit

para- +‎ modulation

Noun edit

paramodulation (countable and uncountable, plural paramodulations)

(logic) A technique for reasoning on sets of clauses where the predicate symbol is equality.

Retrieved from "https://en.wiktionary.org/w/index.php?title=paramodulation&oldid=51804351"