填空題

合一算法是求非空有限具有相同謂詞名的原子公式集的最一般（）。

答案： 合一
微信掃碼免費搜題