{"entities":{"Q7272292":{"pageid":31071413,"ns":120,"title":"Item:Q7272292","lastrevid":104428576,"modified":"2026-07-10T19:39:26Z","type":"item","id":"Q7272292","labels":{"en":{"language":"en","value":"boolean satisfiability problem"},"de":{"language":"de","value":"Erf\u00fcllbarkeitsproblem der Aussagenlogik"},"mul":{"language":"mul","value":"SAT"}},"descriptions":{"en":{"language":"en","value":"problem of determining if a Boolean formula could be made true"},"de":{"language":"de","value":"Entscheidungsproblem der theoretischen Informatik"}},"aliases":{"de":[{"language":"de","value":"Satisfiability"},{"language":"de","value":"SAT-Problem"},{"language":"de","value":"Erf\u00fcllbarkeitsproblem"},{"language":"de","value":"SAT-Solver"}],"en":[{"language":"en","value":"propositional satisfiability problem"},{"language":"en","value":"SATISFIABILITY"},{"language":"en","value":"SAT"}]},"claims":{"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"144d59042eed17d28c00b81fb6174c7d6560e91a","datavalue":{"value":"/m/01hmj","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7272292$4528BC3B-7539-4563-8D3F-38D9FBF0D0CC","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P357":[{"mainsnak":{"snaktype":"value","property":"P357","hash":"80be00bf38bc8623efe4a1900784a303daa00e49","datavalue":{"value":"https://stackoverflow.com/tags/satisfiability","type":"string"},"datatype":"url"},"type":"statement","id":"Q7272292$3A868E6A-AD09-4079-B266-B78D419DBDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P357","hash":"beea3dc6e4fe48f0316049ba18b6c1bed41a35ea","datavalue":{"value":"https://or.stackexchange.com/tags/sat","type":"string"},"datatype":"url"},"type":"statement","id":"Q7272292$E112BAC2-D48D-410D-9921-E1E1A9E4DB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P357","hash":"379b2bd2b73d90343556660e3b010fbf05b85f6c","datavalue":{"value":"https://cstheory.stackexchange.com/tags/sat","type":"string"},"datatype":"url"},"type":"statement","id":"Q7272292$E3E87E62-40C4-467D-A5ED-597A2BC6594B","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"f86844a1bd018527d03ead27fd85ab42d5e36b72","datavalue":{"value":{"entity-type":"item","numeric-id":7272286,"id":"Q7272286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7272292$32D1875B-2608-40DB-8620-1F8A4D969A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P31","hash":"e2f04b3631b296fcd3b73187a6166ff75b6ff0c9","datavalue":{"value":{"entity-type":"item","numeric-id":7272287,"id":"Q7272287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7272292$2413C966-0D36-411C-A415-38C093A01FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P31","hash":"e45ed94bdbd3596aba8a9697c5540bb622ae4dab","datavalue":{"value":{"entity-type":"item","numeric-id":7272288,"id":"Q7272288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7272292$F4CF4F3C-68AB-4CC2-BA48-8337835F02E0","rank":"normal"}],"P236":[{"mainsnak":{"snaktype":"value","property":"P236","hash":"f5330ca3d3543a59ed540525dce00209e4a5dd26","datavalue":{"value":{"entity-type":"item","numeric-id":7272289,"id":"Q7272289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7272292$540F998A-4C42-4E2F-BE8E-58E9DE02D1D7","rank":"normal","references":[{"hash":"a5ae5333d4f2a6aa0639b37cad58d3ca53755c80","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"64c963f9d49e340c06fc5161106e071fcd958acd","datavalue":{"value":{"entity-type":"item","numeric-id":56457,"id":"Q56457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P234":[{"mainsnak":{"snaktype":"value","property":"P234","hash":"29afcb6f8a903d6d58a16b79dc983a6ca2428208","datavalue":{"value":"Boolean satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q7272292$1BD0F0C3-C6B6-4020-A0EF-437E711698A2","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"59eca6acd8c8e746d23f070459a66c1d83838aaa","datavalue":{"value":{"entity-type":"item","numeric-id":7272290,"id":"Q7272290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7272292$3683ADB7-B1B2-495E-8052-DA39107302B9","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"c0129877485980eaa1507ec1c069194fade295c0","datavalue":{"value":"6943359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7272292$073B96C7-0D63-4018-9ADB-AD44429DECB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb0c68a4cb0e5ebb1c4ad20959ab30a491887354","datavalue":{"value":"C6943359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7272292$6B91DD94-34B0-4F24-8061-7EF5D9634869","rank":"normal","references":[{"hash":"b61840b5e4c07320c0aa508d1e9d37d18264ae22","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"d98ff3d8cd81c87263e3f0008a1ae470fbcf55ae","datavalue":{"value":{"entity-type":"item","numeric-id":56612,"id":"Q56612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P69":[{"snaktype":"value","property":"P69","hash":"a8b2a7e9de45fd3832b36f489407e826769f65b6","datavalue":{"value":{"time":"+2022-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}],"P56":[{"snaktype":"value","property":"P56","hash":"f7cf0fc8f94cea909ab2fa761ee0f84fb1ca5b1a","datavalue":{"value":"https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}]},"snaks-order":["P98","P69","P56"]}]}],"P1598":[{"mainsnak":{"snaktype":"value","property":"P1598","hash":"55478bf76c308a3ed8cb5056fcde0f2106259dce","datavalue":{"value":{"entity-type":"item","numeric-id":6482084,"id":"Q6482084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7272292$02E5A9AE-36D1-4A8D-85C6-D608456954B2","rank":"normal","references":[{"hash":"9a097995360f6609ff2e785cee404760eb74d872","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"236eae57e9736fa6ac85b63399ef6e6e605f4531","datavalue":{"value":{"entity-type":"item","numeric-id":7272291,"id":"Q7272291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P16":[{"snaktype":"value","property":"P16","hash":"d7f03cf6abbdf2fe79063aacbf005af333537b97","datavalue":{"value":{"entity-type":"item","numeric-id":619905,"id":"Q619905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P16","P28"]}]}],"P276":[{"mainsnak":{"snaktype":"value","property":"P276","hash":"9632b1277d2f250257aff3df27a57e43d44a3af7","datavalue":{"value":"topic/satisfiability-problem","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"ec4529328826df8ac87cedbe9abdd6d9f105eed8","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q7272292$60A252F9-E12A-4104-A40A-0203778EE56C","rank":"normal"}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"906b9af20cf910b2bc1326984d243c5bf5996979","datavalue":{"value":"SatisfiabilityProblem","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"47719e1bb406605506a5862dbd6cdd6885d8e7d8","datavalue":{"value":"Satisfiability Problem","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q7272292$CF1ACACB-F479-4ED1-8B6A-6C299A80CF4A","rank":"normal"}],"P36":[{"mainsnak":{"snaktype":"value","property":"P36","hash":"679b094575aa154681b3943fbecf01addf64c3b0","datavalue":{"value":{"entity-type":"item","numeric-id":7272287,"id":"Q7272287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7272292$A4D33C98-EC8B-44FC-BBDB-AFD5F664EFB3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6b686e47e9ceb5f4f2bfda1a920ede335eb40cd1","datavalue":{"value":"Q875276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7272292$D9893F40-EF30-445D-BAA1-B293B5F937E9","rank":"normal"}],"P1994":[{"mainsnak":{"snaktype":"value","property":"P1994","hash":"40b1acface545ed2c2761957690640b9761b43e8","datavalue":{"value":"propositional satisfiability problem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7272292$B16D9B92-F7F7-40EF-8553-2C87CCC557E8","rank":"normal"}]},"sitelinks":{}}}}