provedInFullBy
P144592
predicate
Indicates that something (such as a claim, theorem, or statement) has been completely and rigorously demonstrated or established by a particular agent or source.
Observed surface forms (4)
- mathematicallyProvedBy ×3
- equalityProvedBy ×2
- improvedLowerBoundProvedBy ×1
- provesPropertyOf ×1
Sample triples (11)
| Subject | Object |
|---|---|
| Erdős distinct distances problem | Larry Guth and Nets Hawk Katz via predicate surface "improvedLowerBoundProvedBy" NERFINISHED ⓘ |
|
"Finite extinction time for the solutions to the Ricci flow on certain three-manifolds"
surface form:
Finite extinction time for the solutions to the Ricci flow on certain three-manifolds
|
Ricci flow on certain three-manifolds via predicate surface "provesPropertyOf" ⓘ |
|
complexity class NL
surface form:
NL
|
Neil Immerman via predicate surface "equalityProvedBy" NERFINISHED ⓘ |
|
complexity class NL
surface form:
NL
|
Róbert Szelepcsényi via predicate surface "equalityProvedBy" NERFINISHED ⓘ |
| Parisi solution of spin glasses | Dmitry Panchenko via predicate surface "mathematicallyProvedBy" NERFINISHED ⓘ |
| Parisi solution of spin glasses | Francesco Guerra via predicate surface "mathematicallyProvedBy" NERFINISHED ⓘ |
| Parisi solution of spin glasses | Michel Talagrand via predicate surface "mathematicallyProvedBy" NERFINISHED ⓘ |
| Taniyama–Shimura–Weil conjecture | Brian Conrad NERFINISHED ⓘ |
| Taniyama–Shimura–Weil conjecture | Christophe Breuil NERFINISHED ⓘ |
| Taniyama–Shimura–Weil conjecture | Fred Diamond NERFINISHED ⓘ |
| Taniyama–Shimura–Weil conjecture | Richard Taylor NERFINISHED ⓘ |