您要查找的是不是：
- Property verification is carried out using theorem proving systems. 特性验证使用定理求证系统来实现。
- The automatic natural deduction proving system based on the algorithm has been implemented, the Andrews, Bledsoe and Pelletier Challenges were proved by thesystem. 文中给出合一定理的证明，基于此算法的自动自然演绎系统已实现，用它证明了Andrews； Bledsoe和Pellotier挑战性问题。
- Valve proving systems for automatic shut-off valves for gas burners and gas appliances. 燃气燃烧器和燃气用具用自动截止阀的阀门检验系统。
- This proven system negates the need for gear replacement if the strut bottoms should ever wear through. 这个行之有效的制度;否定了需要更换齿轮如果支杆擦屁股应否磨损.
- The time proven system technology of the glycerine pressure gauges has been integrated in a new stainless steel case with modern design. 经过实践证明的填充甘油压力表技术装进了设计现代新颖的不锈钢外壳里。
- Then a multiple COTS selection process was proposed based on extension of a proven system decomposition technique named FCD. 对一种成熟的系统分解方法FCD进行扩展，提出了一种针对多构件进行评估和选择的方法。
- What a sod this job is proving to be! 这事儿可真棘手哇！
- I suppose you also have a caste system in your society. 我想你们的社会里也有一种等级制度。
- He takes great delight in proving others wrong. 他的极大乐趣是证实别人错了。
- The right to dissent is part of our political system. 有持异议的权利是我们政治体制的组成部分。
- There wasn't enough evidence to prove him guilty. 没有充分的证据证明他有罪。
- Do you know how to log in to the system? 你知道怎么登录进入这个系统吗？
- The disease isn't proving responsive to treatment. 该病对治疗没有反应。
- Public opinion was against the old feudal system. 公众舆论反对旧的封建制度。
- The system works on the principle that heat rises. 该项装置是按照热力上升的原理运转的。
- There wasn't enough evidence to prove his guilt. 没有充分的证据能证明他有罪。
- The drainage system has been aged. 排水系统已经老化了。
- They called for a radical reform of our tax system. 他们要求对税收制度进行根本改革。
- He weighed in to prove the point. 他插手来证实那个论点。
- This is a highly efficient new heating system. 这是个高效的新取暖系统。
