boolean satisfiability problem

<http://www.wikidata.org/entity/Q875276>

problem of determining if a Boolean formula could be made true

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

Download as:

Turtle JSON-LD RDF/XML

data from SPARQL profile: Wikidata