Paramodulation Uncommon

Origin: Greek prefix para-

Definition, synonyms and related words

Definitions

Noun

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

See Also

symbol technique equality set predicate reason clause

Related Terms

symbol technique equality set predicate reason clause

Rhyming Words

ion aion tion zion pion sion gion bion fion lion dion cion rion orion obion axion deion trion diion arion

Compare