{"entities":{"Q6154177":{"pageid":13288524,"ns":120,"title":"Item:Q6154177","lastrevid":58727223,"modified":"2026-04-06T12:02:27Z","type":"item","id":"Q6154177","labels":{"en":{"language":"en","value":"Learning to select SAT encodings for pseudo-Boolean and linear Integer constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805094"}},"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":"Q6154177$4F231584-6C15-40BA-AA39-F12225FEF353","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2575e40ec2c8eea1d0c7a86483da69cb88fa771","datavalue":{"value":{"text":"Learning to select SAT encodings for pseudo-Boolean and linear Integer constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154177$E2015F62-0BC6-4010-8D10-66FA61D1AF51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c3e95b2aa456f6dac4c4c62abb9ad48e4b9e637","datavalue":{"value":{"entity-type":"item","numeric-id":2060734,"id":"Q2060734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$7902B0FA-6CF6-439B-9F43-0C143CAF4D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"910b08c6245025a75a830514e51f5973905780bf","datavalue":{"value":{"entity-type":"item","numeric-id":862407,"id":"Q862407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$6FA878F3-3D86-4B52-8DFD-5C88E988DE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b4fa7792f6532385fa6e49c4a6410249179a358","datavalue":{"value":{"entity-type":"item","numeric-id":5274476,"id":"Q5274476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$1F54AB41-4C8A-4E1D-BB50-AFDC3D7DFC12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$9E675579-2DB6-4566-A50F-C3D5D1AAE319","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"749f7dc4505ab7598f63dc39e6a52996cfa01334","datavalue":{"value":{"time":"+2024-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154177$4042CB06-ABA7-4790-828D-CADA596A5FC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"419e1de4f6f93b08ed57e8b6cb69b1b790545d6a","datavalue":{"value":"https://arxiv.org/abs/2307.09342","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154177$A081D19A-E043-418E-BDFA-FCAA509833C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"843de71235f44a800ae389e1734df6bb7650efec","datavalue":{"value":"65K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154177$375A8184-91C4-4F2D-9D92-AC883D1C785D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154177$0DA8C701-4CFF-425C-9BEB-6245B65A1B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154177$9550C6C6-87F5-4559-B28F-690C193C44E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4bbd560e63d5abe0172b156748b23688fcf7fbe","datavalue":{"value":"7805094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154177$07EA2B4D-6480-4EA9-8836-98CBCE441EAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154177$BDCB703E-CD11-4239-A98C-9BD8BC090F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37bd8cee5afb13e25fb0d8131c9af9e127681577","datavalue":{"value":"SAT encodings","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154177$897B7F42-AFB7-4E9F-AF16-23A8871FC409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154177$237706AA-5665-43C3-9E87-6B60D38E0A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"852d12b06ac4e2bd9e3103e73599e514c343d3af","datavalue":{"value":"global constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154177$DA4C9A85-2CA9-4D13-B9D2-FC39F6D6AB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fcec8e546d133ed330fa44a395a65aabde15d","datavalue":{"value":"pseudo-Boolean constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154177$DFB87B9C-F0A3-4046-83E0-4C30349E1744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92547f21222746690d4fcfd11099e70aa605287c","datavalue":{"value":"linear constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154177$D1C2645D-81F5-4284-985B-2A0527A1C5FE","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":"Q6154177$A26F1F97-48D2-488C-BF62-5D7068F7255D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36e769344512f511b664264d6c9bf2ecf00d0a2f","datavalue":{"value":"W4388231323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154177$4D8AE8F0-E5F4-4387-A303-256F3CC3B74E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f269fa3e9df1e97c84ca8c2d3b8dacf45d57314","datavalue":{"value":{"entity-type":"item","numeric-id":2327243,"id":"Q2327243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$52A702C3-6023-47B1-822A-282C608D63D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f7f838a0e71267fc3b0d38745c8da67aae210f","datavalue":{"value":{"entity-type":"item","numeric-id":2060735,"id":"Q2060735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$F6A9E7DA-2709-497F-92BF-6148A4171455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25c205dabe4d2ea3c84f1f47dc03f57ce5a6c866","datavalue":{"value":{"entity-type":"item","numeric-id":3143578,"id":"Q3143578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$A2956267-2E93-4CF0-8839-91EC52651B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed237118c4d9ee9debbdfc08007731301d82af29","datavalue":{"value":{"entity-type":"item","numeric-id":3637167,"id":"Q3637167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$14CA4D7E-DEEF-46FB-A334-4A87F39FFAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07aa3eb3316ec31fca12adb3a6bdaed69e2edb3","datavalue":{"value":{"entity-type":"item","numeric-id":2009185,"id":"Q2009185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$A1CD514B-39A0-4748-9098-38EDBB65CF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53be8bd6756ad389cea2934fb992bd7a50c5fa09","datavalue":{"value":{"entity-type":"item","numeric-id":1680696,"id":"Q1680696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$780005C5-98AF-4CEA-B8EB-F75AF48731B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba936292b690eb04a8032b8f600cd20d9d30cae","datavalue":{"value":{"entity-type":"item","numeric-id":2342599,"id":"Q2342599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$E05A16FE-213A-4265-A27F-35182F89CA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a170af516145ca9c0e5963c08cb024ad4f2af17","datavalue":{"value":{"entity-type":"item","numeric-id":3489523,"id":"Q3489523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$8637139B-6844-4A8B-9A66-F14220A8C2E7","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":"Q6154177$BA92E7F2-0C6F-499A-AF2A-099606F1452C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdbfb47549943b1416c0ea31be53503a2cffb8d0","datavalue":{"value":{"entity-type":"item","numeric-id":5396710,"id":"Q5396710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$FDFA3E6A-D27F-424B-9143-9CE8F8A48973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a73b7e48adb4260cb48d91e95198beb0803e94","datavalue":{"value":{"entity-type":"item","numeric-id":5952197,"id":"Q5952197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$B6F35BA6-2704-4F22-B3E3-B9A7CF134110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd91d0f75d460b40c4f5e874c6f021488cdb98e","datavalue":{"value":{"entity-type":"item","numeric-id":2060693,"id":"Q2060693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$84957C16-D327-4AD9-B199-CA9DD32842F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc8f0ab215f459e9bacd5931366ec1de624b0ef8","datavalue":{"value":"10.1007/S10601-023-09364-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154177$FDD0CCA4-B629-473D-ADA0-834829410F52","rank":"normal"}],"P1643":[{"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":"fd03e3461ed705be4dff49b19b364400ecd09106","datavalue":{"value":{"amount":"+0.8114092946052551","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":"Q6154177$B4D14BFD-D3AB-4804-B05D-9334194508C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3e9f23a7460851b246e1eb6911475e60b8c87b","datavalue":{"value":{"entity-type":"item","numeric-id":3000648,"id":"Q3000648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4dcd9019b87ed48d09db195505d6a7e6eb6ee44","datavalue":{"value":{"amount":"+0.7681140303611755","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":"Q6154177$04B78FEC-8556-4CCF-AD61-3229C9E68DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60971c7f2cbfb85bcc36fe0a3a900132157fd65","datavalue":{"value":{"entity-type":"item","numeric-id":2060735,"id":"Q2060735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60dd5303286efa47178edb3c2320812c45a3ec43","datavalue":{"value":{"amount":"+0.7653988599777222","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":"Q6154177$8FE41DF5-1063-43E3-B76A-BAA6629AD073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a877c9392587c9bcea882f9d9d400c81495e59f","datavalue":{"value":{"entity-type":"item","numeric-id":2009185,"id":"Q2009185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80c74f62610c106f2a66b4543d9c17ddaebdc30d","datavalue":{"value":{"amount":"+0.7625588178634644","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":"Q6154177$AE22785A-1A23-4374-AB32-6B85A703DE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69e780d43fa16612f9a65b59448df61792683bd","datavalue":{"value":{"entity-type":"item","numeric-id":2170178,"id":"Q2170178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13929d4d4770d1a9229fc3981f750556d4102d2d","datavalue":{"value":{"amount":"+0.7570492029190063","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":"Q6154177$ECACC444-8F22-4E53-9882-F6BDCCBBC579","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154177$B16183DD-EA07-491B-AB33-4729CF999211","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154177"}}}}}