isFoundationFor

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

284 triples

GPTKB property

isFoundationOf • isStandardFoundationFor • istGrundlageFür

Subject	Object
gptkb:Spezielle_Relativitätstheorie	Relativistische Mechanik
gptkb:ZFC_set_theory	modern mathematics
gptkb:Lambda_calculus	Typed COBOL
gptkb:The_Ethernet	network routers
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	gptkb:Banach_spaces
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	cardinals
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	proof theory
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	locally compact spaces
gptkb:first-order_logic	gptkb:model_theory
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	gptkb:topology
gptkb:Constructive_set_theory	constructive algebra
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	filters
gptkb:Lambda_calculus	gptkb:Haskell
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	rings
gptkb:Zermelo-Fraenkel_set_theory	gptkb:logic
gptkb:untyped_lambda_calculus	combinatory logic
gptkb:Lambda_calculus	Typed Matlab
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	gptkb:category_theory
gptkb:first-order_logic	proof theory
gptkb:The_Ethernet	Internet connectivity