@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:Q877945 rdfs:label "مجموعة قابلة للحساب"@ar,
        "Conjunt recursiu"@ca,
        "Татсапаруллă йыш"@cv,
        "Entscheidbar"@de,
        "Αναδρομικό σύνολο"@el,
        "recursive set"@en,
        "komputebla aro"@eo,
        "conjunto recursivo"@es,
        "مجموعه بازگشتی"@fa,
        "ensemble récursif"@fr,
        "קבוצה רקורסיבית"@he,
        "Neodlučivost"@hr,
        "insieme ricorsivo"@it,
        "帰納的集合"@ja,
        "재귀 집합"@ko,
        "recursieve verzameling"@nl,
        "Zbiór rekurencyjny"@pl,
        "Conjunto recursivo"@pt,
        "Разрешимое множество"@ru,
        "Рекурзиван скуп"@sr,
        "Рекурзиван скуп"@sr-ec,
        "Rekurzivan skup"@sr-el,
        "Рекурсивна множина"@uk,
        "递归集合"@zh,
        "递归集合"@zh-hans,
        "遞歸集合"@zh-hant,
        "遞歸集合"@zh-hk ;
    schema1:dateModified "2026-06-05T17:30:13+00:00"^^xsd:dateTime ;
    schema1:description "Eigenschaft auf abzählbaren Mengen"@de,
        "Set where an algorithm can take a number as an input and can decide whether the number belongs to the set"@en,
        "particolare insieme di numeri naturali"@it,
        "typ podzbioru zbioru liczb naturalnych"@pl ;
    schema1:version 2502300851 ;
    wikibase:identifiers 6 ;
    wikibase:sitelinks 23 ;
    wikibase:statements 12 ;
    skos:altLabel "Entscheidbare Menge"@de,
        "Entscheidbarkeit"@de,
        "Entscheidungsproblem"@de,
        "Rekursiv entscheidbar"@de,
        "Rekursiv entscheidbare Menge"@de,
        "Semientscheidbarkeit"@de,
        "Unentscheidbar"@de,
        "Unentscheidbares Problem"@de,
        "Unentscheidbarkeit"@de,
        "decidability theory"@en,
        "Decidebla aro"@eo,
        "Rekursia aro"@eo,
        "conjunto decidible"@es,
        "conjunto recurrente"@es,
        "مجموعهٔ بازگشتی"@fa,
        "ensemble recursif"@fr,
        "Neodlučiv"@hr,
        "Conjunto computável"@pt,
        "Conjunto decidível"@pt,
        "Разрешимые множества"@ru,
        "Израчунљив скуп"@sr,
        "Израчунљиви скупови"@sr,
        "Одлучив скуп"@sr,
        "Одлучиви скупови"@sr,
        "Рекурзивни скупови"@sr,
        "Розв'язна множина"@uk,
        "递归集"@zh ;
    p:P1382 wds:Q877945-0f68becf-4eb4-6709-fd37-2a898e6e7d33,
        wds:Q877945-ca2679a1-45ab-92c2-fbe9-5675fbe78923 ;
    p:P227 wds:Q877945-a21afcc0-4327-0625-179d-8bfe13b3805a ;
    p:P279 wds:Q877945-96bfc4ae-428a-3f3f-7760-74f433acee1b ;
    p:P2812 wds:Q877945-AD970016-C717-417E-A17F-EBD421D8B4FF ;
    p:P31 wds:Q877945-3bbcd6d4-4a60-2b87-7907-4eea86cb7a95 ;
    p:P361 wds:Q877945-D084BC0A-7A91-4AE6-B561-C53D9EFE68F5 ;
    p:P4215 wds:Q877945-C1AC6F79-2E72-4F3B-82A0-80E37802E53E ;
    p:P6104 wds:Q877945-E96842A0-4B0B-48A2-A46A-DC0AFC2690DD ;
    p:P6366 wds:Q877945-8CE30867-4E76-44D9-9F47-B771C4CA6786 ;
    p:P646 wds:Q877945-E9E1AC08-4AD3-4515-8180-3CBB8C26D6AA ;
    p:P7726 wds:Q877945-5f5e78dd-4e1e-013e-111e-36c8f59fa6b0 ;
    wdtn:P227 <https://d-nb.info/gnd/4152398-2> ;
    wdtn:P6366 <https://makg.org/entity/199767532> ;
    wdt:P1382 wd:Q424547,
        wd:Q430001 ;
    wdt:P227 "4152398-2" ;
    wdt:P279 wd:Q177646 ;
    wdt:P2812 "RecursiveSet" ;
    wdt:P31 wd:Q1207505 ;
    wdt:P361 wd:Q28659876 ;
    wdt:P4215 "recursive set" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "199767532" ;
    wdt:P646 "/m/01x179" ;
    wdt:P7726 "RecursiveSet" .