{"entities":{"Q2803575":{"pageid":2814313,"ns":120,"title":"Item:Q2803575","lastrevid":52520066,"modified":"2026-01-22T21:00:42Z","type":"item","id":"Q2803575","labels":{"en":{"language":"en","value":"A causal view on non-interference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575695"}},"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":"Q2803575$DBE4CE3D-6940-4E9F-9CE5-9910E9908AD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f91cb4f0c96a73e679feb363ac440d467bcedbab","datavalue":{"value":"1335.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803575$45B1AF6C-02B3-4843-9EB5-1B3FCD50B344","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98089afd68a5bb2de7a051c3b279edcbdf8ab8c4","datavalue":{"value":"10.3233/FI-2015-1243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803575$45DF127A-DE20-4106-BA1A-B9A7FFEB448E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2803575$628E2839-6CD0-401F-AFFF-9564C1BBAA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49333e84b835a1566132140381f9e41e38acd7a0","datavalue":{"value":{"entity-type":"item","numeric-id":592096,"id":"Q592096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2803575$6D3E4A42-A788-48D5-B0C0-A897300F4CB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2803575$905F5757-EB4A-4C34-8F14-564249A487CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e456fdb4844415eea923a6e1b531b0c6eec91b1","datavalue":{"value":{"time":"+2016-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2803575$CCAEED95-3655-4BA8-9FA4-F43E646C33D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803575$8F72B262-5D4E-4548-8B66-A08010AFD982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803575$8E62B122-F720-419D-9977-821B88E103BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55ccdaa99a049c45daa7b2d961e192eb9db7c75a","datavalue":{"value":"6575695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803575$2ED01368-A00A-4565-A9AC-2A75BA83D01E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803575$5CE1F9C1-01E8-4F16-8F10-5DC7BAD9D716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803575$B1222910-4979-4E24-992E-61BA36B584B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c43a25bb73b2a27c07a14433078a89dbba244d43","datavalue":{"value":"bisimilarity-based non-deducibility on composition (BNDC)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803575$D8A557CC-DC8E-4910-BD8B-AB9EF56841A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803575$51BF9A7E-B470-46B6-B037-63901B2C22C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c798bc82d40898e5a150c07cc309b46baa155c3","datavalue":{"value":"true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803575$B2AF44FE-6551-4E37-8BC3-D8979C31E8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803575$AA8728D4-EC19-4934-B163-8304E996299A","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":"Q2803575$10E77CCE-CA2A-4EB1-A1D9-814B5CDB1B3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e101c67d50580d9f51c920cc982f8543050d6f4","datavalue":{"value":"https://doi.org/10.3233/fi-2015-1243","type":"string"},"datatype":"url"},"type":"statement","id":"Q2803575$BBC56C56-B4BA-42FD-8FC3-3F6DA99D10C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5bed8834d54346bcc1b4e08c2fa73e2635573ec","datavalue":{"value":"W1474311139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803575$FCFCC3B1-3BFE-460C-B89E-4A5E34C7FC51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d781f18c2a78b439e23f207a7fc509d359f15de","datavalue":{"value":{"text":"A causal view on non-interference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2803575$E05C6EF5-2099-4CD7-9D47-4C6AC981C121","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe62281b7c7b2e69a2ecf0ea196a294d704dee13","datavalue":{"value":{"entity-type":"item","numeric-id":5166764,"id":"Q5166764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59972e6020d524bec7e9f340c127aad750e5750","datavalue":{"value":{"amount":"+0.9632256627082824","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":"Q2803575$CA335980-6102-4756-836B-C054E17F0AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37bbc03fa1d1c94f8ea82a1ebe0093db96cd9db","datavalue":{"value":{"entity-type":"item","numeric-id":5712299,"id":"Q5712299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b1ebec82b1c87a3800a2ea5ed111020d426bbb","datavalue":{"value":{"amount":"+0.8475386500358582","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":"Q2803575$725B2434-1D72-424F-8199-F214435F24C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d5905cd5437ca82b90e0b232427a767d556069a","datavalue":{"value":{"entity-type":"item","numeric-id":3655757,"id":"Q3655757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212a411844deb1939e06165cda1c80af78e4435b","datavalue":{"value":{"amount":"+0.8435438871383667","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":"Q2803575$118F0929-2A13-43DE-9307-7DB51F06F19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebd22aade95d7d44e2f17901bafe1e38eeda64e","datavalue":{"value":{"entity-type":"item","numeric-id":1680560,"id":"Q1680560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a672eac48aaf78fb0e0d9a83c9e9695cbeefc430","datavalue":{"value":{"amount":"+0.8176590204238892","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":"Q2803575$00A65BB5-62D4-45FD-8878-67DD9A2AC607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"386896d0f912127c1b7a6b72918c2d6a3609f395","datavalue":{"value":{"entity-type":"item","numeric-id":5712327,"id":"Q5712327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf65597fc0df5862ce9a94937bf2e5633e48fd9f","datavalue":{"value":{"amount":"+0.8169695138931274","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":"Q2803575$0CFE0F6E-4449-4A60-9C6D-41FAEAAF5B5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2803575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2803575"}}}}}