恒假 meaning in English

identically-false

Together we prove that generalized paramodulation is generalized complete when used with generalized resolution for e - unsatisfied clause set
接着给出广义调解的有效性证明，然后证明广义调解和广义归结的联合使用对e -恒假的子句集是广义完备的。
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 -恒假的子句集是广义完备的。
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 。