{"entities":{"Q2218982":{"pageid":2229725,"ns":120,"title":"Item:Q2218982","lastrevid":53909375,"modified":"2026-01-25T22:18:16Z","type":"item","id":"Q2218982","labels":{"en":{"language":"en","value":"Automated verification of noninterference property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297656"}},"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":"Q2218982$54B0242A-521A-4EC3-89B8-10C3EAEF6C79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecd32cac11939e717c4ace8d67add39f7bb2b56b","datavalue":{"value":{"text":"Automated verification of noninterference property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2218982$62C23507-EA18-473F-A2DA-20D31F5F8498","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79f3536d2688da38a05cbffed8b600125e895705","datavalue":{"value":"1458.94173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2218982$48673074-84B6-4A1B-B968-C9317EFEA6A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"063258bbef2bb2cea7b4c3d440383dfa21c6057b","datavalue":{"value":"10.1007/978-3-030-01950-1_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2218982$E5813122-2344-4C59-9CF0-30622FB48243","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6cc4ae5aef721a2d92f62cc8cdc148e3a5ae951","datavalue":{"value":{"entity-type":"item","numeric-id":264413,"id":"Q264413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2218982$41D6D7A3-D361-43BD-8220-C5DA9D2DD91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21c1cc0e12791af0e5361547efe20176bb525e40","datavalue":{"value":{"entity-type":"item","numeric-id":275783,"id":"Q275783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2218982$F74C0486-27A2-4733-B326-4E1CE4DBC7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f89acfbe4958f0bf2bcb2d94e918b87fcc1d8e0f","datavalue":{"value":{"entity-type":"item","numeric-id":2218980,"id":"Q2218980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2218982$68D20C40-319B-4B80-9AC1-C6048F87A639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"049cb35d7fd60d60e4337fefe5d60945d88f352e","datavalue":{"value":{"entity-type":"item","numeric-id":369938,"id":"Q369938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2218982$5DB91E63-B0A9-4611-8DF2-3D993968207C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"743b3995c6a54eb07f6298e77e50a611c2a60168","datavalue":{"value":{"entity-type":"item","numeric-id":2218981,"id":"Q2218981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2218982$8CA27E3C-C771-441F-A9D4-9E8D03A95AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"209dc62ed13e60bcdc8535158e2efea9af233b86","datavalue":{"value":{"entity-type":"item","numeric-id":209793,"id":"Q209793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2218982$F98C78B3-5B5B-49B3-9B64-B1EAF7F469D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bd0361d59a727a9500ca078b0f9d7cf220f3e8c","datavalue":{"value":{"time":"+2021-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2218982$6288303D-243F-4AC7-BA7F-9F938A8251C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e1f144a9ab7064f6f8c78503075f6cd455ea06f6","datavalue":{"value":"94A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2218982$6AE866D5-3245-4EFB-936E-66D4A3840F2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8c2db9948d014fb89398efcb38b369e2b2bd040","datavalue":{"value":"7297656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2218982$2FD14D85-E0AE-43F3-BB2D-B93AFE4AA2EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9f30d6ad0e8b2dea38e7bf4438758e8f4535691","datavalue":{"value":"intransitive noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2218982$C46F9389-A910-44FB-BC3E-D400B91B009B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2218982$F647A211-E07F-464A-9197-CDC94E07FAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec707c79661490b018dc05dd8f761064395e9651","datavalue":{"value":"noninterference verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2218982$0F24A251-6359-4A7E-8FEF-22761B2CE32A","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":"Q2218982$3C732C80-4FE9-4CFA-9E1C-CBB59B02E657","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d815f022192d39c64894e7c98df7fa65da76b4e3","datavalue":{"value":"https://doi.org/10.1007/978-3-030-01950-1_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q2218982$3F5C5DB6-E6AA-4F3A-8C77-BD75BA6BF053","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b91152ab56b9fb6229f0c126d196b4543265ac32","datavalue":{"value":"W2898293931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2218982$119C005E-82FC-4A54-95D5-7DDF5BC58849","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1628ec72dc1491fd2d719d90b3f2daa94f9f79b9","datavalue":{"value":{"entity-type":"item","numeric-id":439858,"id":"Q439858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3255137a2eb4f60265434bef7936591696c306","datavalue":{"value":{"amount":"+0.7820345163345337","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":"Q2218982$7D86A9D3-2BC5-4921-A2ED-DC1A33D3368A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e285570ad8985431784f8c43ec132238862c0e20","datavalue":{"value":{"entity-type":"item","numeric-id":5490407,"id":"Q5490407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7210bffed2e208a944998a32a3161a4783d57943","datavalue":{"value":{"amount":"+0.7773704528808594","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":"Q2218982$518FD969-D837-4DBB-850C-8899C4DA2FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69195272387bc3e2d1d8f36830024dffe17c5b53","datavalue":{"value":{"entity-type":"item","numeric-id":2848479,"id":"Q2848479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ecfb4d503a5e9a315dcddc167f7cc0f4f03a0be","datavalue":{"value":{"amount":"+0.7662885785102844","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":"Q2218982$84830338-186C-455B-B80F-ABBAA066BEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cacef61f480d4f9c11d6d3eca293e98f8ee55c","datavalue":{"value":{"entity-type":"item","numeric-id":3146271,"id":"Q3146271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4ee4d1f186526d2ad5102e50311352ad7a717d","datavalue":{"value":{"amount":"+0.7638505101203918","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":"Q2218982$1A40E0F5-437A-477A-A208-6FD9ED1B6C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a61f1721c306d6c096dd2c1cc8df2cdfea25e1d","datavalue":{"value":{"entity-type":"item","numeric-id":826053,"id":"Q826053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee933b8a1296ffc83695cf19405dfd250285729","datavalue":{"value":{"amount":"+0.7421489357948303","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":"Q2218982$B4A13FCD-C35B-42FE-91C3-CA1DE82F91BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2218982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2218982"}}}}}