Alternative names (3)
isFoundationOf • isStandardFoundationFor • istGrundlageFürRandom triples
| Subject | Object |
|---|---|
| gptkb:Lambda_calculus | gptkb:Typed_PHP |
| gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) | gptkb:set-theoretic_topology |
| gptkb:Lambda_calculus | gptkb:F# |
| gptkb:Lambda_calculus | gptkb:Agda |
| gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) | lattices |
| gptkb:Zermelo–Fraenkel_set_theory_(ZF) | measure theory |
| gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) | presheaves |
| gptkb:Lambda_calculus | gptkb:Typed_Arc |
| gptkb:Lambda_calculus | gptkb:Typed_Kotlin |
| gptkb:The_Ethernet | network interface cards |
| gptkb:Peano_arithmetic | elementary number theory |
| gptkb:Minkowski-Raum | Lichtkegel |
| gptkb:The_Ethernet | gptkb:cloud_service |
| gptkb:The_Ethernet | audio/video networks |
| gptkb:Higher_Order_Logic | Coq (partially) |
| gptkb:Constructive_set_theory | constructive topology |
| gptkb:The_Ethernet | automotive networks |
| gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) | sigma-algebras |
| gptkb:Lambda_calculus | gptkb:Typed_Scheme |
| gptkb:The_Ethernet | LAN technology |