paramodulation en · NOUN
Etymology
From para- + modulation.
Meanings
- (countable, uncountable) A technique for reasoning on sets of clauses where the predicate symbol is equality.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| paramodulations | Number=Plur | lexicographic |