isFoundationFor

URI: https://gptkb.org/prop/isFoundationFor
284 triples
GPTKB property
Alternative names (3)
isFoundationOf • isStandardFoundationFor • istGrundlageFür
Random triples
Subject Object
gptkb:Lambda_calculus ML
gptkb:The_Ethernet automotive networks
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) ultrafilters
gptkb:Turingmaschine moderne Informatik
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) gptkb:topology
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) gptkb:descriptive_set_theory
gptkb:Lambda_calculus gptkb:Typed_Hy
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) connected spaces
gptkb:The_Ethernet network routers
gptkb:Lambda_calculus Typed Typed RacketScript
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) presheaves
gptkb:Lambda_calculus gptkb:Typed_Ruby
gptkb:Lambda_calculus gptkb:Typed_Lua
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) probability spaces
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice modern mathematics
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) measure spaces
gptkb:Spezielle_Relativitätstheorie gptkb:Allgemeine_Relativitätstheorie
gptkb:Lambda_calculus gptkb:Typed_Clojure
gptkb:Basic_Sciences_and_Engineering applied sciences
gptkb:Zermelo–Fraenkel_set_theory_with_choice modern mathematics
Please wait…