反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。

[填空题] 利用归结原理证明定理时，若得到的归结式为（），则结论成立。

[填空题] 用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）

[问答题] 证明收益等价定理。

[问答题] 勾股定理是由毕达哥拉斯学派最早提出证明，而勾股定理在中国称为什么定理？

[问答题]试证明收益等价定理?

[单选题]费马大定理的证明者是（）A .希尔伯特B .安德鲁.怀尔斯C .柯西D .费马大

[单选题]五色定理的证明者是（）A .柯西B .康托C .肯泊D .希伍德

[填空题] 几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。

[填空题] 霍金何时证明面积定理的（）。

[单选题]欧几里得证明了（）个数学定理。A .465.0B .466.0C .467.0D .468.0