首页 › 答案 › 题库 › 远程教育 › 联大学堂

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

合一算法:求非空有限具有相同谓词名的原子公式集的()
正确答案:最一般合一(MGU)