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:Property_P_conjecture_for_knots 2004
gptkb:Riemannian_Bonnet–Myers_theorem 1935
gptkb:Milnor_conjecture 1996
gptkb:Selberg's_lemma 1947
gptkb:Index_theorem 1963
gptkb:Segal_conjecture 1984
gptkb:multidimensional_Szemerédi_theorem 1978
gptkb:Feldman–Moore_theorem 1977
gptkb:Mordell's_theorem_for_elliptic_curves 1922
gptkb:Baker's_Theorem 1966
gptkb:Riemannian_Myers'_theorem 1941
gptkb:Thurston's_geometrization_theorem 2003
gptkb:Kazhdan–Margulis_theorem 1968
gptkb:Birkhoff–Grothendieck_theorem 1957
gptkb:deterministic_time_hierarchy_theorem 1965
gptkb:Erdős–Selfridge_theorem 1973
gptkb:de_Branges_theorem 1984
gptkb:Fermat's_Last_Theorem_(proved_by_Wiles) 1994
gptkb:s-cobordism_theorem 1960s
gptkb:Ray-Chaudhuri–Wilson_theorem 1975