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:Linnik's_theorem 1944
gptkb:Masser–Wüstholz_isogeny_theorem 1993
gptkb:Matiyasevich–Robinson–Davis–Putnam_theorem 1970
gptkb:Nagata–Smirnov_metrization_theorem 1950
gptkb:Poincaré_conjecture_for_dimensions_five_and_higher 1961
gptkb:Matiyasevich's_Theorem 1970
gptkb:Stallings'_ends_theorem 1971
gptkb:Matiyasevich's_theorem 1970
gptkb:Zhang's_theorem 2013
gptkb:Milnor_conjecture 1996
gptkb:Ramanujan_conjecture 1973
gptkb:Fermat's_theorem_on_sums_of_polygonal_numbers 1813
gptkb:Freudenthal_suspension_theorem 1937
gptkb:Conway-Schneeberger_fifteen_theorem 1993
gptkb:Gross–Zagier_theorem 1986
gptkb:Property_P_conjecture 2004
gptkb:Hille–Yosida_theorem 1948
gptkb:Serre's_theorem_on_the_cohomology_of_Eilenberg–MacLane_spaces 1950s
gptkb:Hilton–Milner_theorem 1967
gptkb:Mordell_conjecture 1983
Please wait…