paramodulant

== English == === Etymology === From para- +‎ modulant. === Noun === paramodulant (plural paramodulants) (logic) A clause resulting from paramodulation.