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:Narasimhan–Seshadri_theorem
1965
gptkb:Freedman's_theorem
1982
gptkb:Kunen_inconsistency
1971
gptkb:Ax–Kochen_theorem
1965
gptkb:topological_4-dimensional_Poincaré_conjecture
1982
gptkb:Mihăilescu's_theorem
2002
gptkb:Shafarevich's_theorem_on_solvable_groups
1954
gptkb:generalized_Poincaré_conjecture
1961
gptkb:Yau's_theorem
1978
gptkb:Generalized_Poincaré_conjecture
2003
gptkb:Ado–Iwasawa_theorem
1940s
gptkb:Fermat's_conjecture
1994
gptkb:Thurston's_geometrization_theorem
2003
gptkb:Eliashberg's_theorem_on_Stein_manifolds
1990
gptkb:Laumon’s_theorem
1980s
gptkb:Slaman–Steel_theorem
1988
gptkb:Krull–Remak–Schmidt_theorem
1920s
gptkb:Lebesgue's_differentiation_theorem
1904
gptkb:weak_Goldbach_conjecture
2013
gptkb:Lieb's_concavity_theorem
1973
Please wait…