Sentence examples for as a conjecture to from inspiring English sources

SRI's GeoLogica and QUARK [29] are both experimental systems that use deductive methods very similar to the way this is done in BioDeducta to compose heterogeneous data and software components: A logical form is presented as a conjecture to SNARK, and an answer to the query is extracted from the proof.

Briefly, a query is parsed by Gemini, a general parser, and translated into a logical form, phrased as a conjecture, and submitted to SNARK.

We address this issue in some detail in the Discussion section of the paper).The query, or question to be answered, is also expressed in the language of logic; specifically it is phrased as a conjecture whose validity is to be proved by an automatic proof in the subject domain theory (thus the term theorem prover).

The stability of solution to equation (4.2) is ever proposed to consider as a conjecture by K.S.Berenhaut etc. in [7].

The former approach assumes that firms have a "conjecture" as to how the other firms will react to their own choice of output and base their decision on this belief.

There is also nothing resembling a proof; in some late works, indeed, Quine refers to it as a "conjecture" (loc. cit).

It remains a conjecture as to whether there always exists a basis of paths in which the blue is a convex combination.

Wright states the idea as a conjecture; Kant integrated it in the correct Newtonian framework.

We present a partial proof of (3.1) (see Lemma 3.1, below) and leave as a conjecture the proof of (3.2).

They left the forest problem as a conjecture, which was settled down by the second author in [5].

We observe that the family of graphs with bounded bandwidth are doubling, thus our main result can be viewed as a positive answer to a conjecture of Assouad (1983) [2], limited to this family.