yearProved

520 triples

GPTKB property

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

Subject	Object
gptkb:Stone–Weierstrass_theorem	1937
gptkb:Stepanov's_theorem	1969
gptkb:Davis–Putnam–Robinson–Matiyasevich_theorem	1970
gptkb:Anning–Erdős_theorem	1945
gptkb:Eskin–Mirzakhani_theorem	2013
gptkb:Kac–Weisfeiler_conjecture	1995
gptkb:Frankl–Wilson_theorem	1981
gptkb:Catalan's_conjecture	2002
gptkb:Bhargava's_290_theorem	2000
gptkb:Chen's_theorem	1966
gptkb:Euclid's_infinitude_of_primes_theorem	circa 300 BC
gptkb:Wolstenholme's_theorem	1862
gptkb:Fermat's_Last_Theorem	1994
gptkb:Liouville's_theorem_(number_theory)	1844
gptkb:Glivenko–Cantelli_theorem	1933
gptkb:The_Geometrization_Conjecture	2003
gptkb:Mostow's_strong_rigidity_theorem	1968
gptkb:Fermat's_conjecture	1994
gptkb:Füredi's_theorem	1981
gptkb:Higman_embedding_theorem	1961