Noun
paramodulation (countable and uncountable, plural paramodulations) (logic) A technique for reasoning on sets of clauses where the predicate symbol is equality.