paramodulant

noun

paramodulant

noun

Etymology From para- + modulant.

1

Human sciences, Logic, Mathematics, Philosophy, Sciences A clause resulting from paramodulation.

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.