Alternative names (3)
isFoundationOf • isStandardFoundationFor • istGrundlageFürRandom triples
| Subject | Object |
|---|---|
| gptkb:Basic_Sciences_and_Engineering | research and development |
| gptkb:Stochastic_gradient_descent | gptkb:RMSprop |
| gptkb:ZFC_(with_Axiom_of_Choice) | much of mathematics |
| gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) | higher category theory |
| gptkb:Lambda_calculus | Typed Delphi |
| gptkb:Tarski–Grothendieck_Set_Theory | gptkb:category_theory |
| gptkb:Lambda_calculus | gptkb:Nix |
| gptkb:Lambda_calculus | gptkb:Frege |
| gptkb:Lambda_calculus | gptkb:Scala |
| gptkb:The_Ethernet | network switches |
| gptkb:Lambda_calculus | Typed C++ |
| gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) | modules |
| gptkb:Lambda_calculus | gptkb:Typed_Forth |
| gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC) | modern mathematics |
| gptkb:ZFC_set_theory | modern mathematics |
| gptkb:Higher_Order_Logic | gptkb:ProofPower |
| gptkb:Lambda_calculus | gptkb:OCaml |
| gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) | gptkb:Banach_spaces |
| gptkb:Lambda_calculus | Typed D |
| gptkb:Basic_Sciences_and_Engineering | gptkb:technology |