@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:Q865760 rdfs:label "نظام الأنواع"@ar,
        "сыстэма тыпізацыі"@be-tarask,
        "Типизация на данните"@bg,
        "টাইপ ব্যবস্থা"@bn,
        "Tip"@bs,
        "sistema de tipus"@ca,
        "typový systém"@cs,
        "typesystem"@da,
        "Typisierung"@de,
        "Σύστημα τύπων"@el,
        "type system"@en,
        "datumtipsistemo"@eo,
        "sistema de tipos"@es,
        "tüübisüsteem"@et,
        "سیستم انواع"@fa,
        "tyyppijärjestelmä"@fi,
        "système de typage"@fr,
        "מערכת טיפוסים"@he,
        "típusrendszer"@hu,
        "sistema dei tipi"@it,
        "型システム"@ja,
        "ტიპის სისტემა"@ka,
        "자료형 체계"@ko,
        "Типтештирүү"@ky,
        "Ыҥпалын типше"@mhr,
        "ടൈപ്പ് സിസ്റ്റം"@ml,
        "Sistem jenis"@ms,
        "typesystem"@nb,
        "typesysteem"@nl,
        "typesystem"@nn,
        "system typów"@pl,
        "ليکډول"@ps,
        "sistema de tipos"@pt,
        "tipul de sistem"@ro,
        "типизация данных"@ru,
        "tipski sistem"@sl,
        "Sistemi i tipit"@sq,
        "систем врсти података"@sr,
        "typsystem"@sv,
        "ระบบชนิดตัวแปร"@th,
        "Tür sistemi"@tr,
        "система типізації"@uk,
        "hệ thống kiểu"@vi,
        "類型系統"@yue,
        "類型系統"@zh,
        "类型系统"@zh-cn,
        "类型系統"@zh-hans,
        "型別系統"@zh-hant,
        "型別系統"@zh-hk,
        "類型系統"@zh-tw ;
    schema1:dateModified "2026-03-17T14:52:04+00:00"^^xsd:dateTime ;
    schema1:description "يربط كل قيمة محسوبة بنوع"@ar,
        "conjunt de regles que assignen una propietat anomenada tipus a diverses construccions en què consta un programa informàtic, com ara variables, expressions, funcions o mòduls"@ca,
        "systém pravidel přiřazující typy jednotlivým konstrukcím, ze kterých se skládá počítačový program"@cs,
        "formales System in Programmiersprachen"@de,
        "set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules"@en,
        "conjunto de reglas que asignan una propiedad llamada tipo a varias construcciones de las que un programa informático consta, tales como variables, expresiones, funciones o módulos"@es,
        "reeglite kogum, mis määrab arvutiprogrammi struktuuridele, sealhulgas muutujatele, avaldistele, funktsioonidele või moodulitele, omaduse, mida kutsutakse \"tüübiks\""@et,
        "قوانین تایپسیستم"@fa,
        "règles d'assignation des types d'un langage de programmation"@fr,
        "framework sintattico per la classificazione di espressioni"@it,
        "プログラミング言語において、ある部分が持つ値を、その型に沿って分類し、プログラムが正しく振る舞うこと、という性質について保証する手法"@ja,
        "regler for hvordan et programmeringsspråk klassifiserer verdier og uttrykk til ulike konstruksjoner, for eksempel variabler, uttrykk, funksjoner eller moduler"@nb,
        "zestaw reguł przypisujący elementom programu komputerowego (zmiennym, wyrażeniom, funkcjom, itp.) właściwość nazywaną typem"@pl,
        "совокупность правил в языках программирования, назначающих свойства (типы) конструкциям, составляющим программу"@ru,
        "system för hur programspråk klassificerar värden och uttryck"@sv,
        "набір правил, за якими присвоюють властивість, що називається типом, різним елементам комп'ютерної програми, таким як змінні, вирази, функції або модулі"@uk,
        "將稱為類型的屬性分配給計算機程序的各種構造的規則集，例如變量，表達式，函數或模塊"@zh ;
    schema1:version 2472958604 ;
    wikibase:identifiers 2 ;
    wikibase:sitelinks 36 ;
    wikibase:statements 16 ;
    skos:altLabel "Data tip"@bs,
        "typovost"@cs,
        "typování"@cs,
        "typing discipline"@en,
        "datentipsistemo"@eo,
        "sistema de tipificacion"@es,
        "sistema de tipificación"@es,
        "سیستم نوع"@fa,
        "tyypitys"@fi,
        "typage"@fr,
        "טיפוסיות"@he,
        "טיפוסיות ברווז"@he,
        "טיפוסיות חזקה"@he,
        "típusosság"@hu,
        "Sistema di tipi"@it,
        "Type system"@it,
        "タイプシステム"@ja,
        "交差型"@ja,
        "和型"@ja,
        "型付け"@ja,
        "동적 타이핑"@ko,
        "유형 시스템"@ko,
        "형시스템"@ko,
        "형체계"@ko,
        "형체제"@ko,
        "Ыҥпале тип"@mhr,
        "Ыҥпалытип"@mhr,
        "type systeem"@nl,
        "type system"@nl,
        "type-systeem"@nl,
        "Валютный тип"@ru,
        "Тип данных"@ru,
        "tipizacija"@sl,
        "систем типова"@sr,
        "Dynamisk typning"@sv,
        "тип даних"@uk,
        "типізація даних"@uk,
        "型別系統"@zh,
        "型態系統"@zh,
        "类型推断系统"@zh-cn,
        "型別系統"@zh-tw,
        "型態系統"@zh-tw ;
    p:P1269 wds:Q865760-94701f56-4b05-fba3-4261-8c58577ef93c ;
    p:P1343 wds:Q865760-3693de66-4abc-2bf2-d389-eba85a3bd59d,
        wds:Q865760-413315fc-4a67-203c-f66e-7530d44ba662 ;
    p:P1424 wds:Q865760-f7360926-d1a0-4b72-b22c-30f05410df2d ;
    p:P1482 wds:Q865760-15722e23-48ab-6f53-4858-43156990dd10 ;
    p:P1687 wds:Q865760-119E3D17-4DF4-496F-ADB1-F28D55B40E60 ;
    p:P2283 wds:Q865760-489a92cb-4270-07da-9694-4bbac445eeba ;
    p:P2579 wds:Q865760-0725ab73-40f0-80a5-031e-b8d907fd522b ;
    p:P279 wds:Q865760-9e8501e7-4633-ea8f-7fc1-1a18891789ff ;
    p:P361 wds:Q865760-db0a10cf-40c1-d00a-7bd3-3bbf7cc512c8 ;
    p:P6366 wds:Q865760-B5AEED28-FF1A-415A-9AF9-1D7A1A5AF435 ;
    p:P646 wds:Q865760-571265DD-91F5-4D90-B8CC-23AABFB26267 ;
    p:P910 wds:Q865760-02705BC6-A2EF-46F2-A038-87CFDE4FB4F0 ;
    p:P973 wds:Q865760-1653e577-4f7b-dbed-beda-bb81e3d8dc28,
        wds:Q865760-b465702f-4bf3-904e-79be-8e9c4346397e,
        wds:Q865760-d01c43a9-4e36-c23a-1f44-b770ddca0f89 ;
    wdtn:P6366 <https://makg.org/entity/20740285> ;
    wdt:P1269 wd:Q9143 ;
    wdt:P1343 wd:Q123663245,
        wd:Q460584 ;
    wdt:P1424 wd:Q18858226 ;
    wdt:P1482 <https://stackoverflow.com/tags/type-systems> ;
    wdt:P1687 wd:P7078 ;
    wdt:P2283 wd:Q190087 ;
    wdt:P2579 wd:Q1056428 ;
    wdt:P279 wd:Q649732 ;
    wdt:P361 wd:Q9143 ;
    wdt:P6366 "20740285" ;
    wdt:P646 "/m/01cc54" ;
    wdt:P910 wd:Q8877945 ;
    wdt:P973 <https://c3.ai/glossary/artificial-intelligence/type-system/>,
        <https://lambdaland.org/posts/2023-01-17_what_is_a_type_system_really/>,
        <https://sdiehl.github.io/typechecker-zoo/foundations/type-systems.html> .