Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Category:Type_theory> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- Category:Type_theory wikiPageID "1028819".
- Category:Type_theory wikiPageRevisionID "546492391".
- Category:Type_theory type Concept.
- Category:Type_theory label "Type theory".
- Category:Type_theory sameAs Kategorie:Typentheorie.
- Category:Type_theory sameAs Κατηγορία:Θεωρία_τύπων.
- Category:Type_theory sameAs Categoría:Teoría_de_tipos.
- Category:Type_theory sameAs Catégorie:Théorie_des_types.
- Category:Type_theory sameAs Kategori:Teori_tipe.
- Category:Type_theory sameAs Category:型理論.
- Category:Type_theory sameAs 분류:형_이론.
- Category:Type_theory sameAs Categoria:Teoria_dos_tipos.
- Category:Type_theory sameAs Q7451631.
- Category:Type_theory sameAs Q7451631.
- 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.