isFoundationFor

URI: https://gptkb.org/prop/isFoundationFor

284 triples

GPTKB property

isFoundationOf • isStandardFoundationFor • istGrundlageFür

Subject	Object
gptkb:Lambda_calculus	Typed Sage
gptkb:Lambda_calculus	gptkb:Typed_Bigloo
gptkb:Spezielle_Relativitätstheorie	Relativistische Astrophysik
gptkb:Basic_Sciences_and_Engineering	innovation
gptkb:ZFC_(with_axiom_of_choice)	modern set theory
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	functors
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	rings
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	gptkb:combinatorics
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	ultrafilters
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	real numbers
gptkb:Higher_Order_Logic	gptkb:PVS
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	groups
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	vector spaces
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	differentiable manifolds
gptkb:ZFC_(with_Axiom_of_Choice)	much of mathematics
gptkb:first-order_logic	gptkb:model_theory
gptkb:propositional_calculus	predicate logic
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	proof theory
gptkb:Lambda_calculus	Typed Mathematica
gptkb:The_Ethernet	audio/video networks