hasFirstProofYear
P27180
predicate
Indicates the year in which something was first proven or formally demonstrated to be true.
All labels observed (16)
| Label | Occurrences |
|---|---|
| yearProvedApprox | 6 |
| proofYear | 3 |
| VoisinProofYear | 2 |
| proofCompletedInYear | 2 |
| elementaryProofYear | 1 |
| firstCompleteProofYear | 1 |
| hasFirstProofYear canonical | 1 |
| provedInYear | 1 |
| spinorialProofYear | 1 |
| yearFirstCompleteProof | 1 |
| yearFirstProofApprox | 1 |
| yearOfCompleteProof | 1 |
| yearOfCorrectProof | 1 |
| yearOfFirstProof | 1 |
| yearOfOriginalProof | 1 |
| yearProvedByMilnor | 1 |
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: hasFirstProofYear
Generated description
Indicates the year in which something was first proven or formally demonstrated to be true.
Sample triples (25)
| Subject | Object |
|---|---|
| construction of the regular 17-gon with straightedge and compass | 1796 ⓘ |
| Halting problem | 1936 via predicate surface "proofYear" ⓘ |
| spin–statistics theorem | 1940 via predicate surface "yearOfFirstProof" ⓘ |
| quadratic reciprocity law | 1801 via predicate surface "yearFirstCompleteProof" ⓘ |
| Hasse bound for elliptic curves | 1933 via predicate surface "yearProvedApprox" ⓘ |
| Serre’s conjecture on Galois representations | 2008 via predicate surface "proofCompletedInYear" ⓘ |
| prime number theorem | 1949 via predicate surface "elementaryProofYear" ⓘ |
| uniformization theorem | 1907 via predicate surface "yearProvedApprox" ⓘ |
| Dehn lemma | 1957 via predicate surface "yearOfCorrectProof" ⓘ |
| h-cobordism theorem | 1961 via predicate surface "provedInYear" ⓘ |
| Milnor–Wood inequality | 1958 via predicate surface "yearProvedByMilnor" ⓘ |
| Ramanujan–Nagell equation | 1948 via predicate surface "yearOfCompleteProof" ⓘ |
| Ramanujan–Petersson conjecture | 1974 via predicate surface "proofYear" ⓘ |
| Helly’s theorem | 1913 via predicate surface "yearProvedApprox" ⓘ |
| Radon’s theorem | 1921 via predicate surface "yearProvedApprox" ⓘ |
| positive mass theorem | 1979 via predicate surface "firstCompleteProofYear" ⓘ |
| positive mass theorem | 1981 via predicate surface "spinorialProofYear" ⓘ |
| Eilenberg–Zilber theorem | 1940s via predicate surface "yearProvedApprox" ⓘ |
| Mordell–Weil theorem | 1922 via predicate surface "yearOfOriginalProof" ⓘ |
| cubic reciprocity law | 19th century via predicate surface "yearFirstProofApprox" ⓘ |
| Sato–Tate distribution (for families of elliptic curves) | around 2006–2008 for elliptic curves over ℚ without CM via predicate surface "proofYear" ⓘ |
| Malgrange–Ehrenpreis theorem | 1954 via predicate surface "yearProvedApprox" ⓘ |
| Green’s conjecture | 2002 via predicate surface "VoisinProofYear" ⓘ |
| Green’s conjecture | 2005 via predicate surface "VoisinProofYear" ⓘ |
| modularity conjecture | 2001 via predicate surface "proofCompletedInYear" ⓘ |