{"entities":{"Q2841279":{"pageid":2851999,"ns":120,"title":"Item:Q2841279","lastrevid":42254329,"modified":"2025-06-03T16:07:32Z","type":"item","id":"Q2841279","labels":{"en":{"language":"en","value":"Techniques for security checking: non-interference vs control flow analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190977"}},"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":"Q2841279$9B2D1E43-067B-47A5-8611-6D2C111BDB9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8c27e624b0643afd7ea153ab7df2ccee4cd5a98","datavalue":{"value":"1268.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841279$23402953-DCAF-460C-93C4-BFA261F007CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4acb83c2fd6f1821b9c6b5fb2557642ed7a4d5d","datavalue":{"value":"10.1016/S1571-0661(04)00328-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841279$B24D25B0-5E05-4879-92CB-F7CCA9FA2924","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7bb162510b2b0d71f00b9cc3b462417f1dfa69","datavalue":{"value":{"entity-type":"item","numeric-id":275995,"id":"Q275995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$445B87EC-AF4C-42B0-93A1-D878C706193F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cece4f06ce9285573dab16ce2976ebae1a4f5f0","datavalue":{"value":{"entity-type":"item","numeric-id":294843,"id":"Q294843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$62BCBF45-8775-4D99-BCC5-18B7ED6168D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$4703382D-5337-4637-8868-C03D15F0A29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2cacc9dbdb56044ba665838942ae7852e41de","datavalue":{"value":{"entity-type":"item","numeric-id":692279,"id":"Q692279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$92597AA0-9FD9-4BF6-9631-E7525347EBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$8F6B9E64-7FF0-4AC9-8AB7-FF95A2DD1CE0","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":"Q2841279$8306C950-7553-41D7-8ED8-0D96DB442BC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841279$A3FD8430-8A8E-4A3F-B9AB-BF5384F3FF12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841279$9646135F-9594-4797-B8A6-AC5B82D4AFB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ac3fd90025770d78e37f0d4636b3671b1b7d1fb","datavalue":{"value":"6190977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841279$7F8D1E94-FE5B-4708-B977-C3E9D5AAB61D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"86c7882f3a4b8803a59e1b73faf6ea9f0f42f51c","datavalue":{"value":"Q62045738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841279$0844248C-330F-49F6-A2E0-2907DB31BDA0","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":"Q2841279$4E049EBC-6045-4A8A-B84B-18092FF37D27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85120675be4dafaaf247bdedf9c9b3c4696f0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3158557,"id":"Q3158557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$10DFEB65-90E9-4F9B-86E2-E662A682E226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$90A7F6C6-F0B5-4C2B-A6E9-711C3EEFB39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0444f180abec0cddd3ea1900c859c5fecb70523f","datavalue":{"value":{"entity-type":"item","numeric-id":1854437,"id":"Q1854437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$E1E4E010-3026-4FF8-A780-7647D3C1E84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9814637ea33e980161db9a39e44cb6cdbb329e40","datavalue":{"value":{"entity-type":"item","numeric-id":4779098,"id":"Q4779098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$B7A04879-EDCB-471D-9389-A484192DBC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4bd2b5025f233252d2c4e23706e3602cbd52cb","datavalue":{"value":{"entity-type":"item","numeric-id":2766538,"id":"Q2766538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$B6941556-1308-43B7-A540-DB3743DFB980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$F0720C0B-8875-4C89-8EC2-9A014344DEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d6689863919efc9d2b8984e9760a2b2c07aae6","datavalue":{"value":{"entity-type":"item","numeric-id":2754157,"id":"Q2754157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$1B92009A-9706-4BC1-9A5D-5799B451056C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a847e4fd3b3c31a7ea561ba6c58dcee3f9188cae","datavalue":{"value":{"entity-type":"item","numeric-id":4493894,"id":"Q4493894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$A11980D9-DAB8-4EC5-B2DC-866938793A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e92c50522e5891f6b6c7be4f89dc306a567f76","datavalue":{"value":{"entity-type":"item","numeric-id":5178849,"id":"Q5178849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$73D88D32-07C4-4DC6-B4A4-924A75C49CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c430fc45a8d43b4fc6a2fb634e4f2585dc2890","datavalue":{"value":{"entity-type":"item","numeric-id":2841271,"id":"Q2841271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841279$50EBEC2C-5C6C-4A4D-968E-99F25A59E0E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3943588c8167b57f935c20c9e659265b848a14","datavalue":{"value":{"entity-type":"item","numeric-id":4676159,"id":"Q4676159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c42d915fdc846c866ab39fe2a72d7893958720","datavalue":{"value":{"amount":"+0.8560406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841279$E8A57BB4-2F81-4C3D-B24F-5125E18221A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c24a4e833465e3a3d65a1033c71221293f0d117","datavalue":{"value":{"entity-type":"item","numeric-id":5477657,"id":"Q5477657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fbfc32fb0c2c5b9fe3b9b18e5a526bed37cfc61","datavalue":{"value":{"amount":"+0.83675945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841279$E60475CB-9529-45F1-B93D-1895B54D89E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f720549a86b27708478b15676cbfb16e1b4ebb35","datavalue":{"value":{"entity-type":"item","numeric-id":2766538,"id":"Q2766538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ab8df21a1e4c1cc9fe5b2db5ca7a7beec4d551","datavalue":{"value":{"amount":"+0.83666146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841279$56F17BED-68F6-4B04-88CD-5B13F72E06B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bda55c4960013154661de9f6636578eeeea4676","datavalue":{"value":{"text":"Techniques for security checking: non-interference vs control flow analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841279$C9912EEE-6BED-410C-AB36-22430B38E64F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2841279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2841279"}}}}}