GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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:Cantor–Schroeder–Bernstein_theorem
late 19th century
gptkb:Bieberbach_conjecture
1984
gptkb:Prime_Number_Theorem
1896
gptkb:Alexandrov–Hausdorff_theorem
1916
gptkb:Mori's_theorem
1982
gptkb:Nagata's_compactification_theorem
1962
gptkb:Hironaka's_theorem
1964
gptkb:Prime_Number_Theorem_for_arithmetic_progressions
1896
gptkb:Cauchy-Davenport_theorem
1935
gptkb:Strong_perfect_graph_theorem
2002
gptkb:Ax–Katz_theorem
1969
gptkb:d'Alembert–Gauss_theorem
1799
gptkb:Bonnet–Myers_theorem
1935
gptkb:Cook-Levin_theorem
1971
gptkb:Kronheimer–Mrowka_theorem
1994
gptkb:monstrous_moonshine
1992
gptkb:Urysohn_metrization_theorem
1925
gptkb:Ornstein_isomorphism_theorem
1970
gptkb:g-theorem
1980
gptkb:Berger's_theorem_on_cellular_automata
1966