GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
yearProved
URI:
https://gptkb.org/prop/yearProved
520
triples
GPTKB property
Alternative names (6)
bewiesen im Jahr
•
proofYear
•
provedInYear
•
provenInYear
•
yearOfFirstProof
•
yearProven
Random triples
Subject
Object
gptkb:Mordell–Weil_theorem
1922
gptkb:Riemann_hypothesis_for_function_fields
1940s
gptkb:Honda–Tate_theorem
1968
gptkb:Kepler_conjecture
1998
gptkb:Rokhlin's_theorem
1952
gptkb:Calabi–Yau_metric
1978
gptkb:Gowers'_Ramsey_theorem
1992
gptkb:Thomason's_theorem
1978
gptkb:Nash–Tognoli_theorem
1973
gptkb:five_color_theorem
1890
gptkb:Upper_Bound_Theorem
1970
gptkb:Gödel–Löwenheim_theorem
1915
gptkb:Glauberman_Z*_theorem
1968
gptkb:Serre's_modularity_conjecture
2008
gptkb:modularity_conjecture
1994
gptkb:Helton-Vinnikov_theorem
2007
gptkb:Gibbard–Satterthwaite_theorem
1973
gptkb:Hardy–Littlewood_maximal_theorem
1930s
gptkb:Donaldson–Uhlenbeck–Yau_theorem
1985
gptkb:Maynard–Tao_theorem
2013
Please wait…