isFoundationFor

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

284 triples

GPTKB property

isFoundationOf • isStandardFoundationFor • istGrundlageFür

Subject	Object
gptkb:The_Ethernet	LAN technology
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	model categories
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	Boolean algebras
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	higher category theory
gptkb:Lambda_calculus	Typed Sage
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	number theory
gptkb:The_Ethernet	enterprise networks
gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC)	modern mathematics
gptkb:Lambda_calculus	Typed Maple
gptkb:Zermelo–Fraenkel_set_theory_(ZF)	gptkb:set-theoretic_topology
gptkb:Tarski–Grothendieck_Set_Theory	gptkb:category_theory
gptkb:Lambda_calculus	gptkb:Typed_Bigloo
gptkb:Lambda_calculus	gptkb:Typed_Zig
gptkb:Higher_Order_Logic	gptkb:Isabelle/HOL
gptkb:Lambda_calculus	gptkb:OCaml
gptkb:propositional_calculus	predicate logic
gptkb:Lambda_calculus	gptkb:Typed_Go
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	compact spaces
gptkb:Lambda_calculus	gptkb:Elm
gptkb:first-order_logic	gptkb:logic