statedIn

241 triples

GPTKB property

statedAs • statedBy • statedFor • statedThat

Subject	Object
gptkb:Dependent_Choice	gptkb:Paul_Cohen
gptkb:Taniyama-Shimura-Vermutung	1955
gptkb:Brooks'_Law	gptkb:The_Mythical_Man-Month
gptkb:периодический_закон	Свойства элементов, а также формы и свойства их соединений находятся в периодической зависимости от атомных весов элементов.
gptkb:De_Moivre's_theorem	De Moivre's 1730 book 'Miscellanea Analytica'
gptkb:Euler's_identity	e^{i\pi} + 1 = 0
gptkb:Lawvere_fixed-point_theorem	1969
gptkb:axiom_of_pairing	gptkb:Zermelo–Fraenkel_set_theory
gptkb:De_Moivre's_formula	(cos x + i sin x)^n = cos(nx) + i sin(nx)
gptkb:Harvey-Lawson_conjecture	1982
gptkb:Quadratic_reciprocity	gptkb:Adrien-Marie_Legendre
gptkb:golden_rule	gptkb:Jesus
gptkb:Erste_Analogie:_Grundsatz_der_Beharrlichkeit_der_Substanz	gptkb:Kritik_der_reinen_Vernunft
gptkb:Condorcet's_jury_theorem	gptkb:Marquis_de_Condorcet
gptkb:Rolle's_theorem	real analysis
gptkb:Pappus–Guldinus_theorem	gptkb:Pappus's_Collection
gptkb:Gall's_law	gptkb:Systemantics
gptkb:Paley–Wiener–Schwartz_theorem	gptkb:Laurent_Schwartz
gptkb:comprehension_axiom	gptkb:Zermelo–Fraenkel_set_theory
gptkb:comprehension_axiom	gptkb:Naive_set_theory