@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:Q818930 rdfs:label "berekenbaarheidsteorie"@af,
        "نظرية الحاسوبية"@ar,
        "কম্পিউটেবিলিটি থিয়ৰী"@as,
        "teoría de la computabilidad"@ast,
        "hesablama nəzəriyyəsi"@az,
        "тэорыя вылічальнасьці"@be-tarask,
        "изчислителна теория"@bg,
        "গণনীয়তা তত্ত্ব (কম্পিউটার বিজ্ঞান)"@bn,
        "teoria de la computabilitat"@ca,
        "teorie vyčíslitelnosti"@cs,
        "шутланаяслăх теорийĕ"@cv,
        "beregnelighed"@da,
        "Berechenbarkeitstheorie"@de,
        "θεωρία αναδρομής"@el,
        "computability theory"@en,
        "teorio de komputeblo"@eo,
        "teoría de la computabilidad"@es,
        "konputagarritasunaren teoria"@eu,
        "نظریه رایانشپذیری"@fa,
        "laskettavuusteoria"@fi,
        "théorie de la calculabilité"@fr,
        "teoiric na hináiritheachta"@ga,
        "teoría da computabilidade"@gl,
        "תורת הרקורסיה"@he,
        "teorija izračunljivosti"@hr,
        "Kiszámíthatósági elmélet"@hu,
        "teorio di komputebleso"@io,
        "teoria della calcolabilità"@it,
        "計算可能性理論"@ja,
        "계산 가능성 이론"@ko,
        "theoria facultatis calculandi"@la,
        "теорија на пресметливоста"@mk,
        "တွက်ချက်နိုင်စွမ်းသီအိုရီ"@my,
        "berekenbaarheidstheorie"@nl,
        "teoria obliczalności"@pl,
        "teoria da computabilidade"@pt,
        "teoria da computabilidade"@pt-br,
        "teoria calculabilității"@ro,
        "теория вычислимости"@ru,
        "teorija izračunljivosti"@sh,
        "teória vypočítateľnosti"@sk,
        "teorija izračunljivosti"@sl,
        "теорија израчунљивости"@sr,
        "beräkningsbarhet"@sv,
        "ทฤษฎีการคำนวณได้"@th,
        "teorya ng komputabilidad"@tl,
        "hesap kuramı"@tr,
        "теорія обчислюваності"@uk,
        "lý thuyết tính toán"@vi,
        "可運算性理論"@yue,
        "可计算性理论"@zh ;
    schema1:dateModified "2026-06-15T01:51:06+00:00"^^xsd:dateTime ;
    schema1:description "галіна матэматычнай лёгікі"@be-tarask,
        "estudi sobre les funcions computables"@ca,
        "Teilgebiet der theoretischen Informatik und der mathematischen Logik"@de,
        "study of computable functions and Turing degrees"@en,
        "studo de komputeblaj funkcioj kaj Turing-gradoj"@eo,
        "estudio sobre las funciones computables"@es,
        "domaine de la logique mathématique et de l’informatique théorique étudiant les fonctions calculables et les degrés Turing"@fr,
        "studio delle funzioni calcolabili"@it,
        "計算可能な問題のクラスがいかなる構造をもっているかを調べる理論"@ja,
        "studiul funcțiilor calculabile și al gradelor Turing"@ro,
        "раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики"@ru,
        "галузь математичної логіки, теорії алгоритмів та теоретичної інформатики, що вивчає обчислювані функції та ступені Тюрінга"@uk ;
    schema1:version 2506108772 ;
    wikibase:identifiers 17 ;
    wikibase:sitelinks 44 ;
    wikibase:statements 25 ;
    skos:altLabel "نظرية الحسوبية"@ar,
        "نظرية الحسوبية (معلوماتية)"@ar,
        "نظرية العودية"@ar,
        "نظريه الحاسوبيه"@ar,
        "Computability Theory"@as,
        "Computability theory"@as,
        "Computability theory (computation)"@as,
        "Computability theory (computer science)"@as,
        "Continuous computability theory"@as,
        "Ecursion theory"@as,
        "Recursion theory"@as,
        "Recursive function theory"@as,
        "Theory of computability"@as,
        "কম্পিউটেবিলিটি থিয়ৰী বা সংগণনশীলতা তত্ব"@as,
        "কম্পিউটেশ্যনেল কমপ্লেক্সিটী থিয়ৰী"@as,
        "কম্পিউটেশ্যনেল কম্প্লেক্সিটী থিয়ৰী"@as,
        "সংগণনশীলতা তত্ব"@as,
        "গণনাযোগ্যতার তত্ত্ব"@bn,
        "গণনীয়তা তত্ত্ব"@bn,
        "computabilitat"@ca,
        "teoria de la recursió"@ca,
        "vyčíslitelnost"@cs,
        "Berechnungstheorie"@de,
        "Rekursionstheorie"@de,
        "Theorie der Berechenbarkeit"@de,
        "θεωρία της Αναδρομής"@el,
        "recursion theory"@en,
        "komputebloteorio"@eo,
        "rikuroteorio"@eo,
        "computabilidad"@es,
        "teoria de la computabilidad"@es,
        "نظریه رایانش"@fa,
        "نظریه رایانش پذیری"@fa,
        "نظریه محاسبه پذیری"@fa,
        "نظریهٔ رایانش پذیری"@fa,
        "laskennallisuuden teoria"@fi,
        "rekursioteoria"@fi,
        "théorie de la récursion"@fr,
        "teorija izračunljivosti (računarstvo)"@hr,
        "calcolabilità"@it,
        "teoria della computabilità"@it,
        "teoria della ricorsione"@it,
        "計算可能性"@ja,
        "計算可能理論"@ja,
        "계산가능성 이론"@ko,
        "berekenbaarheidsleer"@nl,
        "вычислимость"@ru,
        "теория рекурсивных функций"@ru,
        "teorija izračunljivosti (računarstvo)"@sh,
        "теорія обчислень"@uk,
        "теорія рекурсії"@uk ;
    p:P10283 wds:Q818930-7CE42507-7E86-46EB-AA6A-27A9B69514A0 ;
    p:P10376 wds:Q818930-57a9d451-4b7f-c46f-6551-78eda9963452,
        wds:Q818930-91480a59-4e5f-b030-b175-32ce42f058c8 ;
    p:P1051 wds:Q818930-A6A37BAD-F4F4-45E6-8703-B5D2429FF975 ;
    p:P12946 wds:Q818930-7FC838CA-D27C-4311-9D26-88DA155AFA73 ;
    p:P2581 wds:Q818930-02E376E4-E221-411C-A8A4-8332AB0555CD ;
    p:P279 wds:Q818930-3fe02b27-4ee1-d2ce-6924-f7420e7c79ee,
        wds:Q818930-712df7db-40a6-5f41-ca0d-6388ba4fb420,
        wds:Q818930-cd1dc6f5-4af0-2c9b-d4ed-8ca2b44bb5d1 ;
    p:P3285 wds:Q818930-037ec0f3-4538-e1a1-7431-661efb48eed9 ;
    p:P3417 wds:Q818930-C1B8FD14-B7F7-43C8-96C3-0663C2DF2629 ;
    p:P3553 wds:Q818930-7C046C1D-DD87-47E1-981B-4657062F5067 ;
    p:P361 wds:Q818930-39344F9F-52CF-448E-9BA1-FAD41ED22DE6,
        wds:Q818930-7C270183-84F0-4660-BADB-C2C9E30690D1 ;
    p:P373 wds:Q818930-91672B6F-DE25-4FFB-B7A7-18A2999FA673 ;
    p:P3827 wds:Q818930-15F05B48-B53E-477B-B0C0-2573CFFE9590 ;
    p:P5008 wds:Q818930-3D3A3EE3-1F1B-45CC-A3D7-AD8A36FFBEDA ;
    p:P6366 wds:Q818930-0FE50B70-FADC-447A-97C3-46BBF877CB79 ;
    p:P646 wds:Q818930-AC6C4171-23DD-43ED-AE0D-A4D975EBADEA ;
    p:P6781 wds:Q818930-e5761bbc-4be4-b5c3-1941-1e2c4d3aec69 ;
    p:P691 wds:Q818930-15ECE968-368C-4078-B912-5C7301135DCF ;
    p:P8189 wds:Q818930-37155F6F-8888-488C-9137-A43EB244A57B ;
    p:P8313 wds:Q818930-B9ECBC6A-25C1-4697-B0F4-2120690A15EB ;
    p:P8408 wds:Q818930-3DF90DA0-E046-4DCA-9472-662FDEEAFBBB ;
    p:P910 wds:Q818930-8164E2ED-8DEB-4817-8E4B-99350006CDEB ;
    wdtn:P2581 <http://babelnet.org/rdf/s00775789n> ;
    wdtn:P3285 <http://msc2010.org/resources/MSC/2010/03Dxx> ;
    wdtn:P6366 <https://makg.org/entity/111142201> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/ComputabilityTheory> ;
    wdt:P10283 "C111142201" ;
    wdt:P10376 "mathematics/computability-theory",
        "mathematics/recursion-theory" ;
    wdt:P1051 "6607" ;
    wdt:P12946 "computability+theory" ;
    wdt:P2581 "00775789n" ;
    wdt:P279 wd:Q1166618,
        wd:Q2878974,
        wd:Q844718 ;
    wdt:P3285 "03Dxx" ;
    wdt:P3417 "Computability-Theory-computer-science" ;
    wdt:P3553 "19734535" ;
    wdt:P361 wd:Q114682730,
        wd:Q1166618 ;
    wdt:P373 "Computer science" ;
    wdt:P3827 "recursion-theory" ;
    wdt:P5008 wd:Q6173448 ;
    wdt:P6366 "111142201" ;
    wdt:P646 "/m/014c37" ;
    wdt:P6781 "Definition:Computability_Theory" ;
    wdt:P691 "ph678150" ;
    wdt:P8189 "987007545779505171" ;
    wdt:P8313 "beregnelighed" ;
    wdt:P8408 "ComputabilityTheory" ;
    wdt:P910 wd:Q7035970 .