{"entities":{"Q2926656":{"pageid":2937376,"ns":120,"title":"Item:Q2926656","lastrevid":52122416,"modified":"2026-01-20T23:51:14Z","type":"item","id":"Q2926656","labels":{"en":{"language":"en","value":"A constraint solver based on abstract domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6363647"}},"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":"Q2926656$5791000C-68BC-4D52-95CE-D2C510FF2818","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e5c0a2dfd71a8a9548f4f2afbe5415e0873179c","datavalue":{"value":{"text":"A Constraint Solver Based on Abstract Domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2926656$BBF23930-0A82-4AD4-A65F-F0BC4A45622E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cabded1712cda846cd314f41cef2ea68cca52b5","datavalue":{"value":"1426.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926656$0AF798CF-C2A1-4439-867E-A593489E96CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"724fa10b9c4de607bf54a75462bdbcd92d09366f","datavalue":{"value":"10.1007/978-3-642-35873-9_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926656$B7AEFC17-146D-4B53-96D4-D9931B523245","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5718d59db16fc862f01e40f3021de9a6a5178cf","datavalue":{"value":{"entity-type":"item","numeric-id":2170203,"id":"Q2170203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926656$ACF25602-99BA-41FF-BE97-3175749C8E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79110293abe8df1d1b69baf84d1546747a32f2ca","datavalue":{"value":{"entity-type":"item","numeric-id":681348,"id":"Q681348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926656$FA66F01B-39CF-49A4-9860-BEBE8DABA19A","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":"Q2926656$C02D7A75-859F-4D0C-AA0D-9624381FA05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c388d04099ac48598b550e7f51288fa6901eddf","datavalue":{"value":{"entity-type":"item","numeric-id":227666,"id":"Q227666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926656$31ECA0BE-B904-43D3-A4F0-FAA5BC0E487E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926656$6380C653-81F0-426E-9802-50CC3A67F9D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3daa83eb5c9d67846bd0433e54bd3c467e1d5cf9","datavalue":{"value":{"time":"+2014-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2926656$E141065B-AB0B-4063-96D1-C6591CE3D693","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926656$51D4271E-A418-4D25-B94B-24D543FBC949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926656$9206AAC8-2152-4EFC-96C2-2CB6226827FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27d7c9383d851d7dabe36a442abab530bf4bc634","datavalue":{"value":"6363647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926656$D12C5C7C-4BD5-41B3-A096-847E3C812A67","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926656$D02EE669-3DDD-4CBF-95B5-61BE181B15FF","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":"Q2926656$63DFFF9D-DA3A-4940-83E8-45CF8A262A13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a49ccb744d05a93a745436283f10cb803dd96fc8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35873-9_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q2926656$BAEBA336-9390-4D83-8A90-FCCB44A87846","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d8f79b811c472da6c6ba121bba75d312ad1bc62","datavalue":{"value":"W96833076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926656$2BB36ACD-7D37-4729-AF00-47E0747F9481","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be5da3e6f26618547990e63d66c95bc314e0c94","datavalue":{"value":{"entity-type":"item","numeric-id":4281588,"id":"Q4281588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cee66acbf0b2e3c2936e03076f61ba1693e8cd1","datavalue":{"value":{"amount":"+0.7701895236968994","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":"Q2926656$CCE45275-286B-4539-9B5B-48C9A1701645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb1c73bd243b204a17bb34a22cdb2bf7f7b5e97","datavalue":{"value":{"entity-type":"item","numeric-id":2703757,"id":"Q2703757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc043f3ee76827376367682ea69e1a032952f63","datavalue":{"value":{"amount":"+0.7694911956787109","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":"Q2926656$B6D4B4EA-AD31-4F75-AEE7-900F4E4A2FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef8b32d96601ade844f45e6b553b55ab9ad50663","datavalue":{"value":{"entity-type":"item","numeric-id":4475686,"id":"Q4475686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e462897204a114e4162de1ea99162e91098b4e90","datavalue":{"value":{"amount":"+0.7645248770713806","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":"Q2926656$97D998A8-6761-45AC-9C03-7CAF497196D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f703225ae1a37a5b43aeb29fa6b29542f729ef3","datavalue":{"value":{"entity-type":"item","numeric-id":4473051,"id":"Q4473051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91dc500c91103aa180b791cbf699846f55e3e50","datavalue":{"value":{"amount":"+0.7598106861114502","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":"Q2926656$6AAD541E-33E0-482D-B25B-E2F5F7536D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ebdabdb186f0c16f3fb12fa69d16896674ed68","datavalue":{"value":{"entity-type":"item","numeric-id":3128618,"id":"Q3128618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51391b6b886913cb8f0984f2d44a42d34b3f352c","datavalue":{"value":{"amount":"+0.7582598328590393","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":"Q2926656$71C683FC-D5CF-4139-B9E4-58081CDF1892","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2926656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2926656"}}}}}