statedIn

241 triples

GPTKB property

statedAs • statedBy • statedFor • statedThat

Subject	Object
gptkb:Axiom_of_regularity	gptkb:John_von_Neumann
gptkb:Abel's_binomial_theorem	gptkb:Niels_Henrik_Abel
gptkb:Chevalley_theorem	gptkb:Claude_Chevalley
gptkb:Browder_fixed-point_theorem	1965
gptkb:Green–Tao_theorem	gptkb:Ben_Green
gptkb:Axiom_of_specification	gptkb:Zermelo–Fraenkel_set_theory
gptkb:Hurwitz's_theorem	gptkb:19th_century
gptkb:Wigner-Eckart_theorem	group theory
gptkb:Quillen's_Theorem_A	gptkb:Higher_Algebraic_K-Theory_I
gptkb:Minkowski's_inequality	p-norms
gptkb:Axiom_of_Subsets	gptkb:Zermelo–Fraenkel_set_theory
gptkb:Identity_of_Indiscernibles	No two distinct entities can have all their properties in common
gptkb:Law_of_noncontradiction	gptkb:Aristotle
gptkb:Castelnuovo's_inequality	curves in projective space of dimension at least 3
gptkb:Stein's_Law	If something cannot go on forever, it will stop.
gptkb:L'Hôpital's_theorem	gptkb:Analyse_des_Infiniment_Petits
gptkb:Erdős–Heilbronn_conjecture	\|{a+b : a, b ∈ A, a ≠ b}\| ≥ min(p, 2\|A\|−3) for A ⊆ Z/pZ
gptkb:q-binomial_theorem	gptkb:Eduard_Heine
gptkb:Axiom_of_Specification	gptkb:Zermelo–Fraenkel_set_theory
gptkb:Harrington's_Principle	Descriptive set theory