@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:Q875276 rdfs:label "مسألة استيفاء  منطقية"@ar,
        "Problema de satisfacibilitat booleana"@ca,
        "Problém splnitelnosti booleovské formule"@cs,
        "Erfüllbarkeitsproblem der Aussagenlogik"@de,
        "boolean satisfiability problem"@en,
        "Bulea plenumebloproblemo"@eo,
        "problema de satisfacibilidad booleana"@es,
        "مسئله صدقپذیری دودویی"@fa,
        "lauselogiikan toteutuvuusongelma"@fi,
        "problème SAT"@fr,
        "בעיית הספיקות"@he,
        "SAT-probléma"@hu,
        "persoalan keterpuasan boolean"@id,
        "soddisfacibilità booleana"@it,
        "充足可能性問題"@ja,
        "충족 가능성 문제"@ko,
        "SAT"@mul,
        "vervulbaarheidsprobleem"@nl,
        "problem spełnialności"@pl,
        "problema de satisfatibilidade booleana"@pt,
        "problema satisfiabilității booleene"@ro,
        "Задача выполнимости булевых формул"@ru,
        "SAT problem"@sh,
        "problem Boolove zadovoljivosti"@sl,
        "САТ проблем"@sr,
        "САТ проблем"@sr-ec,
        "SAT problem"@sr-el,
        "ปัญหาความสอดคล้องแบบบูล"@th,
        "задача здійсненності булевих формул"@uk,
        "布林可滿足度問題"@yue,
        "布尔可满足性问题"@zh,
        "布尔可满足性问题"@zh-hans,
        "布爾可滿足性問題"@zh-hant,
        "布爾可滿足性問題"@zh-hk,
        "布林可滿足性問題"@zh-tw ;
    schema1:dateModified "2026-10-27T15:37:06+00:00"^^xsd:dateTime ;
    schema1:description "problema per determinar si una fórmula booleana es podria fer certa"@ca,
        "problém"@cs,
        "Entscheidungsproblem der theoretischen Informatik"@de,
        "problem of determining if a Boolean formula could be made true"@en,
        "problème de décision, qui détermine si une formule Booléenne est vrai."@fr,
        "problema di determinare se una formula booleana è soddisfacibile"@it,
        "命題論理式を真にできるかどうかを判定する問題"@ja,
        "problema de a determina dacă o formulă booleană poate fi îndeplinită"@ro,
        "проблема визначення того, чи можна зробити булеву формулу істинною"@uk ;
    schema1:version 2561459942 ;
    wikibase:identifiers 5 ;
    wikibase:sitelinks 27 ;
    wikibase:statements 17 ;
    skos:altLabel "قابلية الإرضاء"@ar,
        "SAT"@cs,
        "SATISFIABILITY"@cs,
        "Erfüllbarkeitsproblem"@de,
        "SAT-Problem"@de,
        "SAT-Solver"@de,
        "Satisfiability"@de,
        "SAT"@en,
        "SATISFIABILITY"@en,
        "propositional satisfiability problem"@en,
        "Bulea problemo pri kontentigebleco"@eo,
        "Problema de satisfabilidad"@es,
        "Problema de satisfabilidad booleana"@es,
        "مسئله صدق پذیری دودویی"@fa,
        "مسئلهٔ صدق پذیری دودویی"@fa,
        "SAT-ongelma"@fi,
        "SAT"@fr,
        "Sat4j"@fr,
        "probleme SAT"@fr,
        "בעיית SAT"@he,
        "בעיית הספיקות בתחשיב הפסוקים"@he,
        "kielégíthetőségi probléma"@hu,
        "SAT"@it,
        "boolean satisfiability problem"@it,
        "problema di soddisfacibilità booleana"@it,
        "充足可能性"@ja,
        "충족 가능성문제"@ko,
        "충족가능성 문제"@ko,
        "충족가능성문제"@ko,
        "Problem sat"@pl,
        "Problem spełnialności formuł logicznych"@pl,
        "Celinho"@pt,
        "Problema de satisfatibilidade booleano"@pt,
        "Problema satisfatibilidade booleana"@pt,
        "SAT"@ro,
        "SATISFIABILITY"@ro,
        "Выполнимость"@ru,
        "Задача SAT"@ru,
        "Задача ВЫП"@ru,
        "Буловски проблем задовољивости"@sr,
        "Проблем буловске задовољивости"@sr,
        "Проблем задовољивости"@sr,
        "Сат проблем"@sr,
        "Сат-проблем"@sr,
        "SAT проблема"@uk,
        "задача здійснимості булевих формул"@uk,
        "задача здійснимості бульових формул"@uk,
        "布林可滿足性問題"@zh,
        "布爾可滿足性問題"@zh ;
    p:P10283 wds:Q875276-1B5D7DF6-D6CA-475E-B0B3-D9418F004263 ;
    p:P10374 wds:Q875276-D6ED021E-F242-4D6A-87DB-B06D7E410EE2 ;
    p:P1417 wds:Q875276-C3FA707D-F21E-4358-8A3C-E91F7F65B79D ;
    p:P1482 wds:Q875276-38CEB2A9-AD34-4AF4-8DF5-9B4F7EFB9C8D,
        wds:Q875276-396bb35b-4247-e87e-7b37-4485dfbd80a6,
        wds:Q875276-d68118fb-4cc2-c3fa-5a23-3f1b0dc94609 ;
    p:P279 wds:Q875276-a76f923d-447c-93a2-d97e-c1b07628369a ;
    p:P2812 wds:Q875276-D4FAF7E7-4FC7-484A-8498-D88A54FDE19F ;
    p:P31 wds:Q875276-1e97d3d4-4e65-6a8e-9177-0bde9e2fc991,
        wds:Q875276-6df9f090-43b9-8fb5-ad46-470ed03d3ac9,
        wds:Q875276-e11adc67-4a53-5353-6e6e-8d224a3f3f3f ;
    p:P361 wds:Q875276-f1a4fb3d-48ad-f09e-1127-0fd268ae3155 ;
    p:P373 wds:Q875276-CD4D5F75-1B2E-4E3E-83E4-3B85FFD34796 ;
    p:P6104 wds:Q875276-E10759F4-B4A8-4143-AA14-DD0B5A39A5A8 ;
    p:P6366 wds:Q875276-4A29BC34-265B-4EA0-9682-92B00DD3E5AC ;
    p:P646 wds:Q875276-F0DB025D-5551-48B6-A946-421D1726AF18 ;
    p:P910 wds:Q875276-9013D07B-F760-4CD8-8A1F-FEBAE8D904AE ;
    wdtn:P6366 <https://makg.org/entity/6943359> ;
    wdt:P10283 "C6943359" ;
    wdt:P10374 wd:Q215206 ;
    wdt:P1417 "topic/satisfiability-problem" ;
    wdt:P1482 <https://cstheory.stackexchange.com/tags/sat>,
        <https://or.stackexchange.com/tags/sat>,
        <https://stackoverflow.com/tags/satisfiability> ;
    wdt:P279 wd:Q3262192 ;
    wdt:P2812 "SatisfiabilityProblem" ;
    wdt:P31 wd:Q1128326,
        wd:Q1350299,
        wd:Q3262192 ;
    wdt:P361 wd:Q1734364 ;
    wdt:P373 "Boolean satisfiability problem" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "6943359" ;
    wdt:P646 "/m/01hmj" ;
    wdt:P910 wd:Q8705332 .