...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 请求的范围无效或无法满足
应用推荐