定利: sadatoshi定理證明用逆向產(chǎn)生式系統(tǒng): backward production system for theorem proving定例: (常規(guī)) usual practice; set pattern; routine定理證明技術(shù): theorem proving technique定例局: legislative council of hong kong定理證明機(jī): theorem proving machine定立: dinhlap; standing up定理證明程序: theorem prover定??壗z: reeling with fixed number of cocoons定理證明表示: theorem proving representation