statedIn

241 triples

GPTKB property

statedAs • statedBy • statedFor • statedThat

Subject	Object
gptkb:Parallelenaxiom	gptkb:Elements
gptkb:axiom_of_union	gptkb:Zermelo_set_theory
gptkb:Quillen's_Theorem_A	gptkb:Higher_Algebraic_K-Theory_I
gptkb:Cavalieri's_principle	If two solids have equal heights and equal cross-sectional areas at every level, then they have equal volumes.
gptkb:Leibniz's_principle_of_sufficient_reason	gptkb:Monadology
gptkb:Strong_perfect_graph_theorem	gptkb:Neil_Robertson
gptkb:Paley–Wiener–Schwartz_theorem	gptkb:Laurent_Schwartz
gptkb:Leibniz's_principle_of_sufficient_reason	gptkb:Theodicy
gptkb:Quadratic_reciprocity	gptkb:Adrien-Marie_Legendre
gptkb:Dynkin's_lemma	If a λ-system contains a π-system, then the σ-algebra generated by the π-system is contained in the λ-system.
gptkb:Littlewood's_three_principles	Littlewood's book 'Lectures on the Theory of Functions'
gptkb:Greatest_Commandment	gptkb:Jesus
gptkb:q-binomial_theorem	gptkb:Eduard_Heine
gptkb:Hyppönen_Law	2016
gptkb:De_Moivre's_formula	(cos x + i sin x)^n = cos(nx) + i sin(nx)
gptkb:Stolz–Cesàro_theorem	real analysis
gptkb:lattice_isomorphism_theorem	group theory textbooks
gptkb:Axiom_of_regularity	gptkb:John_von_Neumann
gptkb:Erste_Analogie:_Grundsatz_der_Beharrlichkeit_der_Substanz	gptkb:Kritik_der_reinen_Vernunft
gptkb:Rolle's_theorem	real analysis