Sentence examples for enabling proof from inspiring English sources

We would surely think it peculiar if someone said of a formal proof: "The reasons for the proven theorem are provided by the axioms it presupposes and not by the rules of inference enabling proof".

In addition, from a pragmatic standpoint, the tools are also distinguished by interface type (i.e., command line, web based) and whether a given tool offers the built-in functionality to provide graphical outputs, enabling visual proofing of results.

The introduction of new concepts enables a proof to be constructed gradually, thereby making the proofs surveyable.

This enables a proof to be given immediately of a problem that caused Newton considerable trouble.

Getting Steamy: Looking like a toaster oven on steroids, the Cuisinart Combo Steam and Convection Oven provides fast moist heat, enabling you to proof bread, doughnuts, and bagels and bake them with the touch of a button; broil or roast a chicken in nearly half the time of a traditional oven; or steam rice, custards and veggies in half the time.

But you also know that there are no methods of proof enabling the allergenicity of genetically modified foods to be established in advance.

In the absence of methods of proof enabling the allergenicity of genetically modified foods to be established in advance, the latter will be placed on the market and tested on consumers.

The availability of inbred mouse strains and an easily identifiable population of CD4+CD25+ Tregs have enabled numerous proof-of-principle experiments demonstrating that, in mice, adoptively transferred natural Tregs can treat type 1 diabetes [44], prevent GVHD [45], [21], and increase the success of organ transplantation [12].

The main differential of Chlipala works was the use of dependent types and proof automation to enable maintainability of proof scripts.

Superfluous thinking may be extremely valuable in facilitating grasp of the proof text and in enabling one to understand the idea underlying the proof steps; but it is not necessary for thinking through the proof.

The idea of being, therefore, with its divine characteristics serves as a bridge between God and human beings, enabling us to posit proofs of God's existence without our knowing him through perception, or real contact.