paramodulation

英 [pærəmɒdjʊ'leɪʃn] 美 [pærəmɒdjʊ'leɪʃn]

• [计] 调解法