Definitions from Wiktionary (paramodulation)
▸ noun: (logic) A technique for reasoning on sets of clauses where the predicate symbol is equality.
▸ Words similar to paramodulation
▸ Usage examples for paramodulation
▸ Idioms related to paramodulation
▸ Wikipedia articles (New!)
▸ Popular adjectives describing paramodulation
▸ Words that often appear near paramodulation
▸ Rhymes of paramodulation
▸ Invented words related to paramodulation
▸ noun: (logic) A technique for reasoning on sets of clauses where the predicate symbol is equality.
Similar:
modal,
equipollence,
modal logic,
alternation,
superpredicate,
modality,
member,
term,
modus ponens,
equivalence,
more...
▸ Words similar to paramodulation
▸ Usage examples for paramodulation
▸ Idioms related to paramodulation
▸ Wikipedia articles (New!)
▸ Popular adjectives describing paramodulation
▸ Words that often appear near paramodulation
▸ Rhymes of paramodulation
▸ Invented words related to paramodulation