theorem proving的用法和樣例：
例句
- Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.
象模型檢查程序這種完全自動(dòng)化的定理證明程序是在問(wèn)題的一個(gè)抽象上操作。 - Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.
有時(shí)抽象本身可能是很大的工作量，以致定理證明程序可能花費過(guò)多時(shí)間和資源來(lái)完成證明。
theorem proving的相關(guān)資料：
臨近單詞
theorem
theorem proving use of resolution
Theorem About A'da'm's Conjecture
Theorem of Equipartition of Energy
theorem of complementary slackness
theorem of minimum potential energy
theorem of conditional probabilities
theorem on addition of probabilities
theorem of integration estimate value
Theorem of kinetic-energy of system
Theorems on Symmetric Function Grafts
