合一算法:求非空有限具有相同谓词名的原子公式

25 查阅
合一算法:求非空有限具有相同谓词名的原子公式集的最一般合一。()

此题为判断题(对,错)。

参考答案:

答案√