归结定理证明
- 归结定理证明的英文
英语翻译
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
