词汇	炎雾
释义	炎雾 yán wù暑氣。
随便看	theorem on regular set theorem on the composition Of velocities the oremoval of soil material theorem prove theorem proven theorem prover theorem-prover theoremproving theorem proving theorem-proving theorem proving by resolution theorem proving by resolution refutation theorem proving by rule based system theorem proving for robot problem solving theorem-proving for robot problem solving theoremproving machine theorem proving machine theorem-proving machine theoremproving system theorem proving system theorem-proving system theorem proving use of resolution theorem reason-ing theorems for limits theorems of differential mean-value theorem