The resolution principle is known to be a basic tool for theorem proving.
归结原理是定理机器证明中的一种基本技术。
The research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究，在理论和实践上都具有重要的意义。
The research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究，在理论和实践上都具有重要的意义。
应用推荐