@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q1056428 rdfs:label "نظرية النمط"@ar,
        "Tiplər nəzəriyyəsi"@az,
        "Teoria de tipus"@ca,
        "teorie typů"@cs,
        "typeteori"@da,
        "Typentheorie"@de,
        "Θεωρία τύπων"@el,
        "type theory"@en,
        "teorio de tipoj"@eo,
        "teoría de tipos"@es,
        "tüübiteooria"@et,
        "نظریه نوعها"@fa,
        "théorie des types"@fr,
        "תורת הטיפוסים"@he,
        "típuselmélet"@hu,
        "teoria dei tipi"@it,
        "型理論"@ja,
        "Типтер теориясы"@kk,
        "유형론"@ko,
        "теорија на типовите"@mk,
        "အမျိုးအစား သီအိုရီ"@my,
        "typeteori"@nb,
        "typetheorie"@nl,
        "teoria typów"@pl,
        "teoria dos tipos"@pt,
        "теория типов"@ru,
        "teorija tipov"@sl,
        "теорія типів"@uk,
        "Lý thuyết hình thái"@vi,
        "類型論"@yue,
        "类型论"@zh,
        "类型论"@zh-hans,
        "類型論"@zh-hant,
        "類型論"@zh-hk ;
    schema1:dateModified "2026-09-06T10:06:31+00:00"^^xsd:dateTime ;
    schema1:description "concepte en lògica matemàtica i informàtica"@ca,
        "teorie na pomezí matematiky, počítačové vědy a filosofie"@cs,
        "formale Systeme als Alternativen zur axiomatischen Mengenlehre"@de,
        "study of type systems in mathematical logic and computer science"@en,
        "mõiste matemaatilises loogikas ja informaatikas"@et,
        "fondation des mathématiques sur des expressions typées et des preuves construites comme objets"@fr,
        "수학자 버트런드 러셀이 제안한 유형 개념에서 파생한 이론"@ko,
        "klasa systemów formalnych w informatyce teoretycznej i logice matematycznej"@pl ;
    schema1:version 2541004693 ;
    wikibase:identifiers 26 ;
    wikibase:sitelinks 26 ;
    wikibase:statements 39 ;
    skos:altLabel "نمط"@ar,
        "Typtheorie"@de,
        "theory of types"@en,
        "tip-teorio"@eo,
        "tipa teorio"@eo,
        "tipoteorio"@eo,
        "tipteorio"@eo,
        "Teoria de tipos"@es,
        "tüübi teooria"@et,
        "tüüpide teooria"@et,
        "تئوری انواع"@fa,
        "تئوری نوع ها"@fa,
        "نظریه انواع"@fa,
        "نظریه نوع ها"@fa,
        "نظریهٔ نوع ها"@fa,
        "タイプ理論"@ja,
        "階型理論"@ja,
        "형 이론"@ko,
        "typentheorie"@nl,
        "型別理論"@zh,
        "类型理论"@zh,
        "逻辑类型"@zh ;
    p:P10283 wds:Q1056428-B37D9BB8-EEAF-4E71-AC4E-0F949F5677BF ;
    p:P10376 wds:Q1056428-5a1692c9-4f11-3d42-2b10-62f1fa20a65b ;
    p:P10565 wds:Q1056428-B1D97F97-76AD-4011-955F-36C280C33797 ;
    p:P1269 wds:Q1056428-1aaea57b-4c34-904e-c701-89f7758c3a98,
        wds:Q1056428-81948939-4694-f091-f589-bb1493dd23b7,
        wds:Q1056428-88ed7bc4-4cda-f4ef-fc16-f1f2b755043f,
        wds:Q1056428-8ca9efc5-4f8f-d10d-067e-a4afd61e2e78 ;
    p:P13397 wds:Q1056428-17B4462C-784F-4FBC-A23A-8A3D23264AB6 ;
    p:P1417 wds:Q1056428-44C82739-61AD-45DC-BAA2-992D502A5F0D,
        wds:Q1056428-CD5C0750-C933-449A-BA52-33AAB6658330 ;
    p:P14541 wds:Q1056428-57720FC3-7964-42EA-BD1D-E194B6A2110C ;
    p:P2184 wds:Q1056428-730c6d85-4c1b-5bad-8e52-df844806a81d ;
    p:P227 wds:Q1056428-8be1fb5f-40e5-fed4-29f9-edc1c146e328 ;
    p:P244 wds:Q1056428-6c9807e5-4656-640b-0633-a433e5a769d4 ;
    p:P2578 wds:Q1056428-2e386c99-47ee-63ee-221d-8f4ce323360a,
        wds:Q1056428-d73dc0e1-4221-ee18-a79e-5db82fc35055 ;
    p:P2581 wds:Q1056428-9727C005-1901-4B85-A9AE-6A68E51BCF34 ;
    p:P279 wds:Q1056428-8b2d3aed-495c-d833-fade-56442adaafaa ;
    p:P2924 wds:Q1056428-04e78c9a-49ba-0548-c698-9f120c94d957 ;
    p:P31 wds:Q1056428-b65de538-4d2d-860a-7d35-9c7739073942 ;
    p:P3123 wds:Q1056428-F0120E95-F911-44EB-A255-EE255B8AF447 ;
    p:P3219 wds:Q1056428-69073CEA-10C3-4414-9439-137FFADDA6D8 ;
    p:P3285 wds:Q1056428-33ea5994-47e5-255e-fb8f-be55fb640b6b,
        wds:Q1056428-566ACBE7-8DF2-49AB-B7F6-CCA41888F46D ;
    p:P3417 wds:Q1056428-A4FC96AB-AE8F-403E-84B7-3E8B3DC9E216 ;
    p:P366 wds:Q1056428-9e6c3f39-436f-4fe7-f396-b5d6505f37e0,
        wds:Q1056428-ba74fc0a-4b81-120e-4894-a69401c84100 ;
    p:P373 wds:Q1056428-627B81A1-C589-4B30-AE10-52CE2474BF85 ;
    p:P3827 wds:Q1056428-771A4E16-081D-4B8A-B6D7-EF2F4DAA3FB3 ;
    p:P3847 wds:Q1056428-d36040e3-4fb6-49fb-b124-064a6f176388 ;
    p:P4215 wds:Q1056428-0F05C911-101D-4D58-9F19-38C5D4D47839 ;
    p:P6366 wds:Q1056428-43487150-1486-4E99-A2F3-59D2C43EF0BF ;
    p:P646 wds:Q1056428-C338E4DD-3D78-42BC-A0C2-CF485FD5C4A5 ;
    p:P6611 wds:Q1056428-1d84426b-4492-2de5-446e-5e2871c249ac ;
    p:P7993 wds:Q1056428-775B7827-533F-4717-9FF1-B671FF1479F7 ;
    p:P8313 wds:Q1056428-a204e337-4295-0c3f-bf50-77279845cc98 ;
    p:P8408 wds:Q1056428-81270FDE-F034-4BC7-B763-8FCC522AFC80 ;
    p:P910 wds:Q1056428-AC9E8F4C-A47D-4E6C-9133-05E2A65374DA ;
    p:P9621 wds:Q1056428-266c3061-48a8-dcf3-2916-66bdb882fae3 ;
    wdtn:P227 <https://d-nb.info/gnd/4121795-0> ;
    wdtn:P244 <http://id.loc.gov/authorities/names/sh85139126> ;
    wdtn:P2581 <http://babelnet.org/rdf/s03130588n> ;
    wdtn:P3285 <http://msc2010.org/resources/MSC/2010/03B15>,
        <http://msc2010.org/resources/MSC/2010/03B38> ;
    wdtn:P6366 <https://makg.org/entity/93682546> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/TypeTheory> ;
    wdt:P10283 "C93682546" ;
    wdt:P10376 "mathematics/type-theory" ;
    wdt:P10565 "121751" ;
    wdt:P1269 wd:Q1166618,
        wd:Q2878974,
        wd:Q395,
        wd:Q8078 ;
    wdt:P13397 "type-theory" ;
    wdt:P1417 "topic/ramified-theory-of-types",
        "topic/theory-of-types-logic" ;
    wdt:P14541 "2iyauh" ;
    wdt:P2184 wd:Q5871008 ;
    wdt:P227 "4121795-0" ;
    wdt:P244 "sh85139126" ;
    wdt:P2578 wd:Q190087,
        wd:Q865760 ;
    wdt:P2581 "03130588n" ;
    wdt:P279 wd:Q649732 ;
    wdt:P2924 "4192585" ;
    wdt:P31 wd:Q1936384 ;
    wdt:P3123 "type-theory" ;
    wdt:P3219 "theorie-des-types-chimie" ;
    wdt:P3285 "03B15",
        "03B38" ;
    wdt:P3417 "Type-Theory" ;
    wdt:P366 wd:Q11387554,
        wd:Q991202 ;
    wdt:P373 "Type theory" ;
    wdt:P3827 "type-theory" ;
    wdt:P3847 "type_theory" ;
    wdt:P4215 "type theory" ;
    wdt:P6366 "93682546" ;
    wdt:P646 "/m/0b15c" ;
    wdt:P6611 "42211" ;
    wdt:P7993 "teoria-dei-tipi" ;
    wdt:P8313 "typeteori" ;
    wdt:P8408 "TypeTheory" ;
    wdt:P910 wd:Q7451631 ;
    wdt:P9621 "teoria-dei-tipi" .