问题 填空题

利用归结原理证明定理时,若得到的归结式为(),则结论成立。

答案

参考答案:空集

填空题
计算题