| 单词 | satisfiable |
| 释义 | BETA Examples ofsatisfiableDictionary> Examples ofsatisfiable satisfiableisn’t in the Cambridge Dictionary yet. You can help! Add a definition By the satisfaction relation described above, anysatisfiabledisjunction free description corresponds to an equivalence class of mutually alphabetic variant feature structures. From theCambridge English Corpus The first one ensures that states remainsatisfiablealong any resolution. From theCambridge English Corpus A constraint in solved form has the property that it is clear whether it issatisfiableor not. From theCambridge English Corpus If c is notsatisfiable, we disregard this rule. From theCambridge English Corpus Nodes containing only asatisfiableset of equality atoms and non-grounded negative literals are said to be floundered and have no children. From theCambridge English Corpus However, the test suites are automatically generated, and the authors do not discuss whether these rules could have been coded in an alternativelysatisfiableway. From theCambridge English Corpus A proposition with an empty constraint is notsatisfiable. From theCambridge English Corpus These constraints are not bothsatisfiablein the consequent, under the semantics of application. From theCambridge English Corpus What is required is to indicate the constraints that they must satisfy and to give some reason for thinking that these might besatisfiable. From theCambridge English Corpus When is taken to be the complete relation, this premise is alwayssatisfiable. From theCambridge English Corpus By the semantics of negation and conjunction, we infer s=a ()tt ()tt, but the latter formula is clearly notsatisfiablein labelled transition systems. From theCambridge English Corpus We say that a predicate issatisfiableif some closed substitution satisfies it. From theCambridge English Corpus We want to know whether it issatisfiableor universally satisfied. From theCambridge English Corpus To determine which rules aresatisfiableand testable, it is necessary to figure out which predicates aresatisfiableand testable, respectively. From theCambridge English Corpus We have the following useful result regarding 'rt' andsatisfiablesubstitutions that are equivalent with respect to any given syntactic equality theory. From theCambridge English Corpus Nodes containing asatisfiableset of equality atoms and no other literals are said to be successful and have no children. From theCambridge English Corpus However, asatisfiablewish may be in conflict with other wishes or other criteria. From theCambridge English Corpus No voting rule can satisfy all three of (1), (2) and (3), but any two of (1), (2) and (3) aresatisfiable. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。