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 ⓘ
Taniyama–Shimura–Weil conjecture Brian Conrad ⓘ
Taniyama–Shimura–Weil conjecture Fred Diamond ⓘ
Taniyama–Shimura–Weil conjecture Richard Taylor ⓘ
Erdős distinct distances problem Larry Guth and Nets Hawk Katz via predicate surface "improvedLowerBoundProvedBy" ⓘ
linked to: Larry Guth
Parisi solution of spin glasses Michel Talagrand via predicate surface "mathematicallyProvedBy" ⓘ
Parisi solution of spin glasses Francesco Guerra via predicate surface "mathematicallyProvedBy" ⓘ
Parisi solution of spin glasses Dmitry Panchenko via predicate surface "mathematicallyProvedBy" ⓘ
NL
linked to: complexity class NL
Neil Immerman via predicate surface "equalityProvedBy" ⓘ
NL
linked to: complexity class NL
Róbert Szelepcsényi via predicate surface "equalityProvedBy" ⓘ
Finite extinction time for the solutions to the Ricci flow on certain three-manifolds
linked to: "Finite extinction time for the solutions to the Ricci flow on certain three-manifolds"
Ricci flow on certain three-manifolds via predicate surface "provesPropertyOf" ⓘ