{"entities":{"Q2818008":{"pageid":2828746,"ns":120,"title":"Item:Q2818008","lastrevid":79746320,"modified":"2026-05-06T14:37:09Z","type":"item","id":"Q2818008","labels":{"en":{"language":"en","value":"On the hardness of SAT with community structure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623510"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$D24315B1-86F8-432B-B642-52C539D31F6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"011993b54a9d41cf49a325fb3dc0593a8f3b9ffb","datavalue":{"value":{"text":"On the Hardness of SAT with Community Structure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818008$774E17E7-8777-4D2A-9BEA-4DD94E4AE7F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"411fe6fbf2cdb5f11c3a856206ae1c9f0734fd1f","datavalue":{"value":"1475.68353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818008$94BB6000-D5FD-4E78-BA55-D95E650EB316","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c08911b9a2f08d10d972616efedf254f10e27cd4","datavalue":{"value":"10.1007/978-3-319-40970-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818008$7E50C833-0C53-4369-AB81-994B57D846CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"985eba0599e0bb69740be994bda10ababf630fbb","datavalue":{"value":{"entity-type":"item","numeric-id":2661343,"id":"Q2661343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$E913432B-6807-40A9-833A-332EEDE0F106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9d8d30fb778cc34a1d2a441e914799538b4560c","datavalue":{"value":{"entity-type":"item","numeric-id":2818007,"id":"Q2818007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$F35792D0-87F1-48E2-BE1D-CDE45582332D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f249f40c4f258debe6dc3dacc160f2e23026fd","datavalue":{"value":{"entity-type":"item","numeric-id":557794,"id":"Q557794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$7790AF05-FF2B-49D1-87F2-35B5923437A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$485012D1-3918-4000-88C1-8F01F1C76C6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2818008$BEE58CC1-843B-49DB-95D0-4E7E7797429D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0553778f61740c0a0d25236171447f9fa49dbe23","datavalue":{"value":"https://arxiv.org/abs/1602.08620","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818008$E0FE67CC-48DC-4B8D-9E40-A4A708BAC937","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818008$0538DDE2-C00F-45B6-84D7-529CB6B42B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818008$33B81A01-8D72-490E-AEF5-F59FA64266CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a09f8079821cd77dba55dadbbb8f30ad82fd459","datavalue":{"value":"6623510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818008$11E78CBC-5CFE-4D36-9CC2-8F095A64C32A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$F94093D5-65AD-4AE9-9E99-F163B29ADF8B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$97DEA47A-DBE2-4997-80FB-905D0380D36E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"158b575a56b7562131d7dd4bf36080e01ced0956","datavalue":{"value":"W2290534980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818008$6FDA6A1E-3042-4C2D-9DCB-4CDA3A660B90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$0A3162DA-FE04-459C-ADF8-9F60DEEFEB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a856eabfd48ba25e148be4fb9c4387f0a4d3d7b8","datavalue":{"value":{"entity-type":"item","numeric-id":1040783,"id":"Q1040783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$22B019F5-255D-49CD-8D12-D44C8A63BE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a339e90c78a672c77630a69601c05cdcb6aec006","datavalue":{"value":{"entity-type":"item","numeric-id":4704799,"id":"Q4704799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$F815C379-8375-43F9-B1C6-321B45EBFF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489ae184126b14496f8db90426e5f33c6171fc6b","datavalue":{"value":{"entity-type":"item","numeric-id":4547718,"id":"Q4547718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$CFF0DD1B-FB83-4DF5-BC77-FAF780BE9EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4967f109372099be77d5d3444f35cb57a000bc5","datavalue":{"value":{"entity-type":"item","numeric-id":2843344,"id":"Q2843344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$E736AF4E-9D5A-48CB-9F30-0129D791CF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83cd2b9d3b5bbd3273c11ee0a55188ac24de6e58","datavalue":{"value":{"entity-type":"item","numeric-id":3192075,"id":"Q3192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$8F365DC6-4482-4174-8BD8-6B7BFF347D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"495dffe212f42b9dc3cdff887482dd5002566e86","datavalue":{"value":{"entity-type":"item","numeric-id":309919,"id":"Q309919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$2A1874C0-67EE-4B57-B280-FE85724BE559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36667c9a07436a8a031a83a7f5fcdef059575241","datavalue":{"value":{"entity-type":"item","numeric-id":3453228,"id":"Q3453228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$715CD156-088F-4D41-BB21-3647DC7590F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$64658C86-7E32-4F55-A3A9-BA081C531A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$2057C2BF-4CE3-414B-85A0-8C79A6CF2C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcb0e71d083cf8486de0b4db45626afe5608e21","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$F0489284-AA9D-4903-82D8-3E05ADC1666B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$ED21EBAD-777C-414A-BF60-4C6A713411C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37b9cc5b91f2a9fd073866161bb2d9d9a6c739f","datavalue":{"value":{"entity-type":"item","numeric-id":2818008,"id":"Q2818008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818008$23C0B8BE-E074-4682-9EC7-5BF85542CD95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066fb6ab6071bef73c5e443ef7e2422ca788b212","datavalue":{"value":{"entity-type":"item","numeric-id":5235475,"id":"Q5235475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74a7424711c83db3cb6598bf8f746ec2bc1688b","datavalue":{"value":{"amount":"+0.8870862126350403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818008$AE829629-77A9-42B5-BE61-3A21D2714355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395b22117f7460ff6106cd16ea9221d387d6f706","datavalue":{"value":{"entity-type":"item","numeric-id":2843344,"id":"Q2843344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8bccfea0bdf9f5ab84d3ec05b124aae4d586cf2","datavalue":{"value":{"amount":"+0.8819646835327148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818008$6567CF8A-0925-440C-A5FE-92A7B074EAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a8778ee37d6f68e3f6cf5cb488562759d7a0915","datavalue":{"value":{"entity-type":"item","numeric-id":3192075,"id":"Q3192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4f48fbe73c9218d3f87facaef469d6700885f0","datavalue":{"value":{"amount":"+0.8807595372200012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818008$655346CF-3A8A-4EF6-A928-2DFBDD409647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1167df140d6bd517cac1ec26194d438c8e8f9985","datavalue":{"value":{"entity-type":"item","numeric-id":309919,"id":"Q309919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311d83ea7159e76d72e89abe06031d304b8c498a","datavalue":{"value":{"amount":"+0.838056206703186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818008$2C6CDB38-A135-4246-822F-C082128735C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f68331f82facc91472445f48f9dd98d60de61d","datavalue":{"value":{"entity-type":"item","numeric-id":1680243,"id":"Q1680243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e9fe6c05db4c34880be31eef9e7b42a0b369da","datavalue":{"value":{"amount":"+0.8275870084762573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818008$00FC3DFE-A35D-4971-99B6-1C519583F8D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the hardness of SAT with community structure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_hardness_of_SAT_with_community_structure"}}}}}