Sentence examples for a formal proof from inspiring English sources

Every result listed in the table is the result of a formal proof that is based on the constraints formalized in the SBML Harvester software, the annotation assertions of models in BioModels and the knowledge contained in biomedical ontologies.

For example, all results to queries that we list in Table 2 are the result of a formal proof across the combination of biomedical ontologies and the formalized models in our knowledge base.

A formal proof of Eqs.

as statements with a formal proof.

For a formal proof, see Theorem 2.1.

lSee Appendix II for a formal proof.

Thus, I discuss the mechanism without presenting a formal proof.

A formal proof of Theorem 1 is provided in [9].

A formal proof can be found in Cornfeld et al. (1982, 9 10).

A formal proof of total correctness, relying on structural induction, is also carried out.

We propose a model slicing algorithm with a formal proof to address this problem.