statedIn

241 triples

GPTKB property

statedAs • statedBy • statedFor • statedThat

Subject	Object
gptkb:Van_Lint–Wilson_conjecture	1977 paper by van Lint and Wilson
gptkb:Zermelo’s_Axiom_of_Choice	Given any collection of nonempty sets, there exists a choice function selecting one element from each set.
gptkb:Gauss's_Eureka_theorem	gptkb:Carl_Friedrich_Gauss
gptkb:Strong_perfect_graph_theorem	gptkb:Robin_Thomas
gptkb:Szpilrajn_extension_theorem	1930
gptkb:Second_law_of_motion	F = ma
gptkb:Devissage_Theorem	gptkb:Higher_Algebraic_K-Theory_I
gptkb:Parallelenaxiom	gptkb:Elements
gptkb:Nilpotence_theorem	gptkb:Jeff_Smith
gptkb:Perfect_Graph_Theorem	gptkb:László_Lovász
gptkb:Euler's_partition_theorem	partition theory
gptkb:Béla_Guttmann_Curse	gptkb:Béla_Guttmann
gptkb:Zeroth_Law_of_Robotics	A robot may not harm humanity, or, by inaction, allow humanity to come to harm.
gptkb:Schur's_theorem	1916
gptkb:Euclidean_parallel_postulate	gptkb:Book_I_of_Elements
gptkb:Lindelöf_hypothesis	for any ε > 0, ζ(1/2 + it) = O(t^ε) as t → ∞
gptkb:Wigner-Eckart_theorem	group theory
gptkb:Krogh's_principle	For many problems there is an animal on which it can be most conveniently studied.
gptkb:Axiom_of_Dependent_Choice	gptkb:Zermelo–Fraenkel_set_theory
gptkb:Monsky's_theorem	gptkb:Paul_Monsky