isFoundationFor

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

284 triples

GPTKB property

isFoundationOf • isStandardFoundationFor • istGrundlageFür

Subject	Object
gptkb:Lambda_calculus	gptkb:Typed_RacketScript
gptkb:Basic_Sciences_and_Engineering	innovation
gptkb:ZFC_for_sets	much of mathematics
gptkb:Zermelo–Fraenkel_set_theory_(ZF)	gptkb:set-theoretic_topology
gptkb:Lambda_calculus	Unison
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	trees
gptkb:Lambda_calculus	gptkb:Typed_Racket
gptkb:Lambda_calculus	Typed R
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	partially ordered sets
gptkb:Lambda_calculus	Typed Janet
gptkb:Spezielle_Relativitätstheorie	Relativistische Hydrodynamik
gptkb:The_Ethernet	industrial networks
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	vector spaces
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	ordinal numbers
gptkb:Lambda_calculus	Typed Sage
gptkb:Zermelo–Fraenkel_set_theory_(ZF)	real analysis
gptkb:Lambda_calculus	Typed C#
gptkb:Lambda_calculus	gptkb:Typed_ClojureScript
gptkb:Lambda_calculus	gptkb:Typed_Go
gptkb:Lambda_calculus	gptkb:LambdaProlog