{"entities":{"Q3296325":{"pageid":3307033,"ns":120,"title":"Item:Q3296325","lastrevid":53767460,"modified":"2026-01-25T16:49:29Z","type":"item","id":"Q3296325","labels":{"en":{"language":"en","value":"Abstract code injection. A semantic approach based on abstract non-interference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218137"}},"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":"Q3296325$0A27B7D4-B8F6-4FF5-93F5-5CCBC54E5734","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"750d9e4ffbe586a43c32d8b9d5f4168f8c12d8fe","datavalue":{"value":{"text":"Abstract Code Injection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3296325$5B9C45FE-2966-4ABA-ACA1-FDF0515F1CA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e048394973ba58fb9a0521b8cb647314ccf4e9a","datavalue":{"value":"1446.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296325$9117009A-B3E9-4918-9807-4DBD6C5FEFB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb1697929ef02fa8d927155b413ff1b2cf12777e","datavalue":{"value":"10.1007/978-3-319-73721-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296325$5A48A4BB-C1B2-48D8-B3DC-9768FE01CF37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9270580dc3c4f6fbe7c907fb198c4aae566e2167","datavalue":{"value":{"entity-type":"item","numeric-id":2133468,"id":"Q2133468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296325$BEDD2E0C-B68E-4ED2-8532-F321A3FCB75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296325$228867E2-396F-4492-BCF5-88E6762CB328","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":"Q3296325$4AFA5533-655E-4A7D-895A-F2A50F55891E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01d69a3c7fdeda349075259d925d96d26b367ba2","datavalue":{"value":{"time":"+2020-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3296325$CC98BFCD-49C9-4E89-BF6C-EB76A5A1C93C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296325$1846D4FD-E143-49D5-AB6D-2E0C8ABA2D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296325$5DFFFC3C-ED74-4F5A-A3CF-75B3E843FB0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4be02d4caad96cd6b829a844ffce9f030b23b658","datavalue":{"value":"7218137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296325$E4812AC1-90F7-49AE-8D95-FB57AE36F2E7","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":"Q3296325$F17CB4E7-4EEC-4171-BC6E-2487BBB99B82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df97c4c3873c85e2ddfa985b1efd2de8dcbecdb6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-73721-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3296325$6C5818B1-98DA-4C14-9F32-D549D1B60BC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59e77de12d6543673594f161ffc621d0e493f183","datavalue":{"value":"W2777297765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296325$69C08B22-CC21-4F34-8492-7E4DFD417884","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274b8fd3bc5daf63ca5b01fc3ab55fe4e5895a53","datavalue":{"value":{"entity-type":"item","numeric-id":4994686,"id":"Q4994686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fea8d1b8a02fdf3a278b311cd671d34882871b","datavalue":{"value":{"amount":"+0.8058710694313049","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":"Q3296325$A4E30364-563D-4D4D-9C38-75BBF97E1AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a3ef537b32e284347f118ab3bdf2afcbc724c64","datavalue":{"value":{"entity-type":"item","numeric-id":2942871,"id":"Q2942871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1307dc67415784f928c3f71d110bc7ff03b667","datavalue":{"value":{"amount":"+0.7748434543609619","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":"Q3296325$C3077D0E-2DD7-4442-8F18-6B2758A80D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78211e0705ffe64b85409cb8e2f0ac3e274a403","datavalue":{"value":{"entity-type":"item","numeric-id":3452260,"id":"Q3452260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"985d14d3b6bdbcd04e9b31126452a64641c2958f","datavalue":{"value":{"amount":"+0.7170308232307434","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":"Q3296325$09A8CA17-6055-4DDE-A554-D62362B1148D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0714f038fc7bf1dbf8eb2d9d248c5edf0bab453e","datavalue":{"value":{"entity-type":"item","numeric-id":3460049,"id":"Q3460049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a53a3e21aeb13958ad01d737f2834f8fd3ea63d","datavalue":{"value":{"amount":"+0.6936053037643433","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":"Q3296325$478B2BA4-25F2-4698-94C9-407E26C9323F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2634cfd992e3ff16590e4b446ea4c6e968cda884","datavalue":{"value":{"entity-type":"item","numeric-id":608228,"id":"Q608228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d371f4101bfee7bfdcc85fe12b2d5fcba1ac52c","datavalue":{"value":{"amount":"+0.6891798377037048","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":"Q3296325$70E11699-AAAB-4C1B-B71F-33F2CC8B75B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3296325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3296325"}}}}}