叠加演算

（计算机科学技术）

叠加演算（superposition calculus），计算机科学技术名词，对含等词的一阶逻辑进行定理证明的一种方法，是归结方法和基于序的等词处理方法的结合。