{"entities":{"Q2894265":{"pageid":2904990,"ns":120,"title":"Item:Q2894265","lastrevid":51501086,"modified":"2026-01-18T13:01:05Z","type":"item","id":"Q2894265","labels":{"en":{"language":"en","value":"Numeric bounds analysis with conflict-driven learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051077"}},"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":"Q2894265$01752116-17E4-499C-9677-14146EDEBB1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70425dcbb7e48f578e75129024bb8156a45296f2","datavalue":{"value":{"text":"Numeric Bounds Analysis with Conflict-Driven Learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894265$60439198-8809-4A66-BD6D-D66D426FEA20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ad7eb2dee6dd7b78dae03999bb431d548c7243d","datavalue":{"value":"1352.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894265$84E32884-41B4-4159-BE40-221F8AC7ECBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b94f74bbedd6e1a973cb921844d6a369ff96d4f7","datavalue":{"value":"10.1007/978-3-642-28756-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894265$DD093B42-D041-4C6B-BD9B-14C1A9EC553F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a0eb23269ec1fc8704436b597276cf095d31ae","datavalue":{"value":{"entity-type":"item","numeric-id":479834,"id":"Q479834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894265$A168EFA1-FD52-44A8-8E20-8557231AE660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3f434bb92565e5cf6d2b60aac0245f4a58be6b3","datavalue":{"value":{"entity-type":"item","numeric-id":479836,"id":"Q479836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894265$A0CE6CF1-D4E6-48DA-A458-227992A70B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894265$3AE74181-BA2A-4875-8969-74A78DD7F82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7abe3373612ef12de8fe2ea813d236ae04c8ed41","datavalue":{"value":{"entity-type":"item","numeric-id":888430,"id":"Q888430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894265$33D1A4B0-59D0-4AF6-A6E8-CD4F01B43A17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894265$9196729C-7320-4D26-8E4C-3CFCF9E55781","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894265$1B6946D6-6B32-44DA-8D2A-408986377884","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894265$60194F9A-FA91-4488-B366-E080C84C9238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde5a4fbe64a00aecf96d44aa53174002a5dae04","datavalue":{"value":"65G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894265$B2FD87D8-EF72-4348-B27A-4D2D2308DC26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6b36a1a8fa427fde03b01c14db0fda2951dbcfe","datavalue":{"value":"6051077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894265$D28B2A6A-B5B0-4155-B9E3-EC2B8C6B7055","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":"Q2894265$71DB8129-09B5-4A63-80A4-6312E1D9805B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34043da59441db3db4c0d6cd775e30c880fe7117","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894265$9F8B443A-4CFC-4960-8E71-CB4A0B8D230B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98faabb9287422dad04571cd1532d02fe4183f0d","datavalue":{"value":"W2154687874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894265$6EC66448-5B0A-4B89-A6E4-ACFBB3C81BDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae543d3164609a478eaf3c26694eec20cce9b473","datavalue":{"value":{"entity-type":"item","numeric-id":479837,"id":"Q479837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51e55ea23331047b6276b688288b4fb427c1187","datavalue":{"value":{"amount":"+0.7905441522598267","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":"Q2894265$5B82B14E-A7CD-43B5-9DBE-FA89D656280B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcabced946a4d7bf997a769b35f56f1df5f86bc6","datavalue":{"value":{"entity-type":"item","numeric-id":3613375,"id":"Q3613375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"accbd5625aaa3202e0b408fc36f9439749f7e9aa","datavalue":{"value":{"amount":"+0.7521207332611084","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":"Q2894265$B92AB4EC-31B1-4D4B-8C80-AC7C705987A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ef1bea5bc6a98097cf427ba6e514765eb624e6","datavalue":{"value":{"entity-type":"item","numeric-id":4475657,"id":"Q4475657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d6bb016564bd6635a803ae32a97c0c6d33c08e","datavalue":{"value":{"amount":"+0.748273491859436","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":"Q2894265$B3C67AA3-1BCA-4363-87E8-96D9F7F51CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d198dd6645ca3725c03bfd2d1553d43a00bcd19","datavalue":{"value":{"entity-type":"item","numeric-id":3075485,"id":"Q3075485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8057e8285a4200797580d196ec9aa0b20e9070","datavalue":{"value":{"amount":"+0.7475593090057373","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":"Q2894265$52DC605E-6FD6-4B13-9737-3928825F7BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d579f57311a69960d202ea3f6a90e50cd66618df","datavalue":{"value":{"entity-type":"item","numeric-id":4930725,"id":"Q4930725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86578fefb9a5de261636eaaaf182d6f17b6c3de","datavalue":{"value":{"amount":"+0.7449570298194885","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":"Q2894265$BCAFF032-6B1D-448B-8819-248527706690","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894265"}}}}}