{"entities":{"Q5140021":{"pageid":7169592,"ns":120,"title":"Item:Q5140021","lastrevid":58450656,"modified":"2026-04-05T06:52:20Z","type":"item","id":"Q5140021","labels":{"en":{"language":"en","value":"Modular constraint solver cooperation via abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7284975"}},"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":"Q5140021$A655D8F0-49B4-467B-A107-780C461503DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca8612dabf1d2aafec408d825e60d65ba2646f06","datavalue":{"value":{"text":"Modular Constraint Solver Cooperation via Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5140021$9B46A864-733F-4846-A2E4-D494A4E078D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"227581e6428bbfb0f93b4cc3d6946a1c6148e6d4","datavalue":{"value":"1468.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140021$1BA82F3E-0311-471C-9758-E27D4C265270","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3441e9336671188e13e5c2ff40a3cc68a9109008","datavalue":{"value":"10.1017/S1471068420000162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140021$EF116620-DEA1-4954-B377-59F83C682118","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2e6f46632802b1f67ea60228f1c9dddbe4ad750","datavalue":{"value":{"entity-type":"item","numeric-id":5140020,"id":"Q5140020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$B96F4DF7-F018-49A3-ADC7-6FBF02F3AD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ca067d3ca8ae0b953261fe0d765e58423f80756","datavalue":{"value":{"entity-type":"item","numeric-id":256653,"id":"Q256653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$E07AA1E7-975A-4BA4-ADFC-CEFCEFBD5682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8523e925a39155112e3c601c640914e991c3e7cc","datavalue":{"value":{"entity-type":"item","numeric-id":1007615,"id":"Q1007615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$77A2CD64-5DD6-4293-9A9C-217983E67975","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$15BB8A2B-8D65-433A-B3BB-9A85B8397F72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c22e955df7a052abb3ce5a1a5d7a826979ac81b","datavalue":{"value":{"time":"+2020-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5140021$66549A3B-F15B-48FD-B443-29EE86192D9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b395b846f3c4f1ec97c49fc79a2fbf31b2abe68","datavalue":{"value":"https://arxiv.org/abs/2008.01415","type":"string"},"datatype":"url"},"type":"statement","id":"Q5140021$2C374C07-D376-4CC6-B530-B1318E2C2F40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140021$6815F629-34DA-42CA-9376-DA8E58140AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140021$FF217601-23CD-420E-A58B-9BB978D1BC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ffcab9ce53e90c8627cb2c3bb400b94a5f354a","datavalue":{"value":"90B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140021$91BC88D5-7F88-4636-879B-D07E8292A98A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4947acaf3427b47b331aa63e04da4e21e1225bf","datavalue":{"value":"7284975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140021$83215173-20AB-48A9-B020-ADC0F41E9A97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2810b77c5cbbd8936f379f89ae761bcfc1b9e6b4","datavalue":{"value":"abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140021$D22276DE-1791-487D-96D0-A8604AF3B1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39df3eb944571f0bc19cfe4a3f947c33580b0678","datavalue":{"value":"solver cooperation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140021$BE0B683F-2CCA-4668-BB3C-E7DECC2268B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140021$FF3FBB80-F1C2-44B6-9A5A-D2F527222A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140021$49B51FFD-3B62-4207-A93D-EA530FD812CA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed6caccff2a8bc09888177dab2449d837b0b8bd7","datavalue":{"value":{"entity-type":"item","numeric-id":18403,"id":"Q18403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$1FEC34C9-3D37-45CC-81B4-33A0C60B3DEA","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":"Q5140021$B5CED522-2F60-4352-BA00-6926FD09F99E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d5ac330b61c9474502155950ca0e46acbe352a","datavalue":{"value":{"entity-type":"item","numeric-id":1960525,"id":"Q1960525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$96C7BF44-0624-424D-A487-56C9CF2591CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b7ae8d173bff32e7bee0c2a73e62174f61251cb","datavalue":{"value":{"entity-type":"item","numeric-id":3523058,"id":"Q3523058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$05824087-961A-4C95-A7C6-14EC1E5E3A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a98b329446ba1d7250a1d778e1d7cce38030f9","datavalue":{"value":{"entity-type":"item","numeric-id":1174353,"id":"Q1174353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$D6854DE1-D291-42AE-89BC-29277DBC2B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4380123f1cdc6d8b00025649580393a84a096266","datavalue":{"value":{"entity-type":"item","numeric-id":5395699,"id":"Q5395699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$A30C17B0-E5BC-42C2-B7BD-E3A2DA9FB2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9c6a9c18369979213fbc387ac5168d5b2202a0","datavalue":{"value":{"entity-type":"item","numeric-id":5408412,"id":"Q5408412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$95348597-3EC7-40FF-A8AC-7AD37F245148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6cb6635cc39bf77220b973c81295c012a07a64","datavalue":{"value":{"entity-type":"item","numeric-id":3183129,"id":"Q3183129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$14200B22-11DB-466E-9940-8629D229CAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b63e0b91165686396c9310d9b550d2f83471f0","datavalue":{"value":{"entity-type":"item","numeric-id":1317529,"id":"Q1317529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$63589EA6-8AEE-4657-BF3D-00CA701138F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$0AE03A76-0CAF-413C-BD9E-7A257789BFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$F8E7529F-C55D-40A7-A1CD-69FDFEB9CFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6001162ebde1a71c571b2cb37da559aca8aeb55","datavalue":{"value":{"entity-type":"item","numeric-id":2272160,"id":"Q2272160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$599E84DE-45A0-4EAD-B802-E0495D14C9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d86a074c18f9eacf20d04d168baadebce2dc357","datavalue":{"value":{"entity-type":"item","numeric-id":2926656,"id":"Q2926656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140021$493637F2-0D2C-48ED-AC54-B94737752FEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc4b08e1fcb935b162b7aef49a3731c96f42b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4473054,"id":"Q4473054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e524a2c4e31513caa1f9caffb379c937088811","datavalue":{"value":{"amount":"+0.8371334075927734","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":"Q5140021$383D8F1A-F6D6-4A8A-9826-FB1883E9A27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ffbbd8545d4c9d3b87a7021241b13da1151e26","datavalue":{"value":{"entity-type":"item","numeric-id":4780251,"id":"Q4780251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c890a2e9cdd22f5f76817d811e894638b1314055","datavalue":{"value":{"amount":"+0.8173354864120483","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":"Q5140021$17130FFF-FC75-4CA2-AE92-3A5DA4F74AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e143bbebce0a00ba86eb3028cb9030359cef1715","datavalue":{"value":{"entity-type":"item","numeric-id":2767068,"id":"Q2767068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af04045423ed8460273ffee92e3235b794e01e2","datavalue":{"value":{"amount":"+0.7874844670295715","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":"Q5140021$C987EC16-6ABD-4113-9BA1-1DCFBB3E7C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3ce04256f50c9472a9b1e4bab01e51f1487fefa","datavalue":{"value":{"entity-type":"item","numeric-id":2867959,"id":"Q2867959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2ef70d1160861ee3e1df28ff78402b35d9a2f4","datavalue":{"value":{"amount":"+0.7563751339912415","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":"Q5140021$9CA807D8-432D-422E-815D-56995539A75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c214519265aa7514dfb44ca93dd5ba7500d444da","datavalue":{"value":{"entity-type":"item","numeric-id":2926656,"id":"Q2926656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc6599cfb3d6a92cd269366805eb3b65f96b9c7","datavalue":{"value":{"amount":"+0.7532539367675781","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":"Q5140021$AA5F17EA-D729-4F8C-9891-FC99ED5B25CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5140021","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5140021"}}}}}