yearProved

520 triples

GPTKB property

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

Subject	Object
gptkb:Zariski–Mumford_theorem	1961
gptkb:Grauert–Riemenschneider_vanishing_theorem	1970s
gptkb:Poincaré_conjecture_for_dimensions_five_and_higher	1961
gptkb:PCP_theorem	1992
gptkb:Hochster–Roberts_theorem	1974
gptkb:Extreme_value_theorem	1817
gptkb:Kronheimer–Mrowka_theorem	1994
gptkb:Bertrand–Chebyshev_theorem	1850
gptkb:Shirshov–Witt_theorem	1953
gptkb:Hurwitz's_automorphism_theorem	1893
gptkb:Independence_of_the_Axiom_of_Choice	1938
gptkb:Favard's_theorem	1935
gptkb:graph_minor_theorem	2004
gptkb:Cantor–Schroeder–Bernstein_theorem	late 19th century
gptkb:Green–Tao_theorem	2004
gptkb:Raoul_Bott_periodicity_theorem	1957
gptkb:Nilpotence_theorem	1988
gptkb:topological_Poincaré_conjecture_in_dimension_4	1982
gptkb:Hadamard's_prime_number_theorem	1896
gptkb:Erdős–Ko–Rado_theorem	1938