{"entities":{"Q3625692":{"pageid":5655598,"ns":120,"title":"Item:Q3625692","lastrevid":80839196,"modified":"2026-05-06T17:06:58Z","type":"item","id":"Q3625692","labels":{"en":{"language":"en","value":"Thread algebra for noninterference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551436"}},"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":"Q3625692$2289FCC9-1D45-4D32-9D55-E26D87223714","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fc835d19a5b37ea3edfbc447e041c15f929be00","datavalue":{"value":{"text":"Thread algebra for noninterference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3625692$DF477B38-51DC-48C7-B15B-738D69E7482B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ca97e91eae12a43e88babc845f3ab28563beb3b","datavalue":{"value":"1166.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625692$6C2EF66A-AA88-4446-92B7-36D704A77E05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a80c4b274f4bdbe6cfe8407987da766fc202ec","datavalue":{"value":{"entity-type":"item","numeric-id":955711,"id":"Q955711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$B1A200CC-BF69-4138-AC4D-C5B4F9D1F3A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$2D9441D7-EE7D-4D84-80EC-4279D0D584E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d5ff1dc86e495b18ee5143b26eb302034c24729","datavalue":{"value":{"time":"+2009-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3625692$0503A681-16B3-4915-BB88-EA9A089B6255","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d9032ea7a31480269ee6f1c0297a7c11bdd4a2d","datavalue":{"value":"https://eudml.org/doc/92915","type":"string"},"datatype":"url"},"type":"statement","id":"Q3625692$1CD03381-1E6B-45E1-8A13-5CCA471A51B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"088cc6c16e99a6ff02e4c6426e3b3d1b7c01eee8","datavalue":{"value":"https://semanticscholar.org/paper/0d8aba73d425af81d910d66ef9c166a6bcd94f91","type":"string"},"datatype":"url"},"type":"statement","id":"Q3625692$83D004C0-3261-440D-92D1-BBD54BAE0438","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625692$83B0EA2C-3F02-417B-A513-4111769F9C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625692$94E49962-A7AF-40F3-8A66-9B44D9A0946E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625692$BF739E91-D958-4333-8296-B9E97A14B459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625692$22A66615-EA09-4260-8DC8-C7479600A3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625692$79BE90A6-1548-4B19-8439-0E4A19759BD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"523fa535246086b2d989598067bac56cbb30e65a","datavalue":{"value":"5551436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625692$7A3E2052-4D18-4833-B5D4-5215DFD84970","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61870c981b19bcee212c9c2ebab0264994cbe384","datavalue":{"value":"noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625692$DFEF756F-CAA4-4A57-836D-CF4F6DB55391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d235fa3ac1188412742ce2cc3566f249a5718377","datavalue":{"value":"thread algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625692$43C722BC-3BEA-4822-A790-633EF761D7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625692$8C70DD9E-0BF8-4414-A4E9-8F6890D303A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b39326ec6a8b68c1730c20a732ac8b439b202cf","datavalue":{"value":"security verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625692$D8195C0E-C11C-4D6D-A070-E5B9523527CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75408df2392895bd54a3dc918909e684a1d8539d","datavalue":{"value":{"entity-type":"item","numeric-id":41340,"id":"Q41340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$E290B4A1-49ED-41F2-8BF9-27BD183D0673","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":"Q3625692$5D234EEC-51C7-4FB5-B0C3-AADE07A70553","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6b9aa5478dd6638cd017e7dc423f55d3c98eba2","datavalue":{"value":"W2115628510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625692$38F68405-7E7A-4FF0-814D-27009EECABE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ddd70adb898992a0a52ba8ed78c1e961e471e0","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$CAD61C6F-64F2-4C9F-B61B-0CE865967D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728ee5d873e9eb90d9e52a2b7bd367c8025cb4dc","datavalue":{"value":{"entity-type":"item","numeric-id":3341873,"id":"Q3341873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$11E279C8-80E8-4638-AAE9-3B5FDB5F070B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd04c46264bb288085662e17b6e498a9e39c983","datavalue":{"value":{"entity-type":"item","numeric-id":1858432,"id":"Q1858432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$74A0100A-6D4B-4D20-8F76-DCE9F2649790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044b85c9080326f6ae22b59473efabeb325dcd51","datavalue":{"value":{"entity-type":"item","numeric-id":2461536,"id":"Q2461536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$B72AB2CA-08C3-45B9-90F2-6CE4E9D5F8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37841ba30fa0ae5849e4df0504e256da649b6138","datavalue":{"value":{"entity-type":"item","numeric-id":5717067,"id":"Q5717067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$06C3F644-82AB-4F87-8925-37491CDF61AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe26c487f61815cca9e6ae8b5bb80a079c904e00","datavalue":{"value":{"entity-type":"item","numeric-id":5458071,"id":"Q5458071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$E461D693-9985-417D-928D-FDBEE11B158C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e2f2e225999cfe19eb8e3facee4c49fe6d060","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$C892ECB5-97C8-4363-89B5-5264F57CF2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002b8b0228c656d63cc771cafa4da2917ced7b0f","datavalue":{"value":{"entity-type":"item","numeric-id":4085248,"id":"Q4085248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$8B7C8F85-ECF7-4055-A934-57FA8939576D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$B8D48D76-628B-4467-BB03-B29B7FFBF3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$C15FC422-5788-4E9A-9C23-5C7BA5C4DE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$7615F5D5-5F66-4D56-B71D-AF80C5DBFE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$2B0F3E26-7C64-4335-AF1D-544C6251B593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$3C31539C-EF67-4F64-9BB5-D0DFF3A75FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab62db6a9e9da99496436db376bedcbe341a3c97","datavalue":{"value":{"entity-type":"item","numeric-id":4411973,"id":"Q4411973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$99087A4D-F711-4878-87A5-1EB0EA17ABA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46fc7b5d72ca5b23f906a8d1d41210ff546d39ad","datavalue":{"value":{"entity-type":"item","numeric-id":2469153,"id":"Q2469153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625692$16279CDB-E372-40D6-8E79-6AB0C240AB4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02f6a40d2bbb3d1e2cc449f107bc36b1100a1d4b","datavalue":{"value":"10.1051/ITA:2008026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625692$65DF0444-0A05-417E-B94D-1EC1785B8EE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9bc9bb8d219642bb8de3b6b0dfd49438786c61","datavalue":{"value":{"entity-type":"item","numeric-id":5898842,"id":"Q5898842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59a28475520825aee1ef5d766e0edc44c818ff0","datavalue":{"value":{"amount":"+0.781892716884613","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":"Q3625692$F082320F-D057-4BF1-9771-6B9B4E9C8A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1eb99e5133144c0e534a7a04544a41333974f54","datavalue":{"value":{"entity-type":"item","numeric-id":2469153,"id":"Q2469153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6a23573715b3992e452c86a7c4f82ac5732f68","datavalue":{"value":{"amount":"+0.7770113945007324","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":"Q3625692$F7E88D1D-4F58-4FEA-B5FD-640B1DCCDDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c94088766678bb396f5b0ef7bf9227f7aa97ad","datavalue":{"value":{"entity-type":"item","numeric-id":2461536,"id":"Q2461536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d4d3def15ba1c57ac86fd56962d3885b7a8604","datavalue":{"value":{"amount":"+0.7754464745521545","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":"Q3625692$95D3499F-1D4C-4901-B594-6A0F64082A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0c93eaa6e80b4e4962ba277c85014e8c7f52e0","datavalue":{"value":{"entity-type":"item","numeric-id":1603688,"id":"Q1603688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d18a4243ec22be143605ef9fae0388475c70de9","datavalue":{"value":{"amount":"+0.7691056728363037","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":"Q3625692$20E07B03-6233-4A4C-9B1B-FA2A07746077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88b49a54dd50e5c1b09656907ea0e3acf258dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4535032,"id":"Q4535032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af59b1f0927716765a31c8630f1c7a78b337b9c8","datavalue":{"value":{"amount":"+0.7346974015235901","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":"Q3625692$6BA11779-40B5-4504-95B4-27CDA763CCB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Thread algebra for noninterference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Thread_algebra_for_noninterference"}}}}}