Terms containing mechanical theorem proving

Subject	English	Chinese
met.	mechanical theorem proving	机器证明
met.	mechanical theorem proving	机器验证
IT	mechanical theorem proving	机器定理证明
tech.	mechanical theorem proving	定理的机器证明
AI.	mechanical theorem proving in geometry	几何定理机器证明