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:Roth's_theorem_on_arithmetic_progressions
1953
gptkb:Nash_approximation_theorem
1952
gptkb:Shimura–Taniyama_conjecture
1994
gptkb:Sperner's_theorem
1928
gptkb:Kunen's_theorem
1971
gptkb:Four_color_theorem
1976
gptkb:mean_ergodic_theorem
1932
gptkb:Borel–Harish-Chandra_theorem
1962
gptkb:Oxtoby-Ulam_theorem
1941
gptkb:Bertrand's_postulate
1850
gptkb:Beilinson-Lichtenbaum_conjecture
2010
gptkb:Gibbard–Satterthwaite_theorem
1973
gptkb:Uniformization_theorem
1907
gptkb:Laumon’s_theorem
1980s
gptkb:Alon–Roichman_theorem
1994
gptkb:weak_Goldbach_conjecture
2013
gptkb:Kesten's_theorem
1980
gptkb:prime_number_theorem
1896
gptkb:Bishop–Phelps_theorem
1961
gptkb:Nash–Tognoli_theorem
1973
Please wait…