The present paper represents the ordered factor of a ordered clause defined anew, and a proof of the lifting lemma under the new definition.
本文重新定义了有序子句的有序因子,证明了在这种有序因子定义下的提升引理,进而在理论上得到了多重取因子的线性序归结方法的完备性。
Something offered to allure or attract;an inducement, especially to buy.
引诱，吸引提供引诱或吸引的东西；诱因，尤指购买
To appeal to or cite in support or justification.
授引提出或授引…以支持或证明
Only one list of index hints per table is allowed.
每个表只允许有一个索引提示列表。
Leading questions can lead to mistakes.
引导提问会导致错误。
His nomination drove a wedge into party unity.
他的提名引起党内不和
To bring forward as an authority.
引用，引证作为权威而提出
To bring up(a subject) for discussion or debate.
提出,引入提出(一个主题)供讨论或辩论
Offers you an index to topics on which you can get help.
提供主题索引，通过该索引可以获得帮助。
Pass the storage engine a hint that a particular row will be looked up soon.
给存储引擎传递提示，提示其将要查询一特定行。
Mechanism of Retrieval Inhibition in Directed Forgetting:Retrieval Success Produces Inhibition
定向遗忘中提取抑制的机制:成功提取引起抑制
Something that serves to direct or indicate.
路标用以指引或提示的东西
his promotion caused much heartburning among his rivals.
他的提升引起了同事们的嫉妒。
His comment sparked off a quarrel between them.
他提的意见引起了他们之间的争吵.
We made them two or three attractive proposals.
我们向他们提供两三个吸引人的建议。
This section provides an overall view of all content indexes.
本节提供对所有内容索引的概述。
His proposal for bringing water to the city is out of the question.
他提议将水引入城内，这是不可能的事。
There was much contention about the proposed city subway system.
市区地铁系统的提议引起了许多争论。
Her warnings were ignored.
她提出的警告没有引起注意.