{"entities":{"Q6585824":{"pageid":14196980,"ns":120,"title":"Item:Q6585824","lastrevid":55724827,"modified":"2026-02-17T21:43:39Z","type":"item","id":"Q6585824","labels":{"en":{"language":"en","value":"IntSat: integer linear programming by conflict-driven constraint learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7895160"}},"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":"Q6585824$DA000A2B-1BA4-436D-AF78-DF0CC6546302","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15b760ad8b32892a5c8301430b562fa2c48e2ec7","datavalue":{"value":{"text":"IntSat: integer linear programming by conflict-driven constraint learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6585824$A65B1322-126B-409F-B11B-081712BA1277","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b68097a85d15246123edc62b49558edd9d217968","datavalue":{"value":"10.1080/10556788.2023.2246167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6585824$84BAB4A9-1A53-43C0-B08F-10EE61FABF80","rank":"normal"}],"P16":[{"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":"Q6585824$6ECA6C1D-6C7B-40AF-B81E-BDCFB3F366E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$3393E1E3-B835-452D-82ED-5AF485BF3229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c6f3313098f94ac950042b92865f2f95306b33","datavalue":{"value":{"entity-type":"item","numeric-id":438575,"id":"Q438575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$FCFEED34-E0D3-49B3-AC9C-8A61E3F34CD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ece56173b7186930c6a2471566566ba3cd24f908","datavalue":{"value":{"entity-type":"item","numeric-id":6585816,"id":"Q6585816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$1166DD4E-B8EC-4298-BD60-7CD65C32D422","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c12e67cd279aa063d88ffb57c5087f681a847aab","datavalue":{"value":{"time":"+2024-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6585824$451A93B2-199E-4E7A-B91F-8C8F75F3A9C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6585824$43876E3F-D6C2-42E6-B7D3-082C566474BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22f9d4bd3788f209a6347b6610ddd0b8bd34c5da","datavalue":{"value":"7895160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6585824$ECA198F7-561A-4913-877D-B9E0D0C3CDFD","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":"Q6585824$624118C5-217A-4533-9D94-9FD423229D06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98efefe2d5cc57c83d83dae7ca6a97f020ce9bc","datavalue":{"value":{"entity-type":"item","numeric-id":2471271,"id":"Q2471271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$F37334FA-FE80-4839-BD33-BEE0AEC08780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d001a9abf3fb7c75c79f62df0b22359e2e613ecc","datavalue":{"value":{"entity-type":"item","numeric-id":4589125,"id":"Q4589125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$E64D027F-2E4E-4A95-8AD7-3850FB3F0F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$E0BF1576-0569-4397-A9F1-D7E9F1168BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$3693FC05-21D7-41F2-B3A0-5BDFFC002B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82075e7b1f0670ac4e9e73e079c2a9bd46ce39bd","datavalue":{"value":{"entity-type":"item","numeric-id":4079319,"id":"Q4079319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$1A5632D7-4649-41D0-87ED-D895702E12E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da70c8262a7dbb8399a1f91d732a7b61c9fd3d32","datavalue":{"value":{"entity-type":"item","numeric-id":1799094,"id":"Q1799094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$C18314D2-7DC5-4145-BA59-4DD5C4C93BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4910caf436e8c20e95f1863e799c479989c8e8f4","datavalue":{"value":{"entity-type":"item","numeric-id":2307624,"id":"Q2307624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$C5CCA6B7-C502-4BC0-8632-3C256331C5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a261bc066d96c9ebb9d0ea1dcd0582ccefae13d","datavalue":{"value":{"entity-type":"item","numeric-id":5041127,"id":"Q5041127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$A5A5A130-EB88-4DFA-B844-55E51449631E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$66F2F47B-ED92-45A6-AFBA-35B579FCF200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$A9673C14-043D-47D6-8C55-0A50872DB453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$AF8DE84A-8807-467D-8CA0-AE0F2019608D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$3E0202EA-16D0-4170-A18F-7DA1F7C7425B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37706997c0e12650bf30406d5f3ef502cc6c8e28","datavalue":{"value":{"entity-type":"item","numeric-id":2351157,"id":"Q2351157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$D56C65FA-1A22-4942-A4FD-0D26A2F71D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$586D5239-32B6-4778-9930-F2C2B0B27DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a664729a747e7e1905fe25c2bdc9b8107be69b9a","datavalue":{"value":{"entity-type":"item","numeric-id":2011593,"id":"Q2011593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$9A72629C-86E3-4050-8964-357487AF32CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a901fa157890d4bcb74f2d373cdb93bca40ca09","datavalue":{"value":{"entity-type":"item","numeric-id":2063195,"id":"Q2063195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6585824$307BF57F-1741-44A5-9771-BDD1115B789C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259f95b8d9c80e6dd6db287c436bc4dd6677cdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4589125,"id":"Q4589125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d08be3c43415c3a7ef59067c28d2851bd09f72","datavalue":{"value":{"amount":"+0.9064880609512328","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":"Q6585824$A651DB8D-287E-4650-A3F8-E0E3CA788525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93311ca12ab4595d720267ddce654d7052e23650","datavalue":{"value":{"entity-type":"item","numeric-id":2074664,"id":"Q2074664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3aba748329a9c286da6bc60ef9e73269e0aa72","datavalue":{"value":{"amount":"+0.8269742727279663","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":"Q6585824$A0D5298C-51B3-48D5-B945-02C0DCE5608A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544b9344597bcbd9b5efab1a5f46fbbf140b3262","datavalue":{"value":{"entity-type":"item","numeric-id":2471271,"id":"Q2471271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e72d50e04f5ec007a4d4030ede3b2bb00cda95","datavalue":{"value":{"amount":"+0.7800531387329102","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":"Q6585824$8584D191-5372-4B61-87EE-F5D9FFFD493B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a4c5d1b7ff4af78a4c65e8e9cd5545ab4b18bb2","datavalue":{"value":{"entity-type":"item","numeric-id":427560,"id":"Q427560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72be43c9d7725045485ca18661013734f984366f","datavalue":{"value":{"amount":"+0.7549315094947815","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":"Q6585824$667C154F-8AA1-42C1-A241-B58C334364D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11553e3ac599b4a3d95b593ba890aafd052a595","datavalue":{"value":{"entity-type":"item","numeric-id":4995097,"id":"Q4995097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08deebec74e908306b912d3151df2e2d30d9c83f","datavalue":{"value":{"amount":"+0.7481768727302551","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":"Q6585824$726564A3-D883-42CC-BCFD-1B87BBF428EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6585824","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6585824"}}}}}