paramodulation
A technique for reasoning on sets of clauses where the predicate symbol is equality.
Noun
- A technique for reasoning on sets of clauses where the predicate symbol is equality.
Origin
From para- + modulation.
A technique for reasoning on sets of clauses where the predicate symbol is equality.
From para- + modulation.