{"entities":{"Q2165480":{"pageid":2176223,"ns":120,"title":"Item:Q2165480","lastrevid":57754530,"modified":"2026-04-01T07:11:15Z","type":"item","id":"Q2165480","labels":{"en":{"language":"en","value":"On reductions from multi-domain noninterference to the two-level case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573676"}},"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":"Q2165480$3C677C42-6825-44F0-9BB5-3DBC0FE657A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"963136d570d92cd699508475953a93add2d035e0","datavalue":{"value":{"text":"On reductions from multi-domain noninterference to the two-level case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165480$64A27C61-5E09-4605-94BB-DF6B720DA5F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14f108fdfae5c5642058f74a61bb248656dd8c91","datavalue":{"value":"1499.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165480$EFABB78D-89F8-4198-98D8-42484FAA3E52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c6018d9383454c5b106c192637f594b4f5704e4","datavalue":{"value":"10.1007/978-3-319-45744-4_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165480$4E631F17-E22F-46B3-AD16-E65F22C6422F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd7ee6cbec5a47b6cd0296cb6822864698ad43ba","datavalue":{"value":{"entity-type":"item","numeric-id":2165479,"id":"Q2165479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165480$5EC94413-A6DF-4F0D-B825-182DC685D4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7965b744c3ad82b3b70060228ee3b54966579","datavalue":{"value":{"entity-type":"item","numeric-id":278740,"id":"Q278740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165480$52CCE311-BD13-4CC1-8BBE-D7F0B9E18307","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2165480$A62406AC-CEF6-4E7E-A449-6193573F80FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42251425d70b1325f35809ccbd4c97175051b9f7","datavalue":{"value":"https://arxiv.org/abs/1605.00474","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165480$13E5EA89-FFD0-4F33-9D93-712823FF9149","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165480$09C77BD8-291B-4EBD-A2FF-E602D2B5F2A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96a752a78ade97adbdde89abbc07d361d7465623","datavalue":{"value":"7573676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165480$46E7CFA3-0927-4B17-94C8-C846FA793BBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61870c981b19bcee212c9c2ebab0264994cbe384","datavalue":{"value":"noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165480$D7E07345-0BD1-4ED6-95ED-69F67EDD6FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165480$1E9BC7EF-B4BB-4192-9A38-70F73C313210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165480$D927152C-FFFC-4D8D-8678-87D0C9F787E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee73d44829c8f8f4ce597342eed81b6819247fa","datavalue":{"value":"covert channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165480$B5325302-E1B6-41D6-BFDD-983AED6655C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bdf4af904aaf8627833a51dd24c7de2fd1a2f56","datavalue":{"value":"policies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165480$9D75A1D0-A512-49E2-ABDB-E9762CF8A89A","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":"Q2165480$C0218DBB-9254-4E8D-9D15-845B92CE5097","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5a2476f236f0682aade153cf96667e03cccfd58","datavalue":{"value":"W2346597194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165480$4695B00D-2115-4893-81E1-1598C2767CE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d12b11b9c6a3bdd84e48d844816df79a4e308fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5901850,"id":"Q5901850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e107ead53c1d5219e2469a974af167d604e50f","datavalue":{"value":{"amount":"+0.82900536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165480$D9AD88D2-3CA7-4AD5-9C93-D18E6600E63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8747fefca036a2ec27bf3a27df81925fbe7314a","datavalue":{"value":{"entity-type":"item","numeric-id":4943863,"id":"Q4943863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21490cd4e046d90258715d3efe3aaa349f9bb3f5","datavalue":{"value":{"amount":"+0.82731205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165480$50680A11-2BFD-44EF-8F38-094C11602A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbebc1004d215c1a3c2bb6c3a6a57cff57f8f3ed","datavalue":{"value":{"entity-type":"item","numeric-id":3184710,"id":"Q3184710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3203f85afbed068104928a5d1a1677b392e194","datavalue":{"value":{"amount":"+0.8255178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165480$1F7BCF6B-F5CA-4FD1-893D-2181CA105E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297824fd6d01e76f1dce6942107604a063809b44","datavalue":{"value":{"entity-type":"item","numeric-id":3088200,"id":"Q3088200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b13b3b5c697472922d8fddbfa2258387f2ef6b6","datavalue":{"value":{"amount":"+0.8248088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165480$59C7375D-FA6D-413A-8670-B7854D361DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aba4e7e8db61889f9737fc9f1227a4de4cbcbdd","datavalue":{"value":{"entity-type":"item","numeric-id":5889781,"id":"Q5889781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e49b506d1d93119afa36d47002d9b6e6da71fdd","datavalue":{"value":{"amount":"+0.81365824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165480$47013E3D-75B5-445C-8EDE-DCCF130436D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d612e0f3e215943f1170f7e0045941607d33d64b","datavalue":{"value":{"entity-type":"item","numeric-id":1648848,"id":"Q1648848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e49b506d1d93119afa36d47002d9b6e6da71fdd","datavalue":{"value":{"amount":"+0.81365824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165480$641CE098-589C-48D1-BC8E-56D99B0A007C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47bfb4be8aa0d860c00e9598ab8ef33670147b00","datavalue":{"value":{"entity-type":"item","numeric-id":6083594,"id":"Q6083594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3d04e4c3e306d1cfcc502ee51ba4ee7e490d42","datavalue":{"value":{"amount":"+0.812912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165480$9FDA3C97-90AF-4C20-A840-4CF95230FE8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165480","badges":[]}}}}}