yearProved

520 triples

GPTKB property

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

Subject	Object
gptkb:Fröhlich's_theorem	1967
gptkb:Fermat's_Last_Theorem_(proved_by_Wiles)	1994
gptkb:Verbitsky's_theorem	1996
gptkb:Liouville's_theorem_(number_theory)	1844
gptkb:Duffin–Schaeffer_conjecture	2019
gptkb:Extreme_value_theorem	1817
gptkb:Mazur's_theorem	1977
gptkb:Tate's_theorem_on_the_Galois_cohomology_of_abelian_varieties_over_algebraic_fields	1966
gptkb:Stone-Weierstrass_theorem	1937
gptkb:Fejér's_theorem	1900
gptkb:prime_number_theorem_for_arithmetic_progressions	1896
gptkb:symplectic_camel_theorem	1985
gptkb:the_fundamental_theorem_of_algebra	1799
gptkb:Madsen–Weiss_theorem	2002
gptkb:Prime_Number_Theorem	1896
gptkb:Thompson's_theorem_on_fixed-point-free_automorphisms_of_prime_order	1959
gptkb:Franklin's_theorem	1922
gptkb:Nagata–Smirnov_metrization_theorem	1950
gptkb:Higman–Neumann–Neumann_theorem	1949
gptkb:Four_color_theorem	1976