{"entities":{"Q3569913":{"pageid":5599817,"ns":120,"title":"Item:Q3569913","lastrevid":51018536,"modified":"2026-01-16T05:50:31Z","type":"item","id":"Q3569913","labels":{"en":{"language":"en","value":"Lazy clause generation: combining the power of SAT and CP (and MIP?) solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5724345"}},"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":"Q3569913$DF0EADEA-FFBA-4882-9D19-CEC147E8255D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"952ab4009a4d4e9984779b2e1f8e6f37ca89d5f9","datavalue":{"value":{"text":"Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569913$86C1EF3A-A7EB-4B1B-8FE4-5EFAE48F11BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"685b8a023e10b2fc32c076d88b3c602e95fa1ac7","datavalue":{"value":"1285.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569913$722672DC-3BDA-459A-A57B-B615DC0F25EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e25a9bbbfb8cd312f8b9e566ec8625eb1d72a94","datavalue":{"value":"10.1007/978-3-642-13520-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569913$2682A03D-2C69-4213-9B3F-1EE576A1A8F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569913$9BCA59BB-8CAF-46B6-B625-8502F89EE5E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9b5703dbefadb0dc8a94567ea5d35c321580fcba","datavalue":{"value":{"entity-type":"item","numeric-id":3003269,"id":"Q3003269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569913$095C2D81-0BA9-46BF-A43B-0BB81A2C09A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac94dd57b5c65400291c38d5f09a7ad8c1a5f3db","datavalue":{"value":{"time":"+2010-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569913$025E3744-6F58-42A7-8F16-93862765A484","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569913$58CFA94A-F955-4D35-86AE-FA8220AFA261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569913$2053E143-BB94-425A-9DD7-DBFAC4BFE962","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d10a523f65e091fc6d911a5d2520d49d19336ec1","datavalue":{"value":"5724345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569913$849293BF-C5BF-4740-B1A6-A6D1CB940697","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":"Q3569913$1AB904ED-F2BC-4C5D-B7FA-F9F3759ECE2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d49b3ddec20ec246a95684286767471357209a05","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13520-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569913$147EAD77-8706-4DAB-A5BD-E759F0B3341B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8408f932eb1c59770ceecd0122f7f746a61d666e","datavalue":{"value":"W1526604233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569913$1EEBD8B3-F929-4827-8076-F5D9CC65F1AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb93d0f543cc8289be2a10eacb8bf23f384c7bee","datavalue":{"value":{"entity-type":"item","numeric-id":2272160,"id":"Q2272160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e30a1ffd65fcdea3148122b60d491d0954e868","datavalue":{"value":{"amount":"+0.8246017694473267","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":"Q3569913$F27AE4FB-0E6C-42D7-A74A-8547A6AEE142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bef6a9075ce01ee12cbf02061cf64bf944689d6","datavalue":{"value":{"entity-type":"item","numeric-id":3523077,"id":"Q3523077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e34b453c0b84556524129b5803a556407e79fb","datavalue":{"value":{"amount":"+0.8078089356422424","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":"Q3569913$6ED9F566-EB32-43C9-81D7-3DFF745EBAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c13f0feeed93265e11eb4c51583595dd0b8bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1601927,"id":"Q1601927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0092ab05573378642870509166b0c7fa39708a55","datavalue":{"value":{"amount":"+0.7777557373046875","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":"Q3569913$7F970033-33ED-434E-957C-59A22AF6827E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb33ffb75202e374219c5f0e0349d1f3a00a4ba9","datavalue":{"value":{"entity-type":"item","numeric-id":2741385,"id":"Q2741385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31a82b746566e8dc1f5c48b3f320c3d21a82350","datavalue":{"value":{"amount":"+0.7740026116371155","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":"Q3569913$413792D0-E5AB-4984-8A34-BCF4FCB0B237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37978e970bdc4095cd916c793f42e1bcb2a86146","datavalue":{"value":{"entity-type":"item","numeric-id":2815101,"id":"Q2815101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f1fa883476837b6659b2347824a5d09f0e40fa","datavalue":{"value":{"amount":"+0.7652295827865601","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":"Q3569913$CE98329F-EB20-4D2E-B41B-1C99C4D9EEBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569913"}}}}}