isFoundationFor

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

284 triples

GPTKB property

isFoundationOf • isStandardFoundationFor • istGrundlageFür

Subject	Object
gptkb:The_Ethernet	industrial networks
gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC)	modern mathematics
gptkb:Basic_Sciences_and_Engineering	research and development
gptkb:Spezielle_Relativitätstheorie	Relativistische Kosmologie
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	real numbers
gptkb:Lambda_calculus	gptkb:LambdaProlog
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	homotopy theory
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	discrete spaces
gptkb:Higher_Order_Logic	gptkb:ProofPower
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	gptkb:descriptive_set_theory
gptkb:Lambda_calculus	gptkb:Typed_Bigloo
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	ultrafilters
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	gptkb:set-theoretic_topology
gptkb:ZFC_for_sets	modern set theory
gptkb:Lambda_calculus	gptkb:Typed_Perl
gptkb:Spezielle_Relativitätstheorie	Relativistische Gravitationstheorie
gptkb:Lambda_calculus	gptkb:Typed_Hy
gptkb:Zermelo-Fraenkel_set_theory	modern mathematics
gptkb:Lambda_calculus	ML
gptkb:Zermelo–Fraenkel_set_theory	most of modern mathematics