was proven in

URI: https://gptkb.org/prop/was_proven_in
9 triples
GPTKB property
Random triples
Subject Object
gptkb:Ellis–van_der_Waerden_theorem gptkb:1927
gptkb:Poincaré_conjecture gptkb:2006
gptkb:Atiyah-Singer_index_formula gptkb:1963
gptkb:Hilbert's_completeness_theorem 1920s
gptkb:Dirichlet's_theorem_on_the_existence_of_primes 1837
gptkb:Fermat's_Last_Theorem gptkb:1994
gptkb:Rice's_theorem 1951
gptkb:Taniyama-Shimura-Weil_conjecture gptkb:1994
gptkb:Koebe's_circle_packing_theorem the early 20th century