{"entities":{"Q5743593":{"pageid":7773144,"ns":120,"title":"Item:Q5743593","lastrevid":92957171,"modified":"2026-06-05T03:14:03Z","type":"item","id":"Q5743593","labels":{"en":{"language":"en","value":"Using dynamic pushdown networks to automate a modular information-flow analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6539454"}},"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":"Q5743593$A45A7DD8-55EE-4267-99B2-A0C5C2D62843","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cea63b1392b57b3aeb6eae0ab02a411f2bd2d509","datavalue":{"value":{"text":"Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5743593$CE2B3845-1136-4223-9093-F87EEB37C508","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46729199cf82051c4a050ed4019862835d70bbe3","datavalue":{"value":"1473.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743593$166EA128-ED36-48A5-A2B1-964A88A7201F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10c5e818a76cdb594df73f5c443f6d4d3a9a8115","datavalue":{"value":"10.1007/978-3-319-27436-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743593$F03E05DC-6FCC-49B2-A7C6-189C2DFAE20D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f59f2b238bcce2cb167eae8f1644fc8816001400","datavalue":{"value":{"entity-type":"item","numeric-id":681468,"id":"Q681468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743593$D06DE96F-D5F5-4DB8-9570-EDB8E3E9A181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61344200f54e68b3ed5f7beb5ffd680ff79e17e0","datavalue":{"value":{"entity-type":"item","numeric-id":396974,"id":"Q396974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743593$D55F4827-6167-4AE4-BDA9-B8C1E45E08C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af18b27ec7b6bc3d882b25d88a02c96305bed301","datavalue":{"value":{"entity-type":"item","numeric-id":2908557,"id":"Q2908557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743593$1ACA35F4-084D-4404-89F4-97C866E0E1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f494d196c801d0a1f06899d82240d80e55ae8b8","datavalue":{"value":{"entity-type":"item","numeric-id":2917314,"id":"Q2917314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743593$BB87757D-1815-40DC-8BC7-7E18FC04E898","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743593$54F909E8-E435-4DA7-9A28-44A1BBE52669","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0ea7e5c9a7ba33c3596f194c797c176cf41e4e9","datavalue":{"value":{"time":"+2016-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5743593$3FB7C56B-9DFB-4702-9FE7-B91750A64F20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743593$731813FB-07AA-49C7-8D29-2FAD71D43373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743593$766297A0-E0B4-4555-A400-5C87CE3DDD7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"668749641cfedebb76667a4f8587a6f93813ff00","datavalue":{"value":"6539454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743593$F1D3BDF6-D0D0-4CF0-BBCF-9868C81D85DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93d6cc8232847450343c8c65d76c74d832cd6d1d","datavalue":{"value":"information-flow security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743593$1EC193A5-6490-4DB6-A1FB-44D89D604694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743593$36B96B3C-69E4-4EA0-83D4-440A10EF2DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743593$6BEA9358-52E8-4FE5-B5FC-9CC39BB09A2E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2499c212f9173f7802c7e2ae940591c803036f","datavalue":{"value":{"entity-type":"item","numeric-id":32413,"id":"Q32413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743593$C0BBFB74-2CCA-4E9A-89A3-652977053BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09bdb1cb590aa84005bb564e1ecf2727e6689d3d","datavalue":{"value":{"entity-type":"item","numeric-id":25221,"id":"Q25221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743593$BCC2A844-C1E4-4117-A537-4FDEAEA386B6","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":"Q5743593$8A0DC614-829A-4206-AD5F-B0F3FB304B33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3bb91676dd0d42f7c02564f96bbdf8058882dbc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27436-2_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5743593$51AE9C76-156A-40C6-8145-5E1D7FFD87C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56003357913f7c9b5c0ac806e15f41fad0b8dbde","datavalue":{"value":"W2398006786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743593$E3D6991C-1717-4175-B192-81414C921D67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba429b0799ed96e59e6785a29eaf897e38f647dc","datavalue":{"value":{"entity-type":"item","numeric-id":3922155,"id":"Q3922155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743593$D45E9806-8B01-4367-A1DA-31C411E1EFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0217be03b76b871fb6fb4de6b49fb9c0bd33eb66","datavalue":{"value":{"entity-type":"item","numeric-id":3636879,"id":"Q3636879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743593$0D808FD7-46EF-44E0-AEA5-0B6186961831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fa901f3cb9c9085bbf8666744e1d2f5c4a46e9","datavalue":{"value":{"entity-type":"item","numeric-id":3591082,"id":"Q3591082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743593$5F0B0542-4CF4-492C-A8E9-8122F6011FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19cb719a2991407f71eb1f883a1015488ee655a5","datavalue":{"value":{"entity-type":"item","numeric-id":3043825,"id":"Q3043825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743593$F97F16E6-1F0A-462F-93F2-93FF95048396","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35e5285678827cbbceee9ed5a5efd863a1e6173","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27d90c077e2b77534268f194eff0e3dfc8701ee","datavalue":{"value":{"amount":"+0.7512409090995789","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":"Q5743593$C9B8A7D4-68B7-4392-BDFF-ADC1B7BF6055","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":"63675b4ebf4957bb81aa068c355fa8fe8a923c11","datavalue":{"value":{"amount":"+0.743280291557312","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":"Q5743593$C6338010-D4EA-43F4-9885-94E15D3B390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be33c55c49d3c5645a3130df65b2c432e6ca4d2c","datavalue":{"value":{"entity-type":"item","numeric-id":3043825,"id":"Q3043825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798ce6b6110f6858cfff0e8f123b8e04834ffa8d","datavalue":{"value":{"amount":"+0.7395740747451782","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":"Q5743593$1B0B3789-1DBE-4ECF-A426-27F03A5C99B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"535ef63319c099e601f606fe6d16b1e3ab920148","datavalue":{"value":{"entity-type":"item","numeric-id":4461956,"id":"Q4461956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede111ef7bf3a3d3ab6624c075a24bd6eb84a18f","datavalue":{"value":{"amount":"+0.7323856353759766","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":"Q5743593$18CD3F6D-FB98-4C0D-AD9B-952AF195D626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4371c355b50b50cb0610ec2f57b752b1a9036dfd","datavalue":{"value":{"entity-type":"item","numeric-id":5899016,"id":"Q5899016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c87df5532d3158d2d767c31e20d8f3b3a9af3c7","datavalue":{"value":{"amount":"+0.7288618683815002","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":"Q5743593$49339179-6558-414A-B29E-0855C7C13286","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using dynamic pushdown networks to automate a modular information-flow analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_dynamic_pushdown_networks_to_automate_a_modular_information-flow_analysis"}}}}}