paramodulation

[计] 调解法

词形变化

paramodulations 复数 paramodulations

释义与例句

n.
  1. 1.

    A technique for reasoning on sets of clauses where the predicate symbol is equality.

    可数 不可数 数学 哲学

词源

From para- + modulation.

来源：wiktionary