...WLDL是用于支持强表达能力的知识，而且需要保持这些知识的计算完全性（Computational Completeness）和可判定性（Decidability），即结论都必须要在有限的时间内计算出来；OWL Full支持增强的表达能力和完全自由的RDF语法用户。
基于228个网页-相关网页
... deciboyleunitofpressure分波义耳 decidability可决定性 可判定性 decidableproposition可决策命题 ...
基于104个网页-相关网页
...（s，“）∈K，则有（t，U）∈Ki 1表示连续 性扫enoU，即对于任意s∈S，则存在t，使得（s，t）∈K．J 关于可判性（Decidability）有： 定理1．5．M。
基于12个网页-相关网页
decidability problem [数] 可判定问题
semi-decidability 半可决策性
computability decidability 可计算性
Decidability and undecidability 可判定下和不可判定性
decidability of boolean algebra 布尔代数的可判定性
decidability of arithmetic without multiplication 无乘法算术的可判定性
In the second part, a logic L is establised, whose axioms are all the theorems in classical propositional logic and rules of inference are Rule A and Rule R. The soundness, completeness and decidability of it are proven.
第二部分：以经典命题逻辑的所有定理为公理，以A-规则和R-规则(具体定义见正文)为两条基本推理规则，建立了形式系统L，并证明了系统L的可靠性，完备性及可判定性定理。
参考来源 - 任务逻辑·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
The concept of algorithm is also used to define the notion of decidability.
算法的概念，也用来界定概念的决定性。
The decidability of the model is proven and a decidability algorithm is presented.
证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。
We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。
应用推荐