英语
德语
prov·able [ˈpru:vəbl̩] 形
- provable
-
- provable
-
PONS词典中的例句（已经编辑处理）
单语范例（未经PONS编辑处理）
Her current research interests include information theoretic security, provable security, network security, digital and privacy rights management, and multimedia security.
en.wikipedia.org The theory can be taken to include just those axioms, or their logical or provable consequences, as desired.
en.wikipedia.org The security is provable, unbreakable, and quantifiable (in bits/second/hertz).
en.wikipedia.org Most variants of realizability begin with a theorem that any statement that is provable in the formal system being studied is realizable.
en.wikipedia.org Then the -conjecture implies that if there are arbitrarily large models containing a large cardinal, this fact will be provable in -logic.
en.wikipedia.org 互联网提供的例句（未经PONS编辑处理）
[...]
www.onlineshops-finden.de The products have arrived, concludes the manufacturer, many active environmentalists take to the chemical-free cleaning, scientifically provable or not, the interaction “Cleanliness” always proves itself by itself, clean is clean.
[...][...]
Die Produkte sind jetzt angekommen, meint abschließend der Hersteller, viele aktive Umweltschützer nehmen die chemiefrei Reinigung an, wissenschaftlich beweisbar oder nicht, die Wechselwirkung “Sauberkeit” beweist sich immer aus sich selbst, sauber ist sauber.
[...][...]
de.mimi.hu USP (Unique Selling Proposition) In classical advertising concept is understood as a unique selling points that must be both detectable and provable.
[...][...]
USP (Unique Selling Proposition) In der klassischen Werbekonzeption versteht man darunter einen einzigartigen Verkaufsvorteil, der sowohl nachweisbar als auch beweisbar sein muss.
[...][...]
domino.mpi-inf.mpg.de Ever since the fundamental theoretic results of Gödel and Turing at the beginning of the twentieth century, it has been known that not everything that is true in a mathematical sense is actually provable, and that not everything that is provable is automatically provable.
[...][...]
Schon seit den fundamentalen theoretischen Ergebnissen von Gödel und Turing zu Beginn des zwanzigsten Jahrhunderts weiß man, dass nicht alles, was im mathematischen Sinne wahr ist, auch beweisbar ist, und dass nicht alles, was beweisbar ist, automatisch beweisbar ist.
[...][...]
i11www.iti.uni-karlsruhe.de We study cartographic visualization problems using a structured algorithmic approach and methods of computational geometry and graph drawing in order to design algorithms with provable performance and quality guarantees.
[...][...]
Die jeweiligen Visualisierungsprobleme werden mit einer strukturierten algorithmischen Herangehensweise und Methoden aus der algorithmischen Geometrie und des Graphenzeichnens untersucht, um so Algorithmen mit beweisbaren Leistungs- und Qualitätsgarantien zu entwerfen.
[...][...]
www.dreael.ch Your answer has to be provable geometrically i.e. give me the construction report for compasses and ruler either or the algebraic expressions for all used angles and lengths, or simply the computed values with enough places after the decimal point (6 at least!).
[...][...]
Ihre Lösung muss geometrisch beweisbar sein, d.h. geben Sie mir entweder den Konstruktionsbericht für Zirkel und Lineal oder die algebraischen Ausdrücke für verwendete Winkel und Längen, oder einfach die Werte mit genügend Kommastellen (min. 6!) an.
[...]