@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:Q844718 rdfs:label "نظرية الحوسبة"@ar,
        "teoría de la computación"@ast,
        "alqoritmlər nəzəriyyəsi"@az,
        "тэорыя алгарытмаў"@be,
        "тэорыя альгарытмаў"@be-tarask,
        "teorija računanja"@bs,
        "teoria de la computació"@ca,
        "teorie algoritmů"@cs,
        "theori cyfrifo"@cy,
        "computationsteori"@da,
        "θεωρία υπολογισμού"@el,
        "theory of computation"@en,
        "teorio de komputado"@eo,
        "teoría de la computación"@es,
        "konputazioaren teoria"@eu,
        "نظریه محاسبات"@fa,
        "laskettavuus"@fi,
        "théorie du calcul"@fr,
        "Teoiric na ríomhaireachta"@ga,
        "teoría da computación"@gl,
        "תורת החישוביות"@he,
        "अभिकलन का सिद्धांत"@hi,
        "teorija računanja"@hr,
        "ալգորիթմների տեսություն"@hy,
        "teori komputasi"@id,
        "teorio di komputado"@io,
        "teoria della computazione"@it,
        "計算理論"@ja,
        "computation theory"@ki,
        "계산 이론"@ko,
        "теорија на сметањето"@mk,
        "тооцооллын онол"@mn,
        "teori pengiraan"@ms,
        "teorie de la cumputaçon"@mwl,
        "computasjonsteori"@nb,
        "theorie van de berekeningen"@nl,
        "teoria obliczeń"@pl,
        "د محاسبې تیوري"@ps,
        "teoria da computação"@pt,
        "teoria da computação"@pt-br,
        "teoria calculabilității"@ro,
        "теория алгоритмов"@ru,
        "teorija računanja"@sh,
        "teória algoritmov"@sk,
        "teorija računanja"@sl,
        "теорија израчунљивости"@sr,
        "теорија израчунљивости"@sr-ec,
        "teorija izračunljivosti"@sr-el,
        "beräkningsteori"@sv,
        "назарияи автоматҳо"@tg,
        "nazarijai avtomatho"@tg-latn,
        "ทฤษฎีการคำนวณ"@th,
        "teoriya ng komputasyon"@tl,
        "algoritmalar teorisi"@tr,
        "теорія алгоритмів"@uk,
        "نظریۂ شمارندگی"@ur,
        "teoria de ła conputasion"@vec,
        "運算理論"@yue,
        "计算理论"@zh,
        "计算理论"@zh-hans,
        "計算理論"@zh-hant,
        "計算理論"@zh-hk ;
    schema1:dateModified "2026-11-02T23:06:02+00:00"^^xsd:dateTime ;
    schema1:description "падгаліна інфарматыкі"@be-tarask,
        "branca de les matemàtiques que estudia problemes de decidibilitat"@ca,
        "obor počítačové vědy"@cs,
        "subfield of computer science"@en,
        "rama de ciencia"@es,
        "زمینهٔ وسیعی که امکان و کارایی حل مسائل گوناگون را به وسیلهٔ مدلهای محاسباتی، با استفاده از الگوریتمها را مورد مطالعه قرار میدهد"@fa,
        "branche de la logique mathématique et de l'informatique théorique"@fr,
        "ענף במדעי המחשב"@he,
        "कंप्यूटर विज्ञान के अकादमिक उपक्षेत्र"@hi,
        "branca della logica matematica e dell'informatica teorica"@it,
        "理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問"@ja,
        "onderdeel van de informatica bestaande uit de automatenleer, de berekenbaareidstheorie en de computationele complexiteitstheorie"@nl,
        "subcampo da ciência da computação e matemática"@pt,
        "ramură a logicii matematice și a informaticii teoretice"@ro,
        "раздел информатики, изучающий общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления"@ru,
        "underdisciplin till matematik och datavetenskap"@sv,
        "широка галузь, що вивчає можливість та ефективність вирішення різних проблем за допомогою обчислювальних моделей з використанням алгоритмів"@uk,
        "電腦科學嘅學術子領域"@yue,
        "数学领域"@zh ;
    schema1:version 2564092245 ;
    wikibase:identifiers 17 ;
    wikibase:sitelinks 46 ;
    wikibase:statements 30 ;
    skos:altLabel "النظرية الحسابية"@ar,
        "teoria de computació"@ca,
        "teorie počítání"@cs,
        "theory of algorithms"@en,
        "teorio de kalkulado"@eo,
        "computacion teorica"@es,
        "computacion teórica"@es,
        "computación teórica"@es,
        "teoria de computacion"@es,
        "teoria de computación"@es,
        "teoria de la computacion"@es,
        "teoría de computacion"@es,
        "teoría de computación"@es,
        "teoría de la computacion"@es,
        "تئوری محاسبات"@fa,
        "نظریه محاسبه"@fa,
        "نظریهٔ محاسبات"@fa,
        "laskennan teoria"@fi,
        "laskettavuusteoria"@fi,
        "հաշիվների տեսություն"@hy,
        "계산이론"@ko,
        "teori komputasi"@ms,
        "teoria da recursão"@pt,
        "teoria computației"@ro,
        "алгоритмов теория"@ru,
        "теория вычислений"@ru,
        "คำนวณ"@th,
        "theory of computation"@tl,
        "алгоритмів теорія"@uk,
        "Theory of computation"@ur,
        "teoria dei algoritmi"@vec,
        "計算理論"@zh ;
    p:P10037 wds:Q844718-d84998c0-40b5-0c10-58ab-6e808047d0bf ;
    p:P10283 wds:Q844718-64749B22-B917-44CD-BB14-9E507081BD92 ;
    p:P11514 wds:Q844718-C3FF27D8-E086-4571-B7AC-DCFFA9E76A5D ;
    p:P12385 wds:Q844718-40214d34-3550-469a-94d0-d0a5d68daf5e ;
    p:P1296 wds:Q844718-AA0E6650-DA81-4030-B6C2-ABBC70DBF5C4 ;
    p:P2578 wds:Q844718-038702b3-4e10-3b89-0e01-97bb0627ed52,
        wds:Q844718-7038c22a-49d0-8221-48d6-75fcb4ff5a37,
        wds:Q844718-a8c36096-4c36-a3ea-5465-c77c7f52dde0,
        wds:Q844718-fca6ef63-4058-353a-45ed-45439eea8a73 ;
    p:P2581 wds:Q844718-30DD90F4-F427-4533-952E-B47320D1AA34 ;
    p:P279 wds:Q844718-7835bdb4-4b56-cff5-3f50-1c9a31f13e7b ;
    p:P2924 wds:Q844718-F4AB02BA-939B-4EDD-B1FC-4688C5E99A7B ;
    p:P31 wds:Q844718-3e3804d1-42f2-dad9-1ec1-4f5bd1585ae6,
        wds:Q844718-56826848-4f50-8f15-2155-6946a35558c9 ;
    p:P3417 wds:Q844718-08F54F99-5C6E-409B-A9E0-7352863282AA ;
    p:P3553 wds:Q844718-AE5D6D59-B8F8-4604-8B0E-5200DFD16C91 ;
    p:P361 wds:Q844718-8ddb51a3-4cc6-05c4-8b07-2ee59a6818b7,
        wds:Q844718-cbc2f2a1-4cf6-20ab-9fd6-5a1e46aa948f ;
    p:P373 wds:Q844718-034B8BB9-4F4E-44C6-AA5C-0B30B629764F ;
    p:P3847 wds:Q844718-73f9b452-4bc2-2c1a-8b68-e9d95dd1337f ;
    p:P5008 wds:Q844718-496578FE-B361-48C2-B191-0D65E509C36E ;
    p:P527 wds:Q844718-2D680269-8972-4998-8877-DEF6D2087CC3 ;
    p:P6366 wds:Q844718-55FF78AB-E3D1-4507-B5F6-871167F7A6F9 ;
    p:P646 wds:Q844718-BEF66B4F-1512-4D42-989A-B165322D680D ;
    p:P7554 wds:Q844718-03B8974E-147C-4DF4-B78C-D58B681FFBA6,
        wds:Q844718-8042ccac-4b11-a1aa-4a7c-984331b0ea76 ;
    p:P7666 wds:Q844718-AD88B2AC-2000-4716-AB64-FAC00C805849 ;
    p:P8529 wds:Q844718-B2046DD0-A873-45CF-8E1D-E041E7EB233C,
        wds:Q844718-BD27A132-0A25-4A60-85FD-784A3B259F2E ;
    p:P910 wds:Q844718-AF44CDF1-6E8B-4FD4-ABD9-84787D57EE5F ;
    wdtn:P2581 <http://babelnet.org/rdf/s02392561n> ;
    wdtn:P6366 <https://makg.org/entity/24858836> ;
    wdtn:P8529 <https://linked.data.gov.au/def/anzsrc-for/2020/4613>,
        <https://linked.data.gov.au/def/anzsrc-for/2020/461399> ;
    wdt:P10037 "teoria-della-computazione" ;
    wdt:P10283 "C24858836" ;
    wdt:P11514 "teoriia-algoritmov-cd3bb5" ;
    wdt:P12385 "teoria-de-la-computacio" ;
    wdt:P1296 "0267888" ;
    wdt:P2578 wd:Q4828244,
        wd:Q5157286,
        wd:Q8037118,
        wd:Q8366 ;
    wdt:P2581 "02392561n" ;
    wdt:P279 wd:Q17737 ;
    wdt:P2924 "1810389" ;
    wdt:P31 wd:Q11862829,
        wd:Q17737 ;
    wdt:P3417 "Theory-of-Computation" ;
    wdt:P3553 "19599016" ;
    wdt:P361 wd:Q16387,
        wd:Q21198 ;
    wdt:P373 "Theory of computation" ;
    wdt:P3847 "theory_of_computation" ;
    wdt:P5008 wd:Q6173448 ;
    wdt:P527 wd:Q13636890 ;
    wdt:P6366 "24858836" ;
    wdt:P646 "/m/07h44" ;
    wdt:P7554 "Algorithms,_theory_of",
        "Mathematical_theory_of_computation" ;
    wdt:P7666 "algoritmu-teorija" ;
    wdt:P8529 "4613",
        "461399" ;
    wdt:P910 wd:Q8596994 .