paramodulation

名词 n.
中文释义

英文释义

名词 n.
  1. A technique for reasoning on sets of clauses where the predicate symbol is equality. countable,uncountable

词形变化

paramodulations plural

词源

From para- + modulation.
0 次浏览 数据来源: Wiktionary