{"entities":{"Q5756576":{"pageid":7786127,"ns":120,"title":"Item:Q5756576","lastrevid":50157716,"modified":"2026-01-13T07:24:42Z","type":"item","id":"Q5756576","labels":{"en":{"language":"en","value":"MAX-SAT for Formulas with Constant Clause Density Can Be Solved Faster Than in $\\mathcal{O}(2^n)$ Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187235"}},"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":"Q5756576$32AC752B-01EB-440A-842A-778A766E440B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f811ccad491ef0216ca8fe0cae68672d24918a0","datavalue":{"value":{"text":"MAX-SAT for Formulas with Constant Clause Density Can Be Solved Faster Than in $\\mathcal{O}(2^n)$ Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756576$F5833E9C-FCD0-4145-A1A0-94AE2B500F25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cef1e7268bb18810e8a102411227b9ddaf2b053","datavalue":{"value":"1187.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756576$2EF13825-4412-4EB8-ACA5-E2BC3D1799B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0446bc57189d96066342544e2341b98a581dee1","datavalue":{"value":"10.1007/11814948_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756576$0DAF86CE-4EFF-4F7A-9432-263FBEAD4DB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1c49a03637267c4c409651b9049b6f014ea6ca","datavalue":{"value":{"entity-type":"item","numeric-id":234708,"id":"Q234708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756576$F0A43DB8-4CBF-4CDF-ADF9-63F7B17BC1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7649139491eb61f49fb33ab9e9af5fa921190939","datavalue":{"value":{"entity-type":"item","numeric-id":1791021,"id":"Q1791021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756576$73A48790-65EB-4061-9C28-48419636A983","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756576$ABA5A610-2A1C-4606-8A8C-3AE218802DA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756576$70EBC514-AD38-4CF3-9FB4-83ACD0382036","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756576$A82EA8B4-361A-4983-BE06-A4A00E159B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756576$F77AEAC1-2964-4AF1-90EC-C65CBD1B8CF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bff07dd79cce47f2a56ffae03c5809ba5cd5c4cf","datavalue":{"value":"5187235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756576$AF6A4ECF-497F-4346-9B97-286A0D98D8BE","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":"Q5756576$41B35F90-4CDA-4CB8-8DCD-D2EF8A6B0A97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70210964baab3808ae9240260d4cc10bc218202c","datavalue":{"value":"https://doi.org/10.1007/11814948_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756576$A22B8BE8-B6DD-42BE-8B30-212673BE3F81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e2b86ba84c6672fc40e11c4305406cc89aa16cf","datavalue":{"value":"W2158953726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756576$36791873-C7A0-47D2-A309-34A95BAB9967","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cb7fed5dc8e819720448a70301ce5b7029eea","datavalue":{"value":{"entity-type":"item","numeric-id":3499776,"id":"Q3499776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b53ab64f00635e7eebed78d7cb1dc82458f0b8","datavalue":{"value":{"amount":"+0.8739838004112244","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":"Q5756576$85E3CB86-BF71-4C96-BD75-AD80258C3C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b64cef7661e45ef48301978e45203d85ab3409","datavalue":{"value":{"entity-type":"item","numeric-id":4916231,"id":"Q4916231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77631074e320799fe409ddf27e08be052809430b","datavalue":{"value":{"amount":"+0.8540587425231934","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":"Q5756576$6E1F42CD-2FA6-4EC4-8C36-7165EBED3DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f954ba7254e6add514d62ba2c058b2bcb5ee61","datavalue":{"value":{"entity-type":"item","numeric-id":4511230,"id":"Q4511230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98b497cc2a16610bda4ccc739f33018766d980d","datavalue":{"value":{"amount":"+0.8511995673179626","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":"Q5756576$E0A7FB82-FB75-4AB0-978A-65CC5871275D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d117cc0e5847f3353c25b42295fbb040d2cd09b","datavalue":{"value":{"entity-type":"item","numeric-id":4938646,"id":"Q4938646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b053e7bcf3cde0e7ef2bec2f71904d9f97f07d","datavalue":{"value":{"amount":"+0.8507647514343262","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":"Q5756576$F8AF4A8E-707D-4A54-9097-39281080FAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0767d26e1663ec6f18db65cbdbe3bbf3ccf4ffcc","datavalue":{"value":{"entity-type":"item","numeric-id":5363763,"id":"Q5363763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a857c249bcd7254581f8b4fb81fb91cdccc92c3e","datavalue":{"value":{"amount":"+0.8507030606269836","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":"Q5756576$1FEB2D4F-4073-45F1-BD69-D9F0F17DAE38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756576"}}}}}