isFoundationFor

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

284 triples

GPTKB property

isFoundationOf • isStandardFoundationFor • istGrundlageFür

Subject	Object
gptkb:Zermelo–Fraenkel_set_theory_(ZF)	abstract algebra
gptkb:Lambda_calculus	gptkb:Scala
gptkb:Lambda_calculus	gptkb:Typed_PicoLisp
gptkb:Basic_Sciences_and_Engineering	innovation
gptkb:Turingmaschine	Komplexitätstheorie
gptkb:Constructive_set_theory	gptkb:logic
gptkb:Lambda_calculus	gptkb:Plutus
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)	group theory
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	real numbers
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	sheaves
gptkb:Lambda_calculus	gptkb:Typed_ClojureScript
gptkb:Constructive_set_theory	constructive type theory
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	rings
gptkb:Spezielle_Relativitätstheorie	Relativistische Astrophysik
gptkb:Tarski–Grothendieck_Set_Theory	gptkb:category_theory
gptkb:Lambda_calculus	gptkb:Clojure
gptkb:ZFC_(with_Axiom_of_Choice)	modern set theory
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)	gptkb:logic
gptkb:Higher_Order_Logic	gptkb:HOL_theorem_prover
gptkb:Lambda_calculus	gptkb:Purescript