Wiktionary
paramodulation
n. (context logic English) A technique for reasoning on sets of clauses where the predicate symbol is equality.