statedIn

241 triples

GPTKB property

statedAs • statedBy • statedFor • statedThat

Subject	Object
gptkb:Roosevelt_Corollary	gptkb:Theodore_Roosevelt's_State_of_the_Union_Address
gptkb:First_Law_of_Robotics	gptkb:Runaround
gptkb:Taniyama-Shimura-Vermutung	1955
gptkb:golden_rule	gptkb:Confucius
gptkb:Brooks'_Law	gptkb:The_Mythical_Man-Month
gptkb:Krogh's_principle	For many problems there is an animal on which it can be most conveniently studied.
gptkb:Harrington's_Principle	Descriptive set theory
gptkb:Wirth's_law	gptkb:Niklaus_Wirth
gptkb:Zermelo’s_Axiom_of_Choice	Given any collection of nonempty sets, there exists a choice function selecting one element from each set.
gptkb:Quillen's_Theorem_A	gptkb:Higher_Algebraic_K-Theory_I
gptkb:Harvey-Lawson_conjecture	1982
gptkb:Second_law_of_motion	F = ma
gptkb:no-cloning_theorem	gptkb:Zurek
gptkb:Second_Law_of_Motion	F = ma
gptkb:Balfour_Declaration_1926	Dominions are autonomous communities within the British Empire
gptkb:Chowla's_conjecture	For any distinct natural numbers n_1, ..., n_k, the values of the Liouville function at these points are statistically independent.
gptkb:Böhm–Jacopini_theorem	gptkb:Giuseppe_Jacopini
gptkb:axiom_of_union	gptkb:Zermelo–Fraenkel_set_theory
gptkb:Hypponen_Law	2016
gptkb:Euclidean_parallel_postulate	gptkb:Book_I_of_Elements