Chinese translation for "恒假"
|
- identically-false
Related Translations:
恒角速度: c**** constant angular velocitycav constant angular velocityconstant angular velocity
- Example Sentences:
| 1. | Together we prove that generalized paramodulation is generalized complete when used with generalized resolution for e - unsatisfied clause set
接着给出广义调解的有效性证明，然后证明广义调解和广义归结的联合使用对e -恒假的子句集是广义完备的。 | | 2. | After that we prove the soundness of the paramodulation in bofl . and then we prove that paramodulation is generalized complete when used with resolution for 2e - unsatisfied clause set
然后证明调解的有效性，证明在bofl中调解法和归结法的结合对e -恒假的子句集是广义完备的。 | | 3. | Secondly , because the operator is associativity , so it is possible to avoid the boring complicated letters thirdly , because the association of resolution and paramodulation is generalized complete , we can use the infimum of the operator to gradually close the false level of cause set . so it is not necessary to choose threshold before resolution and paramodulation . the operator is got from every resolution and paramodulation
其次，由于算于的运算适合结合律，因而可以避兔令人讨厌的复杂文宇1v … kp ） … ）口第三， bofl中的归结和调解的结合是广义完备的，可以用每次归结和调解出来的下确界逐步逼近子句集的恒假水平，从而不必费心在调解前选择合适的i ’刊b 。 |
- Similar Words：
- "恒记" Chinese translation, "恒记企业有限公司" Chinese translation, "恒纪" Chinese translation, "恒家" Chinese translation, "恒加速度" Chinese translation, "恒坚" Chinese translation, "恒剪流" Chinese translation, "恒见" Chinese translation, "恒角定律" Chinese translation, "恒角拱坝" Chinese translation
|
|
|
