@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:Q430001 rdfs:label "Decidibilitat"@ca,
        "Rozhodnutelnost"@cs,
        "Entscheidbarkeit"@de,
        "decidability"@en,
        "decidebleco"@eo,
        "decidibilidad"@es,
        "تصمیمپذیری(منطق)"@fa,
        "décidabilité"@fr,
        "כריעות"@he,
        "Desidablite"@ht,
        "decidibilità"@it,
        "決定可能性"@ja,
        "결정가능성"@ko,
        "avgjørbarhet"@nb,
        "rozstrzygalność"@pl,
        "decidibilidade"@pt,
        "decidibilidade"@pt-br,
        "Алгоритмическая разрешимость"@ru,
        "odločljivost"@sl,
        "Одлучивост"@sr,
        "Алгоритмічна розв'язність"@uk,
        "可決定性"@zh ;
    schema1:dateModified "2026-09-19T11:43:01+00:00"^^xsd:dateTime ;
    schema1:description "matematický pojem z oblasti matematické logiky"@cs,
        "property of theories that have computable membership"@en,
        "propiedad que tiene un sistema formal cuando se puede determinar que forma parte del sistema cualquiera de sus proposiciones"@es,
        "propriété des théories"@fr,
        "termine utilizzato in logica matematica e in teoria della computabilità"@it,
        "lastnost formalnih sistemov, ko za katero koli formulo v jeziku sistema obstaja učinkovita metoda za ugotavljanje, ali ta formula pripada nizu resnic sistema ali ne"@sl ;
    schema1:version 2547718923 ;
    wikibase:identifiers 14 ;
    wikibase:sitelinks 18 ;
    wikibase:statements 17 ;
    skos:altLabel "rozhodnutelnost"@cs,
        "decidable"@en,
        "decidibile"@it,
        "avgjørbar"@nb ;
    p:P10283 wds:Q430001-824A3C61-624E-438B-84C9-058E9FD5C3F3 ;
    p:P13591 wds:Q430001-D264FFA6-02F9-4F2F-970E-56FF54D1302D ;
    p:P1382 wds:Q430001-22d23e85-4740-2441-847f-8c78d60d7b63 ;
    p:P1417 wds:Q430001-6F05AF38-3BAD-436F-869E-7739EC1B00DF ;
    p:P2163 wds:Q430001-54affa14-4e3f-654b-5b83-3fe85cefa028 ;
    p:P244 wds:Q430001-182F426E-83A5-45CC-B81B-90C5B975D375 ;
    p:P268 wds:Q430001-bb14f823-4106-d81d-0445-5bf4a7221e61 ;
    p:P269 wds:Q430001-989f3d5d-4538-337b-03b7-2c05d280d293 ;
    p:P279 wds:Q430001-f4fac47b-4109-8f1d-977f-4265cdbca0a2 ;
    p:P2812 wds:Q430001-6DBCD085-EDCA-4A14-AF82-459A492A41AD ;
    p:P3285 wds:Q430001-4351F249-B9A2-4619-A83A-D7EC9D24004F ;
    p:P4215 wds:Q430001-8A46815D-862C-4E52-AA15-8F35AFC054E7 ;
    p:P6104 wds:Q430001-F69F8FE2-2035-4C70-8CE8-7D5CD73DD6F9 ;
    p:P6366 wds:Q430001-0FA33ECF-86EE-45F7-82E6-F5F3B69C3D9F ;
    p:P646 wds:Q430001-C19EA0CD-5091-447D-9EA0-F1F40B980082 ;
    p:P691 wds:Q430001-A2C444ED-72DF-4808-BA0B-699D431D00F6 ;
    p:P8189 wds:Q430001-B6582E33-8E89-42B0-A0F1-042A182559E4 ;
    wdtn:P2163 <http://id.worldcat.org/fast/888990> ;
    wdtn:P244 <http://id.loc.gov/authorities/names/sh85036191> ;
    wdtn:P268 <http://data.bnf.fr/ark:/12148/cb119818468#about> ;
    wdtn:P269 <http://www.idref.fr/027868664/id> ;
    wdtn:P3285 <http://msc2010.org/resources/MSC/2010/03B25> ;
    wdtn:P6366 <https://makg.org/entity/153269930> ;
    wdt:P10283 "C153269930" ;
    wdt:P13591 "concept/72f7f2cf-98d4-42f4-aeee-00216ecca31c" ;
    wdt:P1382 wd:Q877945 ;
    wdt:P1417 "topic/decidability" ;
    wdt:P2163 "888990" ;
    wdt:P244 "sh85036191" ;
    wdt:P268 "119818468" ;
    wdt:P269 "027868664" ;
    wdt:P279 wd:Q937228 ;
    wdt:P2812 "Decidable" ;
    wdt:P3285 "03B25" ;
    wdt:P4215 "decidability" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "153269930" ;
    wdt:P646 "/m/03p9h6" ;
    wdt:P691 "ph1231409" ;
    wdt:P8189 "987007545768505171" .