{"entities":{"Q3007678":{"pageid":3018402,"ns":120,"title":"Item:Q3007678","lastrevid":80157383,"modified":"2026-05-06T15:34:03Z","type":"item","id":"Q3007678","labels":{"en":{"language":"en","value":"Enumerating all solutions of a Boolean CSP by non-decreasing weight"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908741"}},"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":"Q3007678$B6301ED6-54CA-4F6E-87DE-620A9E029341","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f2ca4936c72ba2c249284e571ca6ca818faaa8e","datavalue":{"value":{"text":"Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007678$73588ABC-50E4-4D57-8930-F102D8E7D9AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4b6099c6967c3e18ff21fcbbd08e2227a16c255","datavalue":{"value":"1330.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007678$2D305139-8D6A-4C31-B4C4-1192D00819B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"541df66d69d87fcb609a3acc8c0d0b52b5b83b49","datavalue":{"value":"10.1007/978-3-642-21581-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007678$EED0821A-1678-40C0-9DF9-516F60AC41F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b2501ec31141075b0e4a606774080e8f4837bb7","datavalue":{"value":{"entity-type":"item","numeric-id":293436,"id":"Q293436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$D61C4414-3352-45B8-9078-0094B199EB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63a596d7db2a46a63ffd3ffbdffdc2d338d8beb","datavalue":{"value":{"entity-type":"item","numeric-id":295630,"id":"Q295630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$E552CE6F-C92A-4AA9-9089-89511F77E730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8313893cfd24fe1acb9a2aa463ce945b8591507e","datavalue":{"value":{"entity-type":"item","numeric-id":2177588,"id":"Q2177588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$42DC2B63-045E-4F4E-832E-94557DA125CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$AACD2FF7-0822-4FB3-8F16-C06342CBCC4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007678$40F2D63C-17AE-414F-B801-7623AF5FEF95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007678$E8021FC9-F141-47AF-B2A8-070B030A3F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007678$EFE797EE-856C-49DA-A987-BFC312734FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007678$09714704-46F9-47CA-B87E-406281630481","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b86c3ee57877594ae96307e88c9c519f32e5c775","datavalue":{"value":"5908741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007678$ACAD5712-9311-4A80-9D18-8C38F467CC50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007678$DB710205-8BE0-4DDC-A7E9-81F492CB82F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007678$C6EF1F63-A7F4-407E-83CB-5060ECE9F194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd11b36a16bb653162c9b9e1fc3e578cc22bd8c8","datavalue":{"value":"polynomial delay","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007678$6B84C049-E7BD-4206-A847-F16CC03FD9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3bd3611c9d6e5b1cca0b88b9037c132a908c507","datavalue":{"value":"generalized satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007678$9CFE468B-8E33-4825-A7D2-AEF2253E18B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007678$28823218-DF5A-4D8D-8759-30257BE7C85D","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":"Q3007678$3491B398-ADE7-405A-9D87-43C5A50D42C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9414e8abefee3489792ba4fafa2f59457bda8918","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21581-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007678$2339B77B-EC8B-4926-B532-7A4097B1FF2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cab39475fce99e13a92b508cdc512e4e0a01411","datavalue":{"value":"W1831347135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007678$3A1DF236-7581-454A-805B-4BFE3EE57449","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3cf8197f8a026e751f0e8b9b9724006b7cccb4f","datavalue":{"value":{"entity-type":"item","numeric-id":3608414,"id":"Q3608414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$085A212B-2C88-4B69-A90A-57A4524F7CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40396e68588afa1745a567b8a3cb8fc6a51d8bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4242014,"id":"Q4242014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$C53621AB-A700-4C36-B25F-45EB428A1F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"020b02b738e15bde5010bee184362bb4dd270aca","datavalue":{"value":{"entity-type":"item","numeric-id":1768749,"id":"Q1768749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$C4718A37-6670-4FF3-B6BD-72BEEBA54CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1858e829edbff20ad48edab5cf07bdd922098408","datavalue":{"value":{"entity-type":"item","numeric-id":4389761,"id":"Q4389761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$A8DBBF66-E3C0-4BBB-81EC-2AE8A4611132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7421be4fbdc3c74b2ede8f68607fffd6cdfcc316","datavalue":{"value":{"entity-type":"item","numeric-id":2377603,"id":"Q2377603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$89E8F8DD-44FE-4B7F-9CA4-C0A31CFB58A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76eee8ae7592a1043e9388788ff8623e92a23f6","datavalue":{"value":{"entity-type":"item","numeric-id":2946612,"id":"Q2946612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$3D992679-7EB6-4BB4-A487-8F277176AF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b95fad168eff7e162971f51061049b58880d13e","datavalue":{"value":{"entity-type":"item","numeric-id":5504698,"id":"Q5504698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$6DF0DC02-DB27-4955-B10B-832F02FC99F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab06cc88aea304b3f5b6d2ef05ab7dd458f584ed","datavalue":{"value":{"entity-type":"item","numeric-id":1028117,"id":"Q1028117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$8AF6C19C-8409-4AF3-A9E2-81B493E8282D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a62d39b10622749e338de38252fcaed5d04493","datavalue":{"value":{"entity-type":"item","numeric-id":1276253,"id":"Q1276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$85B0EB28-D9A6-4C08-AADC-5F64FAF1FB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ba7598a622756daa7a1a98c7ec39119480164a","datavalue":{"value":{"entity-type":"item","numeric-id":1108809,"id":"Q1108809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$10DA74D4-C461-4282-B752-AE16EE391864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fad40b5a6e1b59c4053a85bd4d69caa948a4b5e","datavalue":{"value":{"entity-type":"item","numeric-id":5504706,"id":"Q5504706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$F9B54CCB-C66E-48C4-BB7A-A316F81ACBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a381c8ab9aeed2629c252ea98d15539094430e5","datavalue":{"value":{"entity-type":"item","numeric-id":4526965,"id":"Q4526965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$292D093C-5D83-45A7-AB21-943BA649DD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042d1db9358948d2a88c48d38614d55bef4813e6","datavalue":{"value":{"entity-type":"item","numeric-id":805625,"id":"Q805625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$184EA1D3-A9DF-401F-8D18-C1751A16172D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6c59c9ae923881e8e3d21635fa43f870ba5229","datavalue":{"value":{"entity-type":"item","numeric-id":3521957,"id":"Q3521957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$68271C18-CD3C-4F29-B80C-8274D714A52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a700db12d35919903ce0c2784e58dbd1487eec1","datavalue":{"value":{"entity-type":"item","numeric-id":5315378,"id":"Q5315378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$EACABA70-0EED-431E-9CD4-45FDA4550F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee582b77b6630345911c9199c665fcf56b05712a","datavalue":{"value":{"entity-type":"item","numeric-id":814421,"id":"Q814421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$B07CD0E0-8EAB-477A-837B-66F3F3C92458","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":"Q3007678$5807FF55-65A6-4FD3-9365-CFEA97C7A0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa183c2c4719e8fb45d86d412fa371263e7dc90","datavalue":{"value":{"entity-type":"item","numeric-id":3590974,"id":"Q3590974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$FECB5888-E838-4C67-AF27-C54CE30E5B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970665c78fafeb8980f58c02b850306265e3dccf","datavalue":{"value":{"entity-type":"item","numeric-id":5504705,"id":"Q5504705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$2A2CB8D6-E3F2-46C1-8805-F7A0D1527CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e48d4989228a4670eef0160cdb8903a1aeb1021","datavalue":{"value":{"entity-type":"item","numeric-id":3586118,"id":"Q3586118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$E6E03CE4-3FD5-4893-A916-0DCFC24D831E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de417ea2681a315210f3060bafe82f9487c4d54b","datavalue":{"value":{"entity-type":"item","numeric-id":848944,"id":"Q848944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007678$BEE8C2AF-F231-464F-A603-CF644CAD7018","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1d594676070157af8788f74c3536df910790f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5738998,"id":"Q5738998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ad6085b91801c03e0672b4b6c73eb4786fa700","datavalue":{"value":{"amount":"+0.867626428604126","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":"Q3007678$C16C3496-97F7-4DCF-9784-F9EC9A79CC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31dc0c3a979c2422d6ae26b8ba4096f8845c5348","datavalue":{"value":{"entity-type":"item","numeric-id":2398214,"id":"Q2398214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a235715a518e68eaedcd6361e7ee5c034b8dc0","datavalue":{"value":{"amount":"+0.8008835911750793","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":"Q3007678$30F1B368-9E2E-4BE0-9FDF-1478144D5C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e987e322d499293cd1b14bfc9bf944ea0254eb5c","datavalue":{"value":{"entity-type":"item","numeric-id":2805407,"id":"Q2805407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e110c19fce1cb1d7b255397845e8c6f9010d76d","datavalue":{"value":{"amount":"+0.7830429077148438","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":"Q3007678$9AA941E9-59A1-41BF-9983-89FB144F1FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfbb4161b95757d4b078e30ca0e496d6e33206e2","datavalue":{"value":{"entity-type":"item","numeric-id":837186,"id":"Q837186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a924aade6adb944480ffc8ace560d3a66f1de2","datavalue":{"value":{"amount":"+0.7793181538581848","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":"Q3007678$3BAA6AC2-4B0B-4851-94C4-D960D581EE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63382573d6dc8ed26c0eece2369b7124b6507b6","datavalue":{"value":{"entity-type":"item","numeric-id":3590974,"id":"Q3590974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1e3a06b59676baf9269646dd35baca116e9c78","datavalue":{"value":{"amount":"+0.7554101943969727","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":"Q3007678$3100449D-8A25-4F41-BFC4-3B48BE87EDB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enumerating all solutions of a Boolean CSP by non-decreasing weight","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enumerating_all_solutions_of_a_Boolean_CSP_by_non-decreasing_weight"}}}}}