Sentence examples for proof of the type from inspiring English sources

John Coombs, president of the Vulcan Society, the fraternal order of black firefighters, which joined in the federal lawsuit that led to Judge Garaufis's ruling, said that Mr. Cassano's Twitter posts were indicative of a systemic problem and "proof" of the type of issues raised in the lawsuit.

There is an algorithm to recover the formulas that constitute a proof of the type of the combinator, moreover, the algorithm produces a proof that is minimal and well-structured.

If one hopes to secure our knowledge of mathematics by appeal to a formalist interpretation then the search for a consistency proof of the type Hilbert sought makes sense and one will look for a vindication of mathematics as a whole from within a limited fragment with respect to which our knowledge seems hard to impugn.

Galley proofs, and the later proofs of the type arranged into page form, usually bear queries (regarding possible errors of fact) arising through the proofreader's skill, which involves more than assuring an exact correspondence between the copy given to the printer and its printed form.

The proof of this theorem utilizes the Steinitz lemma and may be adapted to provide a nonstandard proof of this type of theorem for various other probabilistic categories.

Comparison of leakage current levels with respect to different BaTiO3 bottom electrode interfaces gave a direct proof of the p-type semiconducting behavior in the BaTiO3 films, whose I V characteristics were well described by a modified Schottky contact model up to an applied field of ∼60 MV m−1.

This approach can be generalized to the l p -case for the proof of the discrete Sobolev type inequality in the non-limiting case (1.12).

A detailed examination of the proofs of the Bernstein type inequalities given by Theorems 1 and 2 reveals that they are based on embedding certain (l_p) balls into the domain, and technically this can be accomplished easier for a star-like domain.

This leads to an alternative proof of the Aleman Richter Sundberg Beurling-type theorem for zero-based invariant subspaces in the classical Bergman space.

A proof of an implication A ⊃ B, say, is a program that converts data of type A into an output of type B. The construction of an object (proof, function, program) f of the type A ⊃ B ends with an abstraction.

The diagram that appears with a Euclidean proof provides a single instantiation of the type of geometric configurations the proof is about.