调解法

（计算机科学技术名词）

调解法（paramodulation）是2018年公布的计算机科学技术名词。基于等量替换思想对含等词的定理进行归结证明的一种方法。