statedIn

241 triples

GPTKB property

statedAs • statedBy • statedFor • statedThat

Subject	Object
gptkb:Nixon_Doctrine	United States would assist allies, but not undertake all defense
gptkb:Gauss's_Eureka_theorem	gptkb:Carl_Friedrich_Gauss
gptkb:Higman's_lemma	Graham Higman's 1952 paper
gptkb:Nixon_Doctrine	Asian allies would be responsible for their own military defense
gptkb:Minkowski's_inequality	p-norms
gptkb:Gall's_Law	gptkb:Systemantics
gptkb:comprehension_axiom	gptkb:Zermelo–Fraenkel_set_theory
gptkb:Fung's_Law	gptkb:Benjamin_Fung
gptkb:Axiom_of_Pairing	gptkb:Zermelo–Fraenkel_set_theory
gptkb:Erdős–Heilbronn_conjecture	\|{a+b : a, b ∈ A, a ≠ b}\| ≥ min(p, 2\|A\|−3) for A ⊆ Z/pZ
gptkb:Zariski–Grothendieck_purity_theorem	gptkb:SGA_2
gptkb:Dependent_Choice	gptkb:Paul_Cohen
gptkb:Balfour_Declaration_1926	United Kingdom and Dominions are equal in status
gptkb:Abel's_binomial_theorem	gptkb:Niels_Henrik_Abel
gptkb:Axiom_of_Regularity	gptkb:John_von_Neumann
gptkb:Murphy's_Law	Anything that can go wrong will go wrong.
gptkb:verum_factum_principle	gptkb:De_Antiquissima_Italorum_Sapientia
gptkb:Euler's_theorem_in_number_theory	If n and a are coprime, then a^φ(n) ≡ 1 mod n
gptkb:Kleene's_recursion_theorem	1938
gptkb:Finagle's_corollary_to_Murphy's_Law	Anything that can go wrong, will—at the worst possible moment.