The research in mechanical theorem proving has great significance in the theory and the practice.

• 定理机器证明的研究，在理论和实践上都具有重要的意义。