Definify.com

Definition 2024

paramodulation

paramodulation

English

Noun

paramodulation ‎(countable and uncountable, plural paramodulations)

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