数据子句 [计] data clause
变成复数句子 Become plural sentences ; Into a complex sentence ; Complex sentences ; This is a bus
改为单数句子 There are two desks ; They are English cars ; They are English jeeps ; They are English girls
函数子句 function clauses
和数子句 [计] sum clause
子句指定数据源 From
奇异变成复数句子 Singular becomes plural sentences
变复数句子 What is it
改复数句子 This is a red hat
是子句数与变元数的差等于1的极小不可满足公式类。
Mu (1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and.
是子句数与变元数的差等于1的极小不可满足公式类。
Mu (1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and variables to be one.
首先，标记定义了可组合在一起形成一个查询的子句数量的上限。
First, the tag defines the upper limit on the number of clauses that may be combined to form a query.
应用推荐