paramodulation

Noun

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