Sentence examples for on soundness from inspiring English sources

We draw on two areas in which Automated Theorem Proving (ATP) is currently unlike human mathematics: firstly in a focus on soundness, rather than understandability of proof, and secondly in social aspects.

This "megajournal" structure is widely accepted as one of the most trusted OA journals, practicing a very broad scope and a rapid "non-selective" peer review based on "soundness not significance" (i.e. selecting papers on the basis that science is soundly conducted rather than more subjective criteria of impact, significance or relevance to a particular community).

And if they reach their hand out for the money, tell them to get a job. 5. Purchase an economic home Purchase a home based on economic soundness, not just on what you want.

It doesn't help anyone for banks to spend more money than they need to on safety and soundness, he told Senator Brian Schatz, a Hawaii Democrat.

We give theoretical characterization on the soundness and termination of LReSBDS, and comparisons on pruning strengths against other symmetry breaking methods including ReSBDS.

base our preparations against an enemy on the assumption that his plans are sound; indeed, it is right to rest our hopes not on a belief in his blunders, but on the soundness of our provisions..

On top of that, as the Treasury Department runs so-called "stress tests on the soundness of the banks," the Fed wants the banks to stay silent on the results.

The existence of so many different 'satisfaction' instruments and the lack of data on their reliability and validity does not only cast doubt on the soundness of the instruments, but also makes comparisons of studies impossible and conclusions drawn from studies implausible.

The next test for the euro is on Wednesday, when the German constitutional court is expected to rule on the soundness of the permanent European bailout fund, the European Stability Mechanism, that would finance much of the bond buying under the Draghi plan.

Five foals considered OC-free (OF1-OF5) were selected, based on their soundness at clinical examination combined with the absence of radiographic abnormalities on any of the 12 views.

However, its correctness depends on the soundness of the underlying assumptions and the correctness of the logic connecting one relationship to another.