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:Pila–Wilkie_theorem 2006
gptkb:Ray-Chaudhuri–Wilson_theorem 1975
gptkb:Smale's_theorem 1961
gptkb:Aizenman–Barsky_theorem 1987
gptkb:Geometrization_conjecture 2003
gptkb:Mergelyan's_theorem 1951
gptkb:Dirichlet's_theorem_on_arithmetic_progressions 1837
gptkb:Higman–Neumann–Neumann_theorem 1949
gptkb:Krull–Remak–Schmidt_theorem 1920s
gptkb:Lagrange's_four-square_theorem 1770
gptkb:Four-Square_Theorem 1770
gptkb:Shafarevich's_theorem_on_solvable_groups 1954
gptkb:Fifteen_theorem 1993
gptkb:modularity_theorem 1994
gptkb:Lieb's_concavity_theorem 1973
gptkb:Abel's_impossibility_theorem 1824
gptkb:Ramsey's_theorem_for_pairs 1930
gptkb:Wolstenholme's_theorem 1862
gptkb:Oxtoby-Ulam_theorem 1941
gptkb:Weierstrass_approximation_theorem 1885
Please wait…