{"id":"Q875276","label":"boolean satisfiability problem","description":"problem of determining if a Boolean formula could be made true","aliases":["propositional satisfiability problem","SATISFIABILITY","SAT"],"kind":"thing","url":"https://aidb.si/e/boolean-satisfiability-problem-Q875276","image":null,"coordinates":null,"wikipedia":"https://en.wikipedia.org/wiki/Boolean_satisfiability_problem","wikidata":"https://www.wikidata.org/wiki/Q875276","website":null,"facts":[{"property":"P31","label":"Instance of","values":[{"type":"entity","id":"Q1350299","label":"satisfiability","url":"https://aidb.si/e/satisfiability-Q1350299","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q3262192","label":"decision problem","url":"https://aidb.si/e/decision-problem-Q3262192","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q1128326","label":"constraint satisfaction problem","url":"https://aidb.si/e/constraint-satisfaction-problem-Q1128326","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P361","label":"Part of","values":[{"type":"entity","id":"Q1734364","label":"Karp's 21 NP-complete problems","url":"https://aidb.si/e/karp-s-21-np-complete-problems-Q1734364","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P10374","label":"Computational complexity","values":[{"type":"entity","id":"Q215206","label":"NP-complete","url":"https://aidb.si/e/np-complete-Q215206","rank":"normal","qualifiers":{},"sources":[{"statedIn":{"id":"Q110971675","label":"Reducibility among combinatorial problems"}}]}]},{"property":"P279","label":"Subclass of","values":[{"type":"entity","id":"Q3262192","label":"decision problem","url":"https://aidb.si/e/decision-problem-Q3262192","rank":"normal","qualifiers":{},"sources":[]}]}],"series":[],"identifiers":[{"pid":"P1417","label":"Encyclopædia Britannica Online ID","value":"topic/satisfiability-problem","url":"https://www.britannica.com/topic/satisfiability-problem"},{"pid":"P646","label":"Freebase ID","value":"/m/01hmj","url":"https://www.google.com/search?kgmid=/m/01hmj"},{"pid":"P2812","label":"MathWorld ID","value":"SatisfiabilityProblem","url":"https://mathworld.wolfram.com/SatisfiabilityProblem.html"},{"pid":"P6366","label":"Microsoft Academic ID (discontinued)","value":"6943359","url":"https://web.archive.org/web/https://academic.microsoft.com/v2/detail/6943359"},{"pid":"P10283","label":"OpenAlex ID","value":"C6943359","url":"https://openalex.org/C6943359"}],"license":{"name":"CC0 1.0","url":"https://creativecommons.org/publicdomain/zero/1.0/"},"source":"Wikidata, via AIDB","modified":"2026-03-14T16:15:08Z"}