{"entities":{"Q2577590":{"pageid":2588333,"ns":120,"title":"Item:Q2577590","lastrevid":48622534,"modified":"2026-01-05T10:21:29Z","type":"item","id":"Q2577590","labels":{"en":{"language":"en","value":"An upper bound \\(O(2^{0.16254n})\\) for exact 3-satisfiability: a simpler proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2242959"}},"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":"Q2577590$DA7C085C-7DE9-4EFC-B6C6-BCFDE356EF63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d3df0d7e324aa0e6ccdf685b4659ff169c38887","datavalue":{"value":{"text":"An upper bound \\(O(2^{0.16254n})\\) for exact 3-satisfiability: a simpler proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2577590$0ADFC320-2876-43F2-8918-C6A432513B70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5809ae07c4d0ea272557604309b1800ad6eed41","datavalue":{"value":"1101.68609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577590$CD2A8E13-FC80-44C8-AECD-54A7D7CCB090","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"063157bf65bc20e92e5fe70d62bf6e86c4c12861","datavalue":{"value":{"entity-type":"item","numeric-id":1625134,"id":"Q1625134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577590$4CBD765D-C0BE-4436-810C-782B2DBAF2CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577590$630CB117-7A2B-47F6-B304-26DE14643C42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc512bbd2b51b2ca56145a51da262a5a96efe06b","datavalue":{"value":{"time":"+2006-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2577590$C28A4B8F-5145-4DF7-8275-211E815D50E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577590$153531E7-5590-406C-A999-4F72E079D046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577590$D866A8A0-24C8-4DC0-B9AC-454B2931209A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a888c26c2c83fdd6d768e807611e8a29f622e6cc","datavalue":{"value":"2242959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577590$90B4A6BA-5156-41A7-AFDA-C4C2F8E021A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c1d297d696ae265c1a95c05ee0c1c30a286f1a","datavalue":{"value":"X3SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577590$81C79872-7EFC-4966-B30B-2F2CAF75D04D","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":"Q2577590$A9C501DC-5E9C-4F48-AE7B-B473DF921A81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f36de1a1129684bb392e8f96dd3c56ad8a9a05b8","datavalue":{"value":"https://doi.org/10.1007/s10958-005-0096-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2577590$A4105E25-1F80-447B-AB1A-3CCCC1ECBDB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3a17d2d9e00c371589107d7242f236520a79c8a","datavalue":{"value":"W1971464806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577590$D022C183-13C7-49B0-B15C-FAB6136C625E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1c16314d571ac552ffc4dba48f547b3438465b","datavalue":{"value":{"entity-type":"item","numeric-id":4747916,"id":"Q4747916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577590$8BF7DD20-FCF2-453E-B3F0-CE71AEF0E7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577590$DF16EE09-CF12-4F39-B9AD-D9CDCA5835F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cad636cff992ed0358032983132d594c833d97e1","datavalue":{"value":"10.1007/S10958-005-0096-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577590$63CFD9B7-7258-44B0-936B-9E5DD4A4F901","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9986e02c5aab6f5268df740b8a4e3c1aa1577d5","datavalue":{"value":{"entity-type":"item","numeric-id":1777401,"id":"Q1777401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3dba7e17d9ee427dad747d5a23f8c4af2f4afc","datavalue":{"value":{"amount":"+0.8940811157226562","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":"Q2577590$F34161C8-54C0-4F78-8F95-815255D0D25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69c1864d8d72ba106a26af3be9f669bbb1df736","datavalue":{"value":{"entity-type":"item","numeric-id":1770407,"id":"Q1770407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9259c0ae97b86d88b833081760052d3f0b16c1b","datavalue":{"value":{"amount":"+0.8684669733047485","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":"Q2577590$E8361A64-8F75-40F7-A067-A2706EBDA23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10d3afb1955d15139cbb29aeaee1ac969582928","datavalue":{"value":{"entity-type":"item","numeric-id":2897996,"id":"Q2897996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b2be596c8dd431fea09f580d926bcf4ba7d10c","datavalue":{"value":{"amount":"+0.8632862567901611","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":"Q2577590$68BF09CF-6DFD-47BF-B258-5422A77CC5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfd952c4dbff9b05b5d1bf0775fbbbcf8fb8946","datavalue":{"value":{"entity-type":"item","numeric-id":1946835,"id":"Q1946835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e01d706eed59c1a94bc32422b711979dd7da2e7b","datavalue":{"value":{"amount":"+0.8271105289459229","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":"Q2577590$D6F1E899-2990-4F1C-946F-1EB7530F853D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68dd49e8d790217f4c6e141204af1920c329f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4283247,"id":"Q4283247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d7b144fcb6f5f153749d18527de35613f308b6","datavalue":{"value":{"amount":"+0.8161219954490662","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":"Q2577590$8DF6CC93-9A80-4566-BB84-31CFBFC53E2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2577590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2577590"}}}}}