isFoundationFor

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

284 triples

GPTKB property

isFoundationOf • isStandardFoundationFor • istGrundlageFür

Subject	Object
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	ideals
gptkb:Higher_Order_Logic	gptkb:ProofPower
gptkb:The_Ethernet	network hubs
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	natural transformations
gptkb:Lambda_calculus	gptkb:Elm
gptkb:Spezielle_Relativitätstheorie	gptkb:Allgemeine_Relativitätstheorie
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	fields
gptkb:Lambda_calculus	gptkb:Typed_Python
gptkb:Lambda_calculus	gptkb:Typed_Crystal
gptkb:Lambda_calculus	gptkb:Frege
gptkb:Lambda_calculus	gptkb:Typed_Perl
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	relations
gptkb:Lambda_calculus	gptkb:Futhark
gptkb:Spezielle_Relativitätstheorie	Relativistische Gravitationstheorie
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	smooth manifolds
gptkb:ZFC_(with_Axiom_of_Choice)	modern set theory
gptkb:Lambda_calculus	gptkb:Typed_Tcl
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	partially ordered sets
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	higher category theory
gptkb:Stochastic_gradient_descent	gptkb:Adam_optimizer