paramodulation

English

Etymology

From para- +‎ modulation.

Noun

paramodulation (countable and uncountable, plural paramodulations)

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