THESAURUS

Paramodulation Synonyms & Antonyms

(logic) A technique for reasoning on sets of clauses where the predicate symbol is equality.

Synonyms

Antonyms

Related Words

Use the Word in Context

Related-word data is supplemented by the Datamuse API. Datamuse results are suggestions, not automatic replacements.