GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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