paramodulation
paramodulation · paramodulations
A technique for reasoning on sets of clauses where the predicate symbol is equalityA technique for reasoning on sets of clauses where the predicate symbol is equality.
Meaning
1 senses(countable, uncountable)A technique for reasoning on sets of clauses where the predicate symbol is equality.
Origin
From para- + modulation.From para- + modulation.
Wiktionary, CC BY-SA 4.0 · source
Forms
plural: paramodulations| Singular | paramodulation |
|---|---|
| Plural | paramodulations |
regular
Word family
1 related wordsRelatedparamodulant
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable