{"entities":{"Q3576756":{"pageid":5606660,"ns":120,"title":"Item:Q3576756","lastrevid":51049304,"modified":"2026-01-16T09:40:07Z","type":"item","id":"Q3576756","labels":{"en":{"language":"en","value":"Why almost all satisfiable k-CNF formulas are easy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5763310"}},"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":"Q3576756$A38834B7-15D3-4105-B6C7-F862C602C4ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6362d7cf62c8db31615969b290a9c4dfbad29d2","datavalue":{"value":"1192.68949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576756$1FE04C81-EB61-4AA3-928C-B371BA980162","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c73b4338f28d8186cf67aa732b3494abc3a0889e","datavalue":{"value":{"entity-type":"item","numeric-id":248239,"id":"Q248239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576756$44B21488-2017-481F-A326-3FAE8F6DFF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1cf400bc99a406c4d5dfcfdd4d04f10c4dc1f7f","datavalue":{"value":{"entity-type":"item","numeric-id":178700,"id":"Q178700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576756$130FAE95-FDED-4560-A4DE-8B065C7DC548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06c2bb062e1c2d6c7d8effed64a3cc8e206996f8","datavalue":{"value":{"entity-type":"item","numeric-id":248242,"id":"Q248242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576756$07880493-EA2F-4E42-8207-25D565B4E777","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a12b1204434634c84ed4975ad4b3efa234c2d2c","datavalue":{"value":{"time":"+2010-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3576756$C7244A54-C6AA-49E9-92B2-5FA2935D49E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08116634add43e68c1ce8a6aeaadd4d2a586d0fb","datavalue":{"value":"https://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAH0107/0.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3576756$BE0B437F-ADAC-4C08-A34A-B6A65A0058E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576756$B02462B1-4841-4DC3-A5D5-1BE1A379B225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"34a168fb3a5d9a7cf8cac2cdc24ae08d3f435434","datavalue":{"value":"65Y99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576756$B5C67188-76D6-4D5D-8C2E-9361143A3B9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7431de6bc707d6f2168fa6b0092ee7ef6b7c506a","datavalue":{"value":"5763310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576756$243156D6-1BA6-4ACF-8A94-84467DD110D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9cf16907441c595935c5f9f06ba100bfb7bcc42","datavalue":{"value":"computational and structural complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576756$8CB6449A-AC22-4150-ACEE-55F123219430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc9ba1d80a4775798df27c3ab61322b194e44df3","datavalue":{"value":"algorithms and data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576756$08060FBA-8274-4DC0-910C-F80A648D46A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f57b751dd9462639446fe5af4d77ffdaa7550a","datavalue":{"value":"message passing algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576756$22F41C44-7452-4152-8DF3-9A48FE4EF5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576756$CA87C1DE-27D6-48FA-89D6-9D12D54914FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576756$053B24DA-08AA-4A30-BF7E-0D6050766AEA","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":"Q3576756$6BBE1281-7B84-4445-9360-1B20A645BEE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8641eb3e09ce071d6328c417c6e28b5a069b805","datavalue":{"value":{"entity-type":"item","numeric-id":3552504,"id":"Q3552504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e99850a3104b8404454fbee71310bcf2b7797e9","datavalue":{"value":{"amount":"+0.8852053284645081","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":"Q3576756$6D2E2D12-9C3F-49B7-8E43-F8462ECA61B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4da15a7f718b0791317b37016a732e4a6ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":3638042,"id":"Q3638042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76251812d6f283bd77ecc7005845b0815b7bda7","datavalue":{"value":{"amount":"+0.8613259196281433","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":"Q3576756$5903BE89-EFD5-44E3-9B80-368E9A96100F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61cec5288a7a925d54126c3b778691d8b2e30526","datavalue":{"value":{"entity-type":"item","numeric-id":3546329,"id":"Q3546329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0192a371e30e55eb3dc20e3b6bacbcbaa7a575e4","datavalue":{"value":{"amount":"+0.8577262163162231","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":"Q3576756$08DFE6F3-E644-48E6-914E-01747632909C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873428e5aa7859779d79a6d2386cb091088772a6","datavalue":{"value":{"entity-type":"item","numeric-id":5390578,"id":"Q5390578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9668c2689834906c256e14662594ec5bb5e1bde","datavalue":{"value":{"amount":"+0.8573331832885742","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":"Q3576756$22B47BA2-0446-49DE-8535-CBAD2DBFCD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb18ccb651ab15f57db6102f0140b9aa69ada9c7","datavalue":{"value":{"entity-type":"item","numeric-id":4739606,"id":"Q4739606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0a6d68d1ef4a412f00f06381ceb3129c93a2a4","datavalue":{"value":{"amount":"+0.8498222827911377","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":"Q3576756$C034DEF9-3050-4A7D-AC8A-245B71BB3E5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3576756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3576756"}}}}}