{"entities":{"Q4589125":{"pageid":6618710,"ns":120,"title":"Item:Q4589125","lastrevid":40705858,"modified":"2025-04-04T10:23:56Z","type":"item","id":"Q4589125","labels":{"en":{"language":"en","value":"Improving IntSat by expressing disjunctions of bounds as linear constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803341"}},"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":"Q4589125$D302AB05-8749-455E-BFA9-EEF36E4FDA30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ec3ab14ad42f7b050c0b0146afad2274e9eaa90","datavalue":{"value":{"text":"Improving IntSat by expressing disjunctions of bounds as linear constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589125$89EFDD40-BF35-4AC2-B87A-74E7EFAD430B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0d640d6fafc46f7906ca194614bcd0fc955c7c7","datavalue":{"value":"1373.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589125$726C9302-0E8E-4E33-A66E-971FD59D34BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c0b2caff711e7f70ceeffac206d0e055af297e4","datavalue":{"value":"10.3233/AIC-150684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589125$553C7FFC-EB72-437F-B57C-BE3EDBEFDA9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1968fbb23146960d0f76a92e3f4acf20616d5433","datavalue":{"value":{"entity-type":"item","numeric-id":538317,"id":"Q538317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589125$4F13DC4E-8B97-412E-B334-3F6C8DCE7F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589125$27C8D987-DBD4-4B15-B29E-38D2C47538C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589125$76BE7182-3BAA-4753-8EC3-64CC6585C2D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589125$9529EAC5-304B-47D2-97E2-668690716881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f04d1a508f552e1f1708571f1d0ec9ee237f17be","datavalue":{"value":{"time":"+2017-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589125$EABC5583-97DF-4B55-8A20-B569DC5F357A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589125$5694D78D-FF91-49A4-9A7B-5CB318411E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589125$0587E7D6-BBC5-47A8-81DF-10FDEAC74E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589125$1A4F35A0-5C55-4F88-AB7B-E704CEBCCFF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e30ed9af3be4fbcb11267cbcc8644be85217090e","datavalue":{"value":"6803341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589125$773AC107-C1C5-4FCF-8914-CC762851B85E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589125$D7C33761-0061-491E-B331-4036961C8FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1188b7877d7d3a78f45d7a55396969e6748423a7","datavalue":{"value":"conflict-driven clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589125$ABB56A50-7038-42A2-8703-BC4062860578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589125$DD9862E0-070F-4922-A9D8-21410119FA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e87618aee6343e13e99830120698ef319daa4c9","datavalue":{"value":"integer linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589125$260E2CA5-EE4E-44DF-8F8D-49BFF76FD53E","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":"Q4589125$067AF6C7-75BF-4094-A826-203049D743F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4835633dbb0095152bb70a32510777456a3be120","datavalue":{"value":"https://doi.org/10.3233/aic-150684","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589125$259E2799-355E-4D31-88D7-FD4D03BB8C3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cca3064719f5d6803a7d2d405ae2fa57fdfc3dd","datavalue":{"value":"W1901058435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589125$16C7C434-B1EA-46FB-8113-62E6A9F102DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515a152a20fc34d9504029fea6cb8165ff2b42c5","datavalue":{"value":{"entity-type":"item","numeric-id":5488612,"id":"Q5488612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d708e9e85b491cce47974ef111d6be4b469775e","datavalue":{"value":{"amount":"+0.8562061","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589125$6DDD2AE8-9116-45B2-8024-30959EC9E8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60cf6b18931b26916f43336183b4142731a5088e","datavalue":{"value":{"entity-type":"item","numeric-id":1405334,"id":"Q1405334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a8733384b10dd6ca0e0aa8e48021e051757d90","datavalue":{"value":{"amount":"+0.8549526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589125$25CDC377-8A6D-4CAB-AA38-3F065752C78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1b347912460e25ccc95ac47600d046c1f5f6a4","datavalue":{"value":{"entity-type":"item","numeric-id":5005133,"id":"Q5005133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f501045217e40779e846d7df7fa6cd472a46681","datavalue":{"value":{"amount":"+0.8548458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589125$FA52687D-4EA2-42D6-92B3-CD79E6AFBBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd2d2305741807fcd957c6d5ff9562d76a47fc2","datavalue":{"value":{"entity-type":"item","numeric-id":1193860,"id":"Q1193860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7acf1d00030b4c84a0d60dab3ddf6b5c05e39d92","datavalue":{"value":{"amount":"+0.8538107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589125$E540D247-6AAB-4534-971F-AA9FD28DA4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21f59ded92522239461f82eea1be1298a945478","datavalue":{"value":{"entity-type":"item","numeric-id":5713714,"id":"Q5713714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7a8970e4a2f679e29ee9de547e85611a620e73c","datavalue":{"value":{"amount":"+0.8530693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589125$02D22D08-525C-4E8A-8101-1351BFFD05C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84196adcff719e9090973accc4f52d699e7463fa","datavalue":{"value":{"entity-type":"item","numeric-id":2476614,"id":"Q2476614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6d767b028656d7fa3d76701a4c699191b0398c","datavalue":{"value":{"amount":"+0.85300666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589125$8AC8F1A7-7E01-4384-9203-A276509ED526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81902c7e3b10892a3d4d50dd99785140e273d0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d520a7c8bf751995efafeaf761b259b3221da5c6","datavalue":{"value":{"amount":"+0.85252464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589125$BD999DCE-D9FB-4DD0-9223-42C93D6929C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33f94bb8f677b6dfa297ab9bdf3dac7a7bf9608","datavalue":{"value":{"entity-type":"item","numeric-id":2946994,"id":"Q2946994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac6f44e6b3c369cceb60ca6496e3e04f6fe1a92","datavalue":{"value":{"amount":"+0.84826267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589125$493C5151-1517-4156-83D7-46535AB77956","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589125","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589125"}}}}}