您要查找的是不是：
- proof theoretic ordinal 证明论序数
- The significance of the model lies in that it initiates a proof theoretical approach to concurrency theory. 文中用证明论方法研究并行理论，为进程代数演算开辟了一条新的研究途径。
- There is positive proof that he did it. 有确切的证据证明他做了此事。
- A proof theoretical abduction method for first order classical logic based on the sequent calculus and a dual one, based on semantic tableaux (analytic tableaux) have been proposed. 信念修正，由于新信息而调整信仰的过程，是应用溯因法的另一个领域。
- The onus of proof lies with you. 你有责任提供证据。
- You need to use ordinal numbers here. 这里需要用序数。
- A soldier's courage is put to the proof in battle. 士兵的勇气在战斗中得到考验。
- Can you produce any proof of your date of birth? 你能出示有关你的生日日期的任何证件吗？
- We now have the absolute proof of his guilt. 我们现在有他犯罪的确凿证据。
- The ordinal number matching the number one trillion in a series. 第一万亿，第一兆可数数列中与一万亿相对应的序数
- The cheque will be cashed on proof of identity. 这张支票凭身分证件兑现。
- So they alleged, but have they any proof? 他们是这样宣称的，但他们有证据吗？
- His opinion is formed independently of any proof. 他的意见没有任何证据作基础。
- The shelter was proof against the bitter weather. 这个棚子可以避寒。
- The ordinal number matching the number nine in a series. 第九在数列中与数字9相配的序数词
- Please provide the family and ordinal names of the animal. 请提供这个动物的科名和目名。
- Is your statement susceptible of proof? 你的说法能加以证实吗?
- A flow of word is no proof of wisdom. 口若悬河，未必明智。
- The ordinal number matching the number15 in a series. 第十五在一系列中排在第十五的序数
- Brandy of 90 proof is about 45% alcohol. 九十度的白兰地约含酒精百分之四十五。
