clause number

• 1. 子句数: clause number
• 2. 数据子句: data clause
• 3. 变成复数句子: Become plural sentences | Into a complex sentence | Complex sentences | This is a bus

更多释义

• 1.是子句数与变元数的差等于1的极小不可满足公式类。
  Mu (1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and.
  dict.yoduao.com
• 2.是子句数与变元数的差等于1的极小不可满足公式类。
  Mu (1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and variables to be one.
  dict.yoduao.com
• 3.首先，标记定义了可组合在一起形成一个查询的子句数量的上限。
  First, the tag defines the upper limit on the number of clauses that may be combined to form a query.
  dict.yoduao.com

©2026 网易公司