Paramodulation
Definition & Meaning
Part of speech noun
Quick meaning: Paramodulation is a noun meaning (logic) A technique for reasoning on sets of clauses where the predicate symbol is equality.
Meaning
(logic) A technique for reasoning on sets of clauses where the predicate symbol is equality.
Word Forms
- paramodulations
Related Words
Related dictionary entries include modal, equipollence, alternation, superpredicate, modality, member.
Related Dictionary Tools
Sources & Attribution
FreeDictionaryAPI.com / Wiktionary · Original source · CC BY-SA 4.0
Dictionary data is provided by FreeDictionaryAPI.com and sourced from Wiktionary under its stated license.