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