verifiedByComputationUpTo
P131814
predicate
Indicates that the truth or validity of something has been confirmed by explicit computation up to a specified bound or limit.
Observed surface forms (2)
- computationalVerification ×1
- hasComputationalVerification ×1
Sample triples (3)
| Subject | Object |
|---|---|
| Beal conjecture | verified for many ranges of parameters by computer search via predicate surface "computationalVerification" ⓘ |
| Erdős–Straus conjecture | verified for all n up to very large bounds by computer search via predicate surface "hasComputationalVerification" ⓘ |
| Goldbach conjecture | very large bounds (e.g., at least 4·10^18 as of early 21st century) ⓘ |