实际上，上面的证明过程是不严谨的。
证明过程所采用的方法是线性归结的特殊情形——单位归结。
The rule of inference used in this procedure is a subcase of linear resolution—the unit resolution.
证明过程和结论比较简单、直观，便于应用定理解决实际问题。
The whole proof process and conclusions are simple and objective. It is convenient to solve practical problems by this theorem.
在证明过程中，我将把程序的三个递归点分别称为R 1、R2和R3。
In the proofs, I will refer to the three recursion points of the program as R1, R2, and R3, respectively.
诉讼证明过程是一个主观判断过程，法官对事实的认定有很大的主观性。
Judicial Provement is a subjective Process of Judgement. Judges cognize facts of suit fairly subjectively.
高效地使用定理证明需要对工具的内部操作有坚实的理解并且熟悉数学证明过程。
Effective use of a theorem prover requires a solid understanding of the internal operations of the tool and a familiarity with the mathematical proof process.
而言词证据的形成均包括人对案件事实的认识过程，记忆保持，证明过程三个步骤。
Meanwhile, the formation of verbal evidence all includes three processes, the understanding, memory maintaining and testifying of fact.
实质论证解决法律推理大小前提的真实性、合理性问题，它是法律推理的外部证明过程；
As the external process of legal deduction, substantial reasoning solves the problem of the authenticity, rationality, and validity of the major premise and minor premise of legal deduction.
用这种方法，不但简化了证明过程，突出了问题的本质，还可以得出有限单群的新结论。
This method not only can simplify the original proof, stress its intrinsic quality but also get the new conclusion for the finite simple group.
应该会有疑问的，而且还是不太相信微分，那么我的证明过程中，多次用到的微分符号，就有问题了。
Let's say that you are a true skeptic and you don't believe in differentials yet then it is maybe not very good that I actually used more of these differential notations in deriving the answer.
利用这种表示反函数的方法，可简化一些逻辑等式的证明过程，并可使一些逻辑电路的设计过程简化。
The method to get it can be used to simplify the proving process of some logic equations, as well as some design processes of logical circuit.
一开始大家的反应是尊重而怀疑，而目前一致认为 Deolalikar的证明过程在本质上存在缺陷。
Early reactions were respectful but skeptical, and the current consensus is that Deolalikar's approach is fundamentally flawed.
特别的，文中给出了证明单项式空间曲线都是集合论完全交的第三种方法，从而简化了这一结论的证明过程。
In particular, the thesis points out that the third method to show that all monomial space curves are set-theoretic complete intersections, thus simplifying the process to come to this conclusion.
引入了可分命题和可分命题定理，利用该定理统一证明数学分析中的定理，极大简化了这些定理的证明过程。
This article is to introduce separable proposition and separable proposition theorem, then to prove theorems in real number field by using separable proposition in a union form.
一般逻辑程序的证明论语义给出一个证明过程，对应于相应的模型论语义，同时也为模型论语义的实现提供基础。
Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.
传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。
Traditionally, Mechanical theorem proving often use a logic representation, and then inference, these methods lack of flexibility and the proving processes are difficult to understand.
该方法唯一性的证明过程依赖于时空估计，而两类方程的时空容许对却截然不同，该如何选取合适的时空容许对呢?。
The method depends on Strichartz estimate while the admissible pairs of two kinds of equations are different, how to choose the admissible pairs?
应该从证据充分性的前提、证明对象与证据的关系、证据的来源、证明过程、证明责任等方面来综合判断证据的充分性。
Such sufficiency should be tested from such aspects as the preconditions, the relationship between objects and evidence, the source, the proving process and the proving duties.
证明标准是贯穿整个证明过程始终的一根金线，是刑事诉讼的基础和核心，侦查人员必须将以证据为核心的侦查观念贯穿于整个侦查过程。
The standard of proof throughout the entire certification process is always the one golden thread, and is the basis and the core for criminal proceedings.
这项工作，是劳厄·郎之万研究所(ILL)的研究团队完成的，结果发表在《自然》期刊上，证明过程运用了慢速中子在引力下的掉落现象。
That work, by a group of researchers at the Institut Laue-Langevin (ILL) and published in a paper in Nature, used slow-moving neutrons falling due to gravity.
如果你的父母不愿意重新协商，你可以通过让你的行为证明你有与成熟度相匹配的责任感来加快这个过程。
If your parents are reluctant to renegotiate, you can speed the process along by letting your behavior show that you have the responsibility that goes with maturity.
在过去，这种转变过程常证明是艰难的。
In the past this process of transition has often proven difficult.
你在这个过程中学到的东西在你未来的工作中会被证明是有用的。
What you have learned in the process will prove useful in your future work.
首先，你需要证明你的期货交易过程的可行的。
First, you need a proven trading process that works for futures trading.
团队通过他们可以针对的度量结果分享可见性，并因而无疑地证明新过程的成功吗？
Does the team share the visibility via measured results that they can point to and thus incontrovertibly demonstrate the success of a new process?
上台领奖看似一个简单的任务，但是每年的奥斯卡金像奖都证明了这个过程远比你想象的要复杂。
Accepting an award may seem like a simple task, but each year the Academy Awards proves there may be more to it than you might think.
这样就可以让我们在与客户接触的过程中证明我们一定是水平的专业知识，并使我们能够构建成功的最初记录。
This allows us to demonstrate a level of expertise in our initial customer opportunities and enables us to build an initial track record of success.
他还举例证明，认知过程可以简单地通过在不同文化中的短暂生活得以改变。
He also offers evidence that cognitive processes can be modified by virtue of merely living for awhile in another culture.
他还举例证明，认知过程可以简单地通过在不同文化中的短暂生活得以改变。
He also offers evidence that cognitive processes can be modified by virtue of merely living for awhile in another culture.
应用推荐