paramodulant

[计] 调解式

词形变化

paramodulants 复数 paramodulants

释义与例句

n.
  1. 1.

    A clause resulting from paramodulation.

    数学 哲学

词源

From para- + modulant.

来源：wiktionary