← Back to search

Meaning of paramodulation | Babel Free

Noun CEFR C2

Definitions

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

countable, uncountable

CEFR level

C2

Mastery
This word is part of the CEFR C2 vocabulary — mastery level.

See also

paramodulations paramoecia paramoecium paramoeciums paramoid paramolybdate