statedIn

241 triples

GPTKB property

statedAs • statedBy • statedFor • statedThat

Subject	Object
gptkb:Linus's_Law	gptkb:Eric_S._Raymond
gptkb:Chasles'_theorem	Any rigid body displacement is equivalent to a translation along a line and a rotation about that line
gptkb:Proposition_47_(Pythagorean_theorem)	gptkb:Euclid's_Elements
gptkb:Axiom_of_Dependent_Choice	gptkb:Zermelo–Fraenkel_set_theory
gptkb:axiom_of_pairing	gptkb:Zermelo_set_theory
gptkb:Castelnuovo's_inequality	curves in projective space of dimension at least 3
gptkb:Bunyakovsky_conjecture	gptkb:Viktor_Bunyakovsky
gptkb:De_Morgan's_laws	1847
gptkb:Hall_hypothesis	1959
gptkb:Abel's_lemma	gptkb:Niels_Henrik_Abel
gptkb:Lawvere_fixed-point_theorem	1969
gptkb:Euler's_theorem_in_number_theory	If n and a are coprime, then a^φ(n) ≡ 1 mod n
gptkb:Euler's_partition_theorem	partition theory
gptkb:Strong_perfect_graph_theorem	gptkb:Robin_Thomas
gptkb:golden_rule	gptkb:Muhammad
gptkb:Four-Square_Theorem	gptkb:Joseph-Louis_Lagrange
gptkb:Higman's_lemma	Graham Higman's 1952 paper
gptkb:Brooks's_law	gptkb:The_Mythical_Man-Month
gptkb:q-binomial_theorem	gptkb:Eduard_Heine
gptkb:Axiom_of_Specification	gptkb:Zermelo–Fraenkel_set_theory