Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Category:Type_theory> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Category:Type_theory wikiPageID "1028819".
- Category:Type_theory wikiPageRevisionID "546492391".
- Category:Type_theory wikiPageUsesTemplate Template:Cat_main.
- Category:Type_theory subject Type_theory.
- Category:Type_theory type Concept.
- Category:Type_theory label "Type theory".
- Category:Type_theory sameAs Q7451631.
- Category:Type_theory sameAs تصنيف:نظرية_النمط.
- Category:Type_theory sameAs Kategorija:Teorija_vrste.
- Category:Type_theory sameAs Category:Type_theory.
- Category:Type_theory sameAs Kategorie:Typentheorie.
- Category:Type_theory sameAs Κατηγορία:Θεωρία_τύπων.
- Category:Type_theory sameAs Kategorio:Teorio_de_tipoj.
- Category:Type_theory sameAs Categoría:Teoría_de_tipos.
- Category:Type_theory sameAs رده:نظریه_نوعها.
- Category:Type_theory sameAs Catégorie:Théorie_des_types.
- Category:Type_theory sameAs Kategori:Teori_tipe.
- Category:Type_theory sameAs Categoria:Teoria_dei_tipi.
- Category:Type_theory sameAs Category:型理論.
- Category:Type_theory sameAs 분류:형_이론.
- Category:Type_theory sameAs Категорија:Теорија_на_типовите.
- Category:Type_theory sameAs Kategori:Teori_jenis.
- Category:Type_theory sameAs Categoria:Teoria_dos_tipos.
- Category:Type_theory sameAs Категория:Теория_типов.
- Category:Type_theory sameAs หมวดหมู่:ทฤษฎีแบบชนิด.
- Category:Type_theory sameAs Категорія:Теорія_типів.
- Category:Type_theory sameAs زمرہ:نظریہ_ٹائپ.
- Category:Type_theory sameAs Q7451631.
- Category:Type_theory sameAs Category:类型论.
- Category:Type_theory broader Category:Logic_in_computer_science.
- Category:Type_theory broader Category:Mathematical_logic.
- Category:Type_theory broader Category:Mathematical_structures.
- Category:Type_theory broader Category:Programming_language_theory.
- Category:Type_theory prefLabel "Type theory".
- Category:Type_theory wasDerivedFrom Category:Type_theory?oldid=546492391.