statedIn

241 triples

GPTKB property

statedAs • statedBy • statedFor • statedThat

Subject	Object
gptkb:Stein's_Law	If something cannot go on forever, it will stop.
gptkb:Cauchy's_mean_value_theorem	Real analysis
gptkb:Greatest_Commandment	gptkb:Jesus
gptkb:First_Law_of_Robotics	gptkb:Runaround
gptkb:De_Moivre's_theorem	De Moivre's 1730 book 'Miscellanea Analytica'
gptkb:axiom_of_pairing	gptkb:Zermelo_set_theory
gptkb:Minkowski_inequality	functions
gptkb:Lindelöf_hypothesis	for any ε > 0, ζ(1/2 + it) = O(t^ε) as t → ∞
gptkb:Friedman's_grand_conjecture	late 20th century
gptkb:Brooks'_Law	gptkb:The_Mythical_Man-Month
gptkb:recursion_theorem	gptkb:Kleene,_1938
gptkb:Four-Square_Theorem	gptkb:Joseph-Louis_Lagrange
gptkb:Taniyama-Shimura-Vermutung	1955
gptkb:Second_Law_of_Motion	F = ma
gptkb:Hall_hypothesis	1959
gptkb:Rouché's_theorem	gptkb:complex_plane
gptkb:Euclidean_parallel_postulate	gptkb:Book_I_of_Elements
gptkb:Euler's_partition_theorem	partition theory
gptkb:Chasles'_theorem	Any rigid body displacement is equivalent to a translation along a line and a rotation about that line
gptkb:Bochner_identity	Δ\|∇f\|^2 = 2⟨∇f, ∇Δf⟩ + 2\|Hess f\|^2 + 2Ric(∇f, ∇f)