ordered clause

ordered clause 基本解释

有序子句

计算机

重点词汇

• ordereda. 安排好的, 有规律的, 有条理的, 整齐的 [计] 顺序的
• clausen. 子句, 条款 [计] 子句

ordered clause 双语例句

1. 1、 The present paper represents the ordered factor of a ordered clause defined anew, and a proof of the lifting lemma under the new definition. Then the completeness of the method of OL resolution with multi-factor is obtained theoretically.
   本文重新定义了有序子句的有序因子，证明了在这种有序因子定义下的提升引理，进而在理论上得到了多重取因子的线性序归结方法的完备性。