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.

Try in SPARQL

All labels observed (5)

Label Occurrences
provedInFullBy canonical 4
mathematicallyProvedBy 3
equalityProvedBy 2

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: provedInFullBy
Generated description
Indicates that something (such as a claim, theorem, or statement) has been completely and rigorously demonstrated or established by a particular agent or source.

Sample triples (11)

Subject Object
Taniyama–Shimura–Weil conjecture Christophe Breuil NERFINISHED ⓘ
Taniyama–Shimura–Weil conjecture Brian Conrad NERFINISHED ⓘ
Taniyama–Shimura–Weil conjecture Fred Diamond NERFINISHED ⓘ
Taniyama–Shimura–Weil conjecture Richard Taylor NERFINISHED ⓘ
Erdős distinct distances problem Larry Guth and Nets Hawk Katz via predicate surface "improvedLowerBoundProvedBy" NERFINISHED ⓘ
Parisi solution of spin glasses Michel Talagrand via predicate surface "mathematicallyProvedBy" NERFINISHED ⓘ
Parisi solution of spin glasses Francesco Guerra via predicate surface "mathematicallyProvedBy" NERFINISHED ⓘ
Parisi solution of spin glasses Dmitry Panchenko via predicate surface "mathematicallyProvedBy" NERFINISHED ⓘ
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 ⓘ
"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" ⓘ