isFoundationFor

URI: https://gptkb.org/prop/isFoundationFor
284 triples
GPTKB property
Alternative names (3)
isFoundationOf • isStandardFoundationFor • istGrundlageFür
Random triples
Subject Object
gptkb:Tarski–Grothendieck_Set_Theory gptkb:category_theory
gptkb:Lambda_calculus gptkb:Typed_Ruby
gptkb:Lambda_calculus gptkb:Idris
gptkb:Lambda_calculus gptkb:Typed_Kawa
gptkb:Higher_Order_Logic gptkb:Isabelle/HOL
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) ordinal numbers
gptkb:The_Ethernet audio/video networks
gptkb:Minkowski-Raum Kausalstruktur
gptkb:Lambda_calculus gptkb:Typed_MIT_Scheme
gptkb:Lambda_calculus gptkb:Typed_Kotlin
gptkb:Zermelo–Fraenkel_set_theory_(ZF) gptkb:model_theory
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) gptkb:combinatorics
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) gptkb:set-theoretic_topology
gptkb:Lambda_calculus gptkb:Typed_Bigloo
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) rings
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) homotopy theory
gptkb:Spezielle_Relativitätstheorie Relativistische Mechanik
gptkb:Lambda_calculus gptkb:Typed_Perl
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) real analysis
gptkb:Stochastic_gradient_descent Adagrad