paramodulation
nounEtymology From para- + modulation.
1
Human sciences, Logic, Mathematics, Philosophy, Sciences A technique for reasoning on sets of clauses where the predicate symbol is equality.
- Related terms
- paramodulant
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.