paramodulation (English, noun)
expansion: paramodulation (countable and uncountable, plural paramodulations)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A technique for reasoning on sets of clauses where the predicate symbol is equality.
tags: countable
uncountable
Forms:
form: paramodulations
tags: plural