{"entities":{"Q4911128":{"pageid":6940707,"ns":120,"title":"Item:Q4911128","lastrevid":58362030,"modified":"2026-04-04T21:34:30Z","type":"item","id":"Q4911128","labels":{"en":{"language":"en","value":"Compiling finite domain constraints to SAT with BEE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144682"}},"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":"Q4911128$99448D9A-7DF2-42B9-B05D-C109D2A9F865","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d08614a16d2894df39e9f7325ab2043c87de514","datavalue":{"value":{"text":"Compiling finite domain constraints to SAT with<tt>BEE</tt>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4911128$830704E1-6591-4855-AF7E-A2D7BF409120","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec82e19f092254159fa2c6fa32c34276bec9009a","datavalue":{"value":"1260.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911128$E2250A98-ABD9-42D1-9F67-81970F642E7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efbda1a82fa8091c094528d59f589e86a64ec647","datavalue":{"value":"10.1017/S1471068412000130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911128$58D1A280-CA5A-45A0-9008-F91A40FC518C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ac7fda5340f2ca23638f7bd6268c9599fc47a27","datavalue":{"value":{"entity-type":"item","numeric-id":2929582,"id":"Q2929582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911128$F48D03FD-3299-46DA-BD16-BC66345F4336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911128$A1054886-786C-4006-A087-0BEC10AFAE51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911128$614373E9-C61C-405C-A476-06BC07CC246F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4911128$690B6942-E59A-4598-AD33-5B88869B2BEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23d763c9a711be12d5625d174a1ca6eabe5f0306","datavalue":{"value":"https://arxiv.org/abs/1206.3883","type":"string"},"datatype":"url"},"type":"statement","id":"Q4911128$F37C3CE8-C083-407D-9FBB-D88B70ED7944","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911128$881E44D9-4A8C-48DB-A013-0635D91ADAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911128$FFD0A624-89E4-412D-85FD-55D85C89FCE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"558b13407ca9dc92d110af10262dfc08c79d9842","datavalue":{"value":"6144682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911128$A2F231B5-F978-4931-A5F6-8F73FE21FC7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdeacae6ea35d3c55028ade4ac93b6c7813f1db","datavalue":{"value":"SAT encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911128$D249C7A3-EB48-441B-8102-727AB369B737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbfaf03819bf1bea099d6fd0d1cf1f1aa0b734e9","datavalue":{"value":"FD constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911128$AA0465E4-65CA-4DB4-82C1-B441884489D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb253efe20d3c82b4da61640e08fa6e7ac655b4","datavalue":{"value":"equi-propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911128$B0A6DF82-0656-4190-B58C-20FFD286B8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911128$EE98C258-44C6-4E35-AF6E-CED77F11D431","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":"Q4911128$36622D2C-4B3F-4CA5-9F97-A4F65F056410","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ada074e92b39109a1de7111a48ed4dae07befe2","datavalue":{"value":{"entity-type":"item","numeric-id":2457689,"id":"Q2457689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911128$425F925B-B9A0-4C2A-BF51-3BD290C5A9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4a3bf808aa5ef496afec981d0bd4d91c12c920","datavalue":{"value":{"entity-type":"item","numeric-id":538318,"id":"Q538318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911128$F3F79952-5575-4458-856D-2560A9B4BE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ce96310995707dfc9099afb4c4d6d02e16acb8","datavalue":{"value":{"entity-type":"item","numeric-id":842794,"id":"Q842794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911128$03AB007D-C55E-4C04-A253-8AD49E5FB837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911128$0DA9C83E-4B68-4048-8679-2C092BA324C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a220dbecbf5f1771acb6460bf32d43f6596ee104","datavalue":{"value":{"entity-type":"item","numeric-id":1020490,"id":"Q1020490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911128$FAA0E208-4B8D-4B8C-9E4C-8C2AB259A613","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35acc96f09b9c2bd37295bdacafe3f64f5fc4319","datavalue":{"value":"W1972567131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911128$A97DD9DF-0D30-4846-8EC3-A351DB0D8B5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4fe9c5eab0764decda317b8a4c0deb03354ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3129502,"id":"Q3129502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b80d11a80f816155110506c597c30b1ca4976d5","datavalue":{"value":{"amount":"+0.7655437588691711","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":"Q4911128$18503C38-DDE0-45DE-9B84-B005AC2083E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b119b93ef3fd723a297ca76715cb431329d919","datavalue":{"value":{"entity-type":"item","numeric-id":4913754,"id":"Q4913754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b2f39fe69c2bf7fc19291f3e7f08764a9438b6","datavalue":{"value":{"amount":"+0.7619379758834839","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":"Q4911128$92AD2025-4C84-4502-987D-AD868A7CC01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf50867befe2a1e623fd344b032fa43a0ca1dc30","datavalue":{"value":{"entity-type":"item","numeric-id":3524260,"id":"Q3524260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a69a6dc3a28505ba59820848b5190543b4df59d","datavalue":{"value":{"amount":"+0.7570983171463013","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":"Q4911128$B0A0FB7B-3F3E-419F-ADF5-DFF6B45A3981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03223ce149308bc5be47a5909b094205c896ede","datavalue":{"value":{"entity-type":"item","numeric-id":842794,"id":"Q842794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62fd9809f8a0fbe9b9c257bf00af3a18f55e84ba","datavalue":{"value":{"amount":"+0.7556106448173523","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":"Q4911128$8C0DF484-B13C-4C29-BE51-66382FFC1D82","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":"552129c531ea07d0077e37b4f754b9455de21f32","datavalue":{"value":{"amount":"+0.7502588629722595","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":"Q4911128$D0CFE209-156D-4B29-84FD-0E25B76B9E0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4911128","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4911128"}}}}}