statedIn

241 triples

GPTKB property

statedAs • statedBy • statedFor • statedThat

Subject	Object
gptkb:no-cloning_theorem	gptkb:Zurek
gptkb:Eulersche_Formel_(Analysis)	e^{ix} = \cos(x) + i\sin(x)
gptkb:Radon's_theorem	gptkb:Radon,_J._(1921)_"Mengen_konvexer_Körper,_die_einen_gemeinsamen_Punkt_enthalten"
gptkb:Strong_perfect_graph_theorem	gptkb:Neil_Robertson
gptkb:Jensen's_inequality	f(E[X]) ≤ E[f(X)] for convex f
gptkb:Zermelo’s_Axiom_of_Choice	Given any collection of nonempty sets, there exists a choice function selecting one element from each set.
gptkb:First_Law_of_Robotics	gptkb:Runaround
gptkb:Tarski's_fixed_point_theorem	1955
gptkb:Euler's_formula_for_planar_graphs	gptkb:Leonhard_Euler
gptkb:Higman's_lemma	Graham Higman's 1952 paper
gptkb:Minkowski_inequality	p-norm
gptkb:Law_of_noncontradiction	gptkb:Aristotle
gptkb:Cavalieri's_principle	If two solids have equal heights and equal cross-sectional areas at every level, then they have equal volumes.
gptkb:Weyl's_theorem	gptkb:Weyl's_1912_paper
gptkb:Clinton_Doctrine	policy documents
gptkb:recursion_theorem	gptkb:Kleene,_1938
gptkb:Clifford's_principle	gptkb:The_Ethics_of_Belief
gptkb:no-cloning_theorem	gptkb:Dieks
gptkb:Devissage_Theorem	gptkb:Higher_Algebraic_K-Theory_I
gptkb:Neumann's_law	1843