证明

Model checkers and theorem provers are all used to verify specifications of protocols. However, they are different. The former verify specifications in finite space, while the later prove some conclusions in infinite space.

模型检查和定理证明都是对协议的规格说明进行验证，不同的是，前者是在有限的空间中进行检查，而后者是在无限的空间证明结论。

When Owner cannot verify or document the original date of installation, the warranty period begins on the date marked on the serial number plate affixed to the water heater.

如果&所有人&无法证明或提供初始安装日期的证明文件，则质量保证期按照附在热水器上的系列号板所标注的日期计算。

Then, the method is extended to the problems of decomposing a polyhedron with or without holes into the minimum number of terrain polyhedra, both of which are also shown to be NP-hard.

然后将证明方法推广到地形多面体剖分的问题：将一个带洞多面体或者简单多面体剖分成最小数量的地形多面体，这两个问题都被证明是NP-hard的。

If this still belongs to the older part can hardly be taken as a proof against this theory (although it has been brought forward to prove a very late date of composition), since there is no reason why Greeks should not have been mentioned in an early pre-exilic period.

提到&儿子的grecians &（在四， 6 ，如果这仍属于较旧的部分）也难以被视为一个证明，对这一理论的（尽管它已经提出了要证明一个非常晚的日期组成），由于是没有理由的希腊人不应该已经提到，在一月初前exilic时期。

And in nothing being frightened by the opposers, which is to them a proof of their destruction, but of your salvation, and that from God

1：28 凡事不为敌人所惊吓：这是证明他们灭亡，你们得救，而且这样的证明乃是从神而来的

Phil. 1:28 And in nothing being frightened by the opposers, which is to them a proof of their destruction, but of your salvation, and that from God

腓一28 凡事不为敌人所惊吓：这是证明他们灭亡，你们得救，而且这样的证明乃是从神而来的

That piece of paper is legal proof that an individual exists.

那张纸是证明一个人存在的法律证明。

A birth certificate is important for another reason,that piece of paper is legal proof that an individual exists.

出生证明很重要有其他方面的原因，这一纸证明是表明一个个体存在的法律依据。

A birth certificate is important for another reason. That piece of paper is legal proof that an individual exists.

出生证明还有另一种重要的原因，这张纸是证明一个人存在的法律依据。

A birth certificate is important for another reason. That piece of paper is legal proof that an individual exists.

同样，出生证明的重要性还有另一种原因，这张纸是证明一个人存在的法律依据。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。