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:Selberg's_lemma 1947
gptkb:Carleson's_theorem 1966
gptkb:Nagata_compactification_theorem 1962
gptkb:Gromov's_non-squeezing_theorem 1985
gptkb:Krull–Remak–Schmidt_theorem 1920s
gptkb:Mordell-Weil_Theorem 1922
gptkb:Thomason's_theorem 1978
gptkb:Mihăilescu's_theorem 2002
gptkb:Little_Picard_theorem 1879
gptkb:Mori's_Cone_Theorem 1982
gptkb:Vinogradov's_mean_value_theorem 1935
gptkb:Mordell–Weil_theorem 1922
gptkb:Poincaré_conjecture_for_dimensions_five_and_higher 1961
gptkb:Shanin's_theorem 1948
gptkb:Wilkie's_theorem 1996
gptkb:universal_approximation_theorem 1989
gptkb:Donaldson's_theorem 1983
gptkb:Wolstenholme's_theorem 1862
gptkb:Probabilistically_Checkable_Proofs_theorem 1992
gptkb:Riesz–Markov–Kakutani_representation_theorem 1941
Please wait…