{"entities":{"Q2814105":{"pageid":2824843,"ns":120,"title":"Item:Q2814105","lastrevid":83668073,"modified":"2026-05-07T09:55:51Z","type":"item","id":"Q2814105","labels":{"en":{"language":"en","value":"Relational abstract domain of weighted hexagons"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6594902"}},"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":"Q2814105$5FA0F627-2C3C-4589-AD6D-6C8D883D8958","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"379f236df91c5d0cfc34c7f17e4d4b758d338ec0","datavalue":{"value":"1342.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814105$6653DF09-7BE4-4A58-B08A-D743C950ECF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1afe8ff6e35d92180fbd27cccff20295ef9a6e73","datavalue":{"value":{"entity-type":"item","numeric-id":2814102,"id":"Q2814102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814105$EF1114BA-669F-4B48-B347-2417F72E3C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5e8e2541b32fb301e8ce4ccb67e14071a02c631","datavalue":{"value":{"entity-type":"item","numeric-id":2814103,"id":"Q2814103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814105$34C1BB32-05EA-4487-BF85-D531C6747585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"589be8a133f1aa405271b5e2ab03683f5db1c190","datavalue":{"value":{"entity-type":"item","numeric-id":2814104,"id":"Q2814104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814105$B3866558-CCDF-4C8F-8262-680254328B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c4126f41aa55f809ebb637deb5d362ebeeebb7","datavalue":{"value":{"entity-type":"item","numeric-id":276262,"id":"Q276262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814105$67A006EF-91A6-493D-95A6-A72333CB8380","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814105$5DA80E7F-916C-4BE7-8FBF-3840B3E9B6B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c31e552012427c3e62f18a09181317c2bfb4828","datavalue":{"value":{"time":"+2016-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814105$ECE8467D-E0BE-48B3-B156-13CB28528E2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814105$9F3324CA-F349-4B5D-AEF2-E520706532AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f27027d2c875874a6ebc1e4001ceb1950b005f1b","datavalue":{"value":"6594902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814105$46D56D8A-E5AA-4B2F-A236-4B57019F9E3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed153f3e2ab767c2a53dd5dbe17e016974e99e2d","datavalue":{"value":"numerical abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814105$0764FBE2-5F70-4179-9B78-5528E3335525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814105$79F524D2-3472-4D42-A732-6066BBAD1846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814105$16D22223-F57C-47B1-940F-7307C3BDD2D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814105$3D63B3C1-A30E-4A27-B048-EC8624A5E2E9","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":"Q2814105$54A1682E-C294-4089-A953-8D9B20C01558","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"930ca14ea7a20daeb4c62ce047d40fb1f57fcd96","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.09.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814105$9432E127-3951-4440-9A7B-1A6A6A70808D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83f1dd1fec16272122e57900c7b08a16ce861161","datavalue":{"value":"W2079168903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814105$7990B442-8CC4-42BF-B221-3A2EF5ECD92D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814105$7C25B00F-6425-437B-8B2A-8E9F596B9769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814105$636D5913-1634-4515-BFFA-ECFC6B22791D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c04cf50a02953f881598bf1cbf7d8c448c62009","datavalue":{"value":{"entity-type":"item","numeric-id":4736494,"id":"Q4736494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814105$66639C7F-3B6F-4AFB-BA4A-7FA23EE999A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814105$FC2E7D17-7FFF-4A0B-A638-5295FF84A5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814105$A3DF2DF2-759F-4DFC-89A6-BF28583616BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814105$0ECEB9E0-4F57-4F74-95A0-92A1BF6AA458","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":"Q2814105$16F6860F-EDC2-4FA4-B667-24BBD680B3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd877b6e0ee76607d8a0a907e313c72ea9b6cbfc","datavalue":{"value":{"entity-type":"item","numeric-id":3079912,"id":"Q3079912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814105$892FCD77-2324-477E-A128-D21D05D0594C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b85e140bb558e77232232f5bcda2da6b89648f69","datavalue":{"value":"10.1016/J.ENTCS.2010.09.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814105$2BE75404-3984-4DD7-B67D-ABB66E023A53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"247501faf172c6c6491e25a348cac4c3aba4565b","datavalue":{"value":{"text":"Relational abstract domain of weighted hexagons","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814105$6D60BC7A-8BF7-464C-AD65-C57EBD4F9C3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903b233650ef5f506da6f4c7fdcf00ad0c945f5f","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea04541d94d6b73811cf83cd73cee590183b29b0","datavalue":{"value":{"amount":"+0.8085626363754272","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":"Q2814105$2DC4C261-8B75-4D26-A05A-4BD38F65A941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29335bb57c82d226becaacaa47518cf43449a79","datavalue":{"value":{"entity-type":"item","numeric-id":4411954,"id":"Q4411954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0dc40cf2ae60e19c9e35313642198c4a593da9","datavalue":{"value":{"amount":"+0.7884901165962219","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":"Q2814105$B39BC3C0-D96E-4D47-9D39-170814F40B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9861d1d5fc37ffead20590e697686ea8f81ee44b","datavalue":{"value":{"entity-type":"item","numeric-id":988565,"id":"Q988565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5bf05294c1c5f0e53ef41d782a9ccf4c4dc6bd7","datavalue":{"value":{"amount":"+0.7859151363372803","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":"Q2814105$0D91C334-94C5-418C-9EC5-BD3D0B911652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01bd4e2a1f47813c0fcb5b64b6ff455cb621322a","datavalue":{"value":{"entity-type":"item","numeric-id":5466569,"id":"Q5466569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf99fba78797ea347e407b5ea4647dc8479ded89","datavalue":{"value":{"amount":"+0.776940643787384","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":"Q2814105$1AF8C702-FB25-46A9-AE70-05589B53D806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080317557d71b219355877b1b6f74fbdd648af99","datavalue":{"value":{"entity-type":"item","numeric-id":3648708,"id":"Q3648708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a868283a24f26d0a197ef2ad373851523b6fdf7f","datavalue":{"value":{"amount":"+0.7699393630027771","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":"Q2814105$24933564-2AAD-407D-80F8-C6436EEE6DCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational abstract domain of weighted hexagons","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_abstract_domain_of_weighted_hexagons"}}}}}