THESAURUS

Paramodulation Thesaurus

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

Related Words

Related dictionary entries include modal, equipollence, alternation, superpredicate, modality, member.

Continue With Paramodulation

Relationships are shown only after the shared lexical validator accepts them. A suggestion is not automatically an exact replacement.