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