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:Universal_Approximation_Theorem
1989
gptkb:Horn_conjecture
1999
gptkb:Erdős–Selfridge_theorem
1973
gptkb:Alon–Roichman_theorem
1994
gptkb:Kesten's_theorem
1980
gptkb:Virtual_Fibering_Conjecture
2012
gptkb:Hilbert's_irreducibility_theorem
1892
gptkb:Gibbard–Satterthwaite_theorem
1973
gptkb:Nilpotence_theorem
1988
gptkb:de_Branges_theorem
1984
gptkb:topological_4-dimensional_Poincaré_conjecture
1982
gptkb:Kronecker-Weber_theorem
1886
gptkb:Muller–Schupp_theorem
1983
gptkb:Higman–Neumann–Neumann_theorem
1949
gptkb:Resolution_of_Singularities_of_an_Algebraic_Variety_Over_a_Field_of_Characteristic_Zero
1964
gptkb:de_Rham_theorem
1931
gptkb:Hasse–Weil_theorem
1940s
gptkb:Kepler_conjecture
1998
gptkb:Perfect_Graph_Theorem
1972
gptkb:Euclid's_infinitude_of_primes_theorem
circa 300 BC
Please wait…