...M，s）｝妒，则 称妒是在M中有效的（Wlid），记为M｝妒，如果存在s∈S使得（M，8）｝妒，则 称妒是在M中可满足的（Satisfiable），记为M｝妒．如果妒在所有的结构中是有 效的，则称妒是有效的，记为｝妒．如果妒在某些结构中是有效的，则称妒是可满 足的．显然...
基于245个网页-相关网页
Requested Range not satisfiable 所请求的范围无法满足 ; 不满足 ; 范围不符合要求 ; 请求范围不符合
Satisfiable Formulas 可满足公式
satisfiable formula [数] 可满足公式
satisfiable problem 满足问题
Range Not Satisfiable 的范围不合适
maximal satisfiable subformula 极大可满足子式
satisfiable assignment operator 可满足赋值算子
Request Range Not Satisfiable 请求的范围无效或无法满足
Let's assume the problem is satisfiable.
让我们假定这个问题是可满足的。
In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable.
在这后一种情况下，我们可以说，是不可满足的功能，否则它是满足的。
The probability of the event predicted can be given by Markov Model. The precision is satisfiable.
经检验，两模型可预测流域旱涝灾害发生的时间及其概率，并具有较高的精度。
应用推荐