paramodulant (English, noun)
expansion: paramodulant (plural paramodulants)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A clause resulting from paramodulation.
Forms:
form: paramodulants
tags: plural