|
gptkb:Gödel_machine
|
2003
|
|
gptkb:Yudin-Nemirovski_theorem
|
1976
|
|
gptkb:Type_I_string_theory
|
1970s
|
|
gptkb:Sen_conjecture
|
1998
|
|
gptkb:Odesa_Metro_(planned)
|
gptkb:unknown
|
|
gptkb:Centennial_Tower_(never_built)
|
1988
|
|
gptkb:Vizing's_theorem
|
1964
|
|
gptkb:International_Trade_Organization
|
1944
|
|
gptkb:Lekkerkerker_theorem
|
1962
|
|
gptkb:Viterbo_conjecture
|
1990
|
|
gptkb:Exclusion_Bill
|
1680
|
|
gptkb:Grand_Tack_hypothesis
|
2011
|
|
gptkb:Werner_theory
|
1893
|
|
gptkb:d'Alembert's_principle
|
1743
|
|
gptkb:Lorenz_equations
|
1963
|
|
gptkb:LEDBAT
|
2010
|
|
gptkb:Birkhoff's_representation_theorem
|
1937
|
|
gptkb:Debye–Hückel_limiting_law
|
1923
|
|
gptkb:Aldrich_Plan
|
1911
|
|
gptkb:Barlow's_efficient_coding_hypothesis
|
1961
|