查询词典 completeness theorem

III, i, from a letter written in exile at Gangra, in which the banished patriarch declares the reality and completeness of our Lord's Human Body, intending evidently to deny that he had approved the refusal of Eutyches to admit Christ's consubstantiality with us.

，三，一，从信在流亡在Gangra ，其中家长宣布驱逐的现实和完整性，我们上帝的人体，显然打算否认，他已批准拒绝Eutyches承认基督的consubstantiality与我们联系。

Visas Consulting Group office does not warrant the quality, accuracy, or completeness of any information on this site.

百富顾问集团虽然已尽谨慎之责，但，并不担保本网站所提供信息之准确性和完整性，阅读者应了解本网站内容可能出现不完整及/或文字编印错误。

The bending of rectangular plate is divided into the generalized statically determinate bending and the generalized statically indeterminate bending based on the analysis of the completeness of calculating condition at the corner point.

在分析角点求解条件完备性的基础上将矩形板弯曲划分为广义静定问题和广义超静定问题。

The bending of rectangular plate is divided into the generalized statically determinate bending and the generalized statically indeterminate bending based on the analysis of the completeness of calculating condition at the corner point. The former can be solved directly by the equilibrium differential equation and the boundary conditions of four edges of the plate.

在分析角点求解条件完备性的基础上将矩形板弯曲划分为广义静定问题和广义超静定问题，广义静定弯曲可以由板的平衡微分方程及四边边界条件直接求解，广义超静定弯曲可以由叠加法求解。

Though testing completeness of foreign testers are evident, their shortcoming such as alarming costliness and complicated human-machine interface are obvious.

虽然进口的测试设备可以提供完备的测试，但是其高昂的价格和复杂的人机接口制约了其大规模应用。

The total RNA of BuckWheat cotyledon extracted by this method has good completeness and high purity,and is suitable fort-PCR and RACE.

尽管RNA的提取已经成为很成熟的技术，但在实际研究中经常很难做到顺利获得质量好的RNA。

It is intended to be used in situations where very high expressiveness is more important than being able to guarantee the decidability or computational completeness of the language.

推理机采用的是Racer，下载的是RacerPro-1-9-0-Setup，四月底就不为学校及科研单位提高免费的版本了，其他的要收钱使用了。

A formal semantics is given. We prove 79's soundness, consistency, completeness, and decidability with respect to the semantics.

本文和给出严格形式语义的基础上，证明了该系统具有可靠性、协调性、完全性和可判定性。

OWL DL supports those users who want the maximum expressiveness while retaining computational completeness (all conclusions are guaranteed to be computable) and decidability (all computations will finish in finite time).

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完备性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

OWL DL '' supports those users who want the maximum expressiveness while retaining computational completeness (all conclusions are guaranteed to be computable) and decidability (all computations will finish in finite time).

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完全性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

The father that if work,mad father, love annoys, disposition is too indrawn the be short ofing that the father of Mu Ne, resign oneself to adversity causes father easily to love is broken; Communicate time effectively between father and son, Mu Zizhi to be less than a hour on average to wait a moment every week, it is the cause that causes the child to become addiction.

如工作狂的父亲、爱愤怒的父亲、性格过于内向木讷、逆来顺受的父亲都易造成父爱的缺失；父子、母子之间的有效沟通时间每周平均小于一小时等等，都是造成孩子成瘾的原因。

These are vandal proof and they come with a locking mechanism.

这是野蛮的证据，他们来到了锁机制。