{"entities":{"Q4583677":{"pageid":6613262,"ns":120,"title":"Item:Q4583677","lastrevid":89556656,"modified":"2026-06-04T17:40:18Z","type":"item","id":"Q4583677","labels":{"en":{"language":"en","value":"Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6930328"}},"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":"Q4583677$2E7C357D-83D3-4D4F-A169-C18B41B2D73C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b04ce13254c11823a5f5f34a9448e7bfc880a89f","datavalue":{"value":"1394.68355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583677$8C7F9262-29C1-4318-8D4A-CF8968D4A140","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"020b7b03434454bde83442c66980eba824126b86","datavalue":{"value":{"entity-type":"item","numeric-id":421448,"id":"Q421448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583677$393B3A9B-9E6E-40DE-A05C-9ABDE0EAC114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e4ffcc3981c9aa28d68c5831ab09a037d6c4522","datavalue":{"value":{"entity-type":"item","numeric-id":2643306,"id":"Q2643306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583677$D963B75C-A959-471C-885E-83831C4EFD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583677$E860BD48-FB68-4C37-A20C-9B6CEE3F7621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583677$1EECE9C1-C32E-489A-82B2-361872554F03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7a86a6aed7188bb3ff3424d78e3001f3e02dd61","datavalue":{"value":{"time":"+2018-09-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":"Q4583677$0F0EF218-401B-4C3F-BF14-AC859592938D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ddd3ddd3a538c75d924f760641ca9df24f87f20","datavalue":{"value":"http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-19-number-1-3-2012/mvlsc-19-1-3-p-3-23/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583677$ADB16980-BD40-4BC2-8461-B8628B27B2E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583677$6E629FDF-CD49-46EB-9D1A-00B62728EC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583677$C09E9DA9-9BC3-4583-A555-3A2EDBB83504","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2b9267955cfd8936a090c7ede87acbea9446f94","datavalue":{"value":"6930328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583677$63AB2892-DAE4-42CF-8587-3DD0E3DAEEF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583677$2C0270B4-9F14-4FA4-9507-6C7FD6FDFBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583677$A36B2CCC-F902-414C-9F70-E015F82E4703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9fb76a789050079b355cbd9a10c3722edce7fb","datavalue":{"value":"MaxCSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583677$4C6C5745-0FFE-4A8E-B4A7-3C235E6E1CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583677$45D6C85B-49D6-4C51-A904-A746BF8EBBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86858b19e06e7f53cefb9a2372bf5b13d0adff66","datavalue":{"value":"encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583677$05EBF779-99F4-4436-B13C-84F5131CFCE4","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":"Q4583677$66DED102-5686-417F-A5AB-AD2C84795CD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd28027cb9ac1036d6cdd67d97f70dffe4d68374","datavalue":{"value":{"entity-type":"item","numeric-id":3502687,"id":"Q3502687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3330fc3129d3800a967c8e8f35340dc16a01c9ca","datavalue":{"value":{"amount":"+0.9126936793327332","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":"Q4583677$3D4B7CBA-61DF-42C5-ACD6-A099F4B64B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd8d74823daa27b3040ccf96b1ec4eb1aea35f7","datavalue":{"value":{"entity-type":"item","numeric-id":3637165,"id":"Q3637165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5dce1ae9fe4e7cc472755f49dceba04ba637d2","datavalue":{"value":{"amount":"+0.8862597346305847","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":"Q4583677$3310E35D-5236-489F-9DE2-4DC84AA79FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"769515ff4b8c1d15fde20ff305a2c63ef0c02132","datavalue":{"value":{"entity-type":"item","numeric-id":2342599,"id":"Q2342599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cae2d2926c88fb79e9e47502c1956e3a8481ddf","datavalue":{"value":{"amount":"+0.8594516515731812","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":"Q4583677$02B5A3A5-D9A7-4FA8-9419-E3FF0634B4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d1a613daab5c440126c9e05d8894a98e897a78","datavalue":{"value":{"entity-type":"item","numeric-id":5418737,"id":"Q5418737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89dfde284e29b98f4470a7410b396c6e09a98414","datavalue":{"value":{"amount":"+0.8459337949752808","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":"Q4583677$7567B4E5-A123-4909-BF53-840478E44A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f3024398fc52ae32fbcf95d0f3d4d733728233","datavalue":{"value":{"entity-type":"item","numeric-id":3523089,"id":"Q3523089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310e018d86d27b32e4bca46800ee8cf1ad180f81","datavalue":{"value":{"amount":"+0.8309268951416016","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":"Q4583677$F8FACE36-7776-43C9-8BFD-D6E2956B299E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT","badges":[]}}}}}