|
gptkb:SAT_modulo_theories_(SMT)
|
uninterpreted functions
|
|
gptkb:Frege
|
logicism
|
|
gptkb:Number_theory
|
gptkb:Mordell–Weil_theorem
|
|
gptkb:Rand_Flem-Ath
|
Earth Crust Displacement
|
|
gptkb:Thomas_Malthus
|
population checked by famine, disease, and mortality
|
|
gptkb:Greek_optics
|
intromission theory of vision
|
|
gptkb:H._J._Eysenck
|
PEN model (Psychoticism, Extraversion, Neuroticism)
|
|
gptkb:Johannes_Nicolaus_Brønsted
|
gptkb:Brønsted–Lowry_theory
|
|
gptkb:Mourning_and_its_Relation_to_Manic-Depressive_States
|
object relations theory
|
|
gptkb:The_Mind-Body_Problem
|
idealism
|
|
gptkb:Alain_Badiou
|
truth
|
|
gptkb:Gilbert_Levin
|
life on Mars
|
|
gptkb:R._M._Dworkin
|
rights thesis
|
|
gptkb:The_Trompowsky_Attack
|
moderate
|
|
gptkb:David_Ricardo
|
theory of rent
|
|
gptkb:1947_Mattoon_gas_attacks
|
mass hysteria
|
|
gptkb:Lie_Groups
|
gptkb:Peter–Weyl_theorem
|
|
gptkb:Scotch_Game
|
leads to tactical play
|
|
gptkb:The_Beast_of_Gévaudan
|
large wolf
|
|
gptkb:Collective_Behaviour
|
gptkb:Emergent_Norm_Theory
|