{"entities":{"Q1688559":{"pageid":1699300,"ns":120,"title":"Item:Q1688559","lastrevid":72516579,"modified":"2026-04-14T05:27:23Z","type":"item","id":"Q1688559","labels":{"en":{"language":"en","value":"Dynamic intransitive noninterference revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6823126"}},"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":"Q1688559$AF073314-4860-46E9-923F-F9F794C9163C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e359ebec731c429b60ebc2e4f3339a0745c5b3d7","datavalue":{"value":{"text":"Dynamic intransitive noninterference revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1688559$EA9265B4-6AB9-4D65-8A28-F41A88912E3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f56f5a3c0dbb4ab2902f582393d9cde4f1a8dec6","datavalue":{"value":"1377.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688559$52C73877-530D-4837-8C56-778B2CA7C56E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ee99b4f6c708a09f59614c061eff543c4ae64dd","datavalue":{"value":{"entity-type":"item","numeric-id":1688558,"id":"Q1688558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688559$370D582E-12B2-4007-8508-831615DACB23","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":"Q1688559$3EB32E67-90A3-49CB-AA52-6C1C00FB2E06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688559$664C34E5-9EB1-4790-B7DF-286CF02A9998","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59296522954f8d459370efc0222ca77af7f0a85b","datavalue":{"value":{"time":"+2018-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1688559$9BEE0339-4ABA-432D-B04A-D41C189D44BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28e2aac4f68e49e334526bc4f1e246a13f32d3b2","datavalue":{"value":"https://arxiv.org/abs/1601.05187","type":"string"},"datatype":"url"},"type":"statement","id":"Q1688559$325B6448-DBB3-45B5-99D5-BBF3CAA24282","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688559$E17F377C-E7F1-4423-805A-15AC56E319BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688559$DAE59F3A-7EFC-4EC4-8F28-7F318F7AED4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb3b489e7833c65ac8d831050bfb147f1e8061fe","datavalue":{"value":"6823126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688559$8458BC45-85D4-4BF0-9924-36270438F6E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688559$A3D98673-EFB6-4868-8A05-E991DBB6DE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688559$A90711FA-60F8-4F88-9F0A-9543C0893335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f59caf1f03985f9010aa71556abedb0a34e5f0b8","datavalue":{"value":"access control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688559$20B12353-6B80-4F56-B0A4-C6F756606A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3da404b8d92192d24f22d5bd5254d9f160fdc2a9","datavalue":{"value":"proof techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688559$5FF124C3-83D2-4F8D-A604-9F3F492A7B47","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":"Q1688559$AF4F1836-57F1-4EC2-A2B1-C0C6C50FEBE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19bb3e446a02aa04016b5bf445643e6b3cd738e1","datavalue":{"value":"W2296228066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688559$4404F534-90D2-4542-BF38-833291E13D98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3632786669af8b0dc3e0bd7166aee3ee70e8ff","datavalue":{"value":{"entity-type":"item","numeric-id":923889,"id":"Q923889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688559$49AB2AE9-C11F-40AC-B39F-FFF5481EFF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856646d647cec35e4f1b7be9353b91e886727712","datavalue":{"value":{"entity-type":"item","numeric-id":5899016,"id":"Q5899016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688559$CED5E8CE-7CD1-4C52-9EE1-D7496414FD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2466d29403b23e608c3efdab8ed8f4bdc7460d75","datavalue":{"value":{"entity-type":"item","numeric-id":2849922,"id":"Q2849922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688559$5AAE1491-6E80-4EEB-A111-FF3245C5A248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab27431165540664640d5aa634c6148768b5aab","datavalue":{"value":{"entity-type":"item","numeric-id":1356940,"id":"Q1356940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688559$630286FD-E876-49E6-A75B-CD3F421DF73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688559$18C07613-2E49-4429-80C4-50B3C19D1998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c3e9d2aaa3b076c04e44188e92a5a39a71ffde","datavalue":{"value":{"entity-type":"item","numeric-id":4916056,"id":"Q4916056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688559$45CD069B-1C36-4EFB-BB6C-98F0488D4BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595225a1586589c994d1b4e1078bc39462b57cac","datavalue":{"value":{"entity-type":"item","numeric-id":5464062,"id":"Q5464062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688559$585B70A4-A0D4-45EC-9745-C50DC2FCAD5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"506589d399861614b1e521bc0e4c73f2d92eefa1","datavalue":{"value":"10.1007/S00165-017-0430-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688559$A1DE2065-8DE2-4AA8-9032-2C145847A94E","rank":"normal"}],"P1643":[{"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":"0e206e53e9db3887df2872d43d41ead66446ef76","datavalue":{"value":{"amount":"+0.8213768601417542","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":"Q1688559$EBB7280D-A961-4E6F-8E05-EE096C770771","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":"75234ec91ff5a21d69daa9ece80d47ca607d5c7f","datavalue":{"value":{"amount":"+0.793840765953064","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":"Q1688559$2F161DDC-7A06-4ACE-A6D9-7A64AB3E5D04","rank":"normal"},{"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":"a95152fee14b666fa2227a99861c434e251819c3","datavalue":{"value":{"amount":"+0.7653163075447083","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":"Q1688559$A6FE222C-EDB8-49E3-B690-821C25A9450D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a298543e0910e8bfa44d6e83af30089fcfe489a","datavalue":{"value":{"entity-type":"item","numeric-id":3184709,"id":"Q3184709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd4d5758cbb309227a83e36edf8202ce5010cc6","datavalue":{"value":{"amount":"+0.7602301836013794","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":"Q1688559$EA23CDDD-322F-4B58-9589-AEA50E2F6DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6eeede0896b6d3a9ab2266fc897f289a6a7cc80","datavalue":{"value":{"entity-type":"item","numeric-id":5276143,"id":"Q5276143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b69462cef9c1b2f547eaf9d6d1cd41f866e69b6","datavalue":{"value":{"amount":"+0.7552902698516846","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":"Q1688559$2D29D825-81D4-4925-9364-E8BB425C031C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic intransitive noninterference revisited","badges":[]}}}}}