{"entities":{"Q5370922":{"pageid":7400496,"ns":120,"title":"Item:Q5370922","lastrevid":58541427,"modified":"2026-04-05T16:20:54Z","type":"item","id":"Q5370922","labels":{"en":{"language":"en","value":"Hypercollecting semantics and its application to static analysis of information flow"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794701"}},"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":"Q5370922$C5296BFB-0B2A-4BC5-A750-45EEC35211BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b51bb143c69abb8f988d14359055264ab9f7000","datavalue":{"value":{"text":"Hypercollecting semantics and its application to static analysis of information flow","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370922$02EF0CD0-F8A9-48B9-84CF-AAF080136FE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dddb1462cb5b1673a2b4a3dcb651579a49ae422e","datavalue":{"value":"1380.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370922$4FA1C9E2-2B84-4B2A-A3DD-46EC477BAC1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbf17f74b9611bdda571427c06181f23ef3e0f6b","datavalue":{"value":"10.1145/3009837.3009889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370922$D0BFFFC3-0E7B-4187-BAB4-0B59DFD11535","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae80f0a8c5795827f51c8c87bc183ebe9a3c945d","datavalue":{"value":{"entity-type":"item","numeric-id":5370920,"id":"Q5370920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370922$F7E34DA0-B2EE-4EF6-8FC2-9190F090D119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8da218c5940996bf861c74f5da30c7db0689b4","datavalue":{"value":{"entity-type":"item","numeric-id":210001,"id":"Q210001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370922$88F12FAB-73CB-437C-9D5A-B96BF8C4BCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7061feb2308a1a8a51508a306f1c99e469f1860a","datavalue":{"value":{"entity-type":"item","numeric-id":1671144,"id":"Q1671144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370922$A82D49F4-F160-4F7D-8BC7-FFD357632F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a868d64944159207f3bd5bb740a3269e6d9e0e1","datavalue":{"value":{"entity-type":"item","numeric-id":5370921,"id":"Q5370921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370922$1E95B0F2-3632-4669-A83A-F8BB6BEED494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5252fd3f4644fecb9c9800cb885b6289e560a15","datavalue":{"value":{"entity-type":"item","numeric-id":294741,"id":"Q294741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370922$FB4B278D-8AFA-40B0-BBA0-C2020949B437","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370922$080304B1-78FD-4C97-91E3-E0F971BE9B1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370922$5E4D0BBB-2281-42BB-B670-946D493C812E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4ba03a0d14e56d4be987849e5fff5f795b6e9c9","datavalue":{"value":"https://arxiv.org/abs/1608.01654","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370922$AEEDCE06-4F96-46A0-B30D-196AF36770A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370922$15E3085F-9979-49B4-9B7B-9873903267F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370922$015AFE87-4397-401B-B699-9E39F42A1AB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31f131778811676df24a86700499c7e95837face","datavalue":{"value":"6794701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370922$D4749C44-E4A7-49E4-86B2-CA958AEB5DB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370922$0B0C171B-752D-4174-9F73-31DF42536812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370922$F75CA3C8-7FF5-41D8-BE40-F1973B2EDB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370922$A0944B62-F2F4-49E9-B583-AADE490B183E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370922$FF3A3CE3-0328-4E92-B25E-ED6013C5601A","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":"Q5370922$69A4D281-2110-49B7-A14E-A19A245E10B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0496128aa5ef151f42c30bd1bde002c3077853a","datavalue":{"value":"W3099266052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370922$6E9BC65D-A610-42CC-AB17-2F2F6F3E6A96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8549f214ce20428586a68a10c6e2fa28ce9afc07","datavalue":{"value":{"entity-type":"item","numeric-id":4411972,"id":"Q4411972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d8e7dbefd9407eb61b093fc2e4f7f322f08229","datavalue":{"value":{"amount":"+0.7580850124359131","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":"Q5370922$08611D6A-C484-4FDD-BDBE-CCFFDD155EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2408be396c4097e7b68232f0dddf2770574e3d","datavalue":{"value":{"entity-type":"item","numeric-id":6041175,"id":"Q6041175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfed53324e1f1f46dc2316181a4218d38185e8b","datavalue":{"value":{"amount":"+0.7482748031616211","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":"Q5370922$83124398-FA27-4136-A5BC-00DF78D6728D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b295faa5a6115b9c9eef54ec2e6271722e2934","datavalue":{"value":{"entity-type":"item","numeric-id":5466553,"id":"Q5466553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"317de5aa8f6fcf4705cad2742c9da0322d4dd92d","datavalue":{"value":{"amount":"+0.7399946451187134","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":"Q5370922$717BA764-587A-4FAD-A947-7DA6DD2AC4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71a2c455ed4ed5314a91c899d8b04a1d6dcbd1d","datavalue":{"value":{"entity-type":"item","numeric-id":5044295,"id":"Q5044295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b05016e8f401811fc7363847fcb1bb1af98f1482","datavalue":{"value":{"amount":"+0.727812647819519","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":"Q5370922$D3B3EB23-8F08-4F42-ACCB-7AB81E4F1F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbca47c44e58f41f18b1e8bc78bf8b7d324cb77","datavalue":{"value":{"entity-type":"item","numeric-id":4828445,"id":"Q4828445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ada08c8d923a0d0aa025ee05a7fba1976e8a4fb","datavalue":{"value":{"amount":"+0.7245004177093506","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":"Q5370922$2872567F-E1E0-440A-A5B0-4C813E2970BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370922"}}}}}