yearProved

520 triples

GPTKB property

bewiesen im Jahr • proofYear • provedInYear • provenInYear • yearOfFirstProof • yearProven

Subject	Object
gptkb:Borel–Harish-Chandra_theorem	1962
gptkb:Geometrization_conjecture	2003
gptkb:Bishop–Phelps_theorem	1961
gptkb:Mordell–Weil_theorem	1922
gptkb:Fejér's_theorem	1900
gptkb:Vinogradov's_mean_value_theorem	1935
gptkb:Szemerédi's_theorem	1975
gptkb:Friedlander–Iwaniec_theorem	1997
gptkb:Moh–Zhang_theorem	1993
gptkb:Chebotarev_Density_Theorem	1926
gptkb:Atiyah–Guillemin–Sternberg_convexity_theorem	1982
gptkb:Church-Rosser_theorem	1936
gptkb:Erdős–Dushnik–Miller_theorem	1941
gptkb:Glauberman_Z*_theorem	1968
gptkb:Chevalley–Warning_theorem	1935
gptkb:Ramanujan–Petersson_conjecture	1973
gptkb:Szemerédi–Trotter_theorem	1983
gptkb:Hasse–Minkowski_theorem	1920s
gptkb:Duffin–Schaeffer_conjecture	2019
gptkb:Gromov–Lawson_surgery_theorem	1980