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

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

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

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

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

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

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

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

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

相传泰勒斯证明的定理中被后人称为泰勒斯定理的是_。A. 半圆上的圆周角是直角B. 圆的直径将圆分为两个相等的部分C. 等腰三角形两底角相等D. 彼此重合的图形是

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