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

0 阅读

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

请帮忙给出正确答案和分析,谢谢!