英语翻译
resolution theorem proving
拓展翻译
归结定理
resolution theorem
公理证明
axiomatic proof
公理证明规则
axiomatic proof rule
广义归结
generalized resolution
广义锁归结
generalized lock resolution
广义线性归结
generalized linear resolution
广义语义归结
generalized semantic resolution
归结
end; sum up
归结反演
resolution refutation
归结反演策略
resolution refutation strategy
归结反演系统
resolution refutation system
高斯定理
Gauss theorem
哥德尔不完备性定理
Godel incompleteness theorem
哥德尔完全性定理
Godel completeness theorem
格雷巴赫范式定理
Greibach normal form theorem
勾股定理
the Pythagorean proposition; the Pythagorean theorem
构造定理
constructive theorem
古依-斯托多拉定理
Gouy-Stodola theorem
惯性定理
inertial theorem
海尔勃朗定理
Herbrand theorem