本文证明了MOL归结原理是完备的。
归结原理是定理自动证明的重要工具。
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理机器证明中的一种基本技术。
The resolution principle is known to be a basic tool for theorem proving.
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
Semantic resolution, lock resolution and linear resolution are three important improvements of resolution principle.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
以能量原理为基础，推导出变截面压杆计算临界力的简便方法，把复杂的积分运算归结为一个简单的代数运算。
Based on energy theory, a simple critical force calculation for pressed beam with variable cross sections is derived. It reduces the complex integration algorithm into a simple algebraic operation.
量子力学可以归结成一个很简单的原理：（就像一场比赛）有时候赢，有时候输，有时候因雨取消。
Quantum mechanics boils down to one simple principle: sometimes youwin, sometimes you lose and sometimes you get rained out.
新算法把航迹关联问题最终归结为假设检验，使算法的原理更严密。
Track-to-track correlation is viewed as a hypothesis test by the new algorithm which makes the theory more rigorous.
科学家和哲学家认为这些可以归结为“人择原理”：正是大自然这样地演化才最终创造出人类。
Scientists and philosophers who think so are subscribing to what's called the "Anthropic Principle"–the suggestion that nature is exactly the way it is in order that it will eventually create us.
三言在汉魏兴衰的原因可以归结为表现功能和体式原理两方面，并且与七言体有密切的关系。
This article, from the perspectives of the function and form, ferrets out the rise and decline of the trisyllabic verse in Han and Wei dynasties and the close relation to the heptasyllabic verse.
三言在汉魏兴衰的原因可以归结为表现功能和体式原理两方面，并且与七言体有密切的关系。
This article, from the perspectives of the function and form, ferrets out the rise and decline of the trisyllabic verse in Han and Wei dynasties and the close relation to the heptasyllabic verse.
应用推荐