{"entities":{"Q1680560":{"pageid":1691301,"ns":120,"title":"Item:Q1680560","lastrevid":68125656,"modified":"2026-04-12T21:36:20Z","type":"item","id":"Q1680560","labels":{"en":{"language":"en","value":"Multilevel transitive and intransitive non-interference, causally"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807614"}},"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":"Q1680560$74945BF8-02F5-4D46-8026-3B3928900BCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d173be95843f67a01a753e6759602cacbb55cb35","datavalue":{"value":{"text":"Multilevel transitive and intransitive non-interference, causally","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680560$E3DD09A9-993C-40EF-9B89-65B0B3017DA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17ffc8ff889ea5d9ddd34a14e19d134cc1bb5719","datavalue":{"value":"1380.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680560$CE55F237-44E5-46C4-8DBC-2664F96042A8","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":"Q1680560$D2AC6775-2E63-4CB5-A089-C220A1EDBFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffab40db05aa684067104d44a5da49a9aa86d477","datavalue":{"value":{"entity-type":"item","numeric-id":1680559,"id":"Q1680559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$E29029D8-D392-40EA-B8E6-2AE47AD751DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$B1667EC4-B38C-42D9-AB43-23DC70EF45E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31b4e05ce401552e06c39f98d03ca03d178174b0","datavalue":{"value":{"time":"+2017-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1680560$4C3C7571-A2C8-4ECC-9435-3F90DA7B924F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28181cadd3c0a742b2debc2d2990126f56d28bb7","datavalue":{"value":"https://hal.inria.fr/hal-01631722/file/416253_1_En_1_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680560$D6617F85-6D2C-4F6D-B399-FA6B82BA479C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680560$9EA89EED-AB95-443B-8E76-BA81439AA848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680560$5E98ABAF-25D3-46B0-8D5B-09413DA4EDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680560$828D394A-2A7C-4F6E-A43E-0BD48881C5F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac00c62dee39c53b02129bcaf85b805db35516a8","datavalue":{"value":"6807614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680560$3503AC07-E0D9-494D-8D61-A511B94A1D59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c17b0a1a688ca9167771e8930cb3bcf89688538","datavalue":{"value":"multilevel non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680560$E8BBF927-3BAB-44A2-8B78-2F4FF34249C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcc2e10c2cfb52f6b6c0bf21370352c9c715aa6","datavalue":{"value":"intransitive policies and downgrading","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680560$21BD7142-969E-43B3-B678-E7D43BD061E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680560$457D30D5-FE97-4AFA-848A-C13EA92A2CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2e391cabed8f7913d2b42ecdfbcde8c8de26c37","datavalue":{"value":"unfolding semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680560$5A973414-C487-401D-93D0-63D0C2D674EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c798bc82d40898e5a150c07cc309b46baa155c3","datavalue":{"value":"true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680560$AD776A36-92D2-4F1D-AFD3-3ED2F7F6B86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680560$CD6933F9-9436-4FAF-8366-F872AE26155B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b63416d352770f4f8c0811340e4c96e99b8865a","datavalue":{"value":{"entity-type":"item","numeric-id":28416,"id":"Q28416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$2E60BFB4-2F40-4EE3-BE50-FFA01B8BABBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4dbdc912611745a0da56e8c930de8ff1e176814","datavalue":{"value":{"entity-type":"item","numeric-id":33993,"id":"Q33993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$A4BDD45B-AB87-46D9-BA74-FF1710FCC0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63003411d8d723cd3d162a941888604c9f1e769b","datavalue":{"value":{"entity-type":"item","numeric-id":33994,"id":"Q33994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$D934FCD4-12DC-468A-B742-97A3A5AB0F8A","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":"Q1680560$726FD427-EF0C-4838-AB7A-3EFE277284B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3de054474ecb3cea363a9a919c32171e5a8b3e00","datavalue":{"value":"W2769121349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680560$CE1B14B4-A5B7-4CC2-9CE5-B0259060C66F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58740dc78be195735a0178b5f82807d6baa3630","datavalue":{"value":{"entity-type":"item","numeric-id":4798029,"id":"Q4798029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$1D9D43AA-A123-43DD-8DCA-656F38833482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5174835849373a225a1c47a2e276f8d68f30a3","datavalue":{"value":{"entity-type":"item","numeric-id":3655757,"id":"Q3655757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$F4AC74D9-686E-4AE3-85BE-45AD46155AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54483b8cbe23bd97be4232de4eeca6d7034b6293","datavalue":{"value":{"entity-type":"item","numeric-id":2803575,"id":"Q2803575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$8890FFE0-3E5D-46F0-B028-C59469C46460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$9C28170D-E619-43E1-91EC-EBC1EE140F0C","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":"Q1680560$237A2F6B-6FAF-4A0C-984A-40EBA7B754BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c8cf87b2499bf8e4f0ac61196776ac806ad459","datavalue":{"value":{"entity-type":"item","numeric-id":3092180,"id":"Q3092180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$8C22FCBC-6794-4FDD-B6A2-4B6B8AA8168A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$7B307008-B87D-47EF-86A6-043E6508970E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f4da4dfe5d34b9315297ae73f401ab40eab8a7","datavalue":{"value":{"entity-type":"item","numeric-id":1346650,"id":"Q1346650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$A93BB2F0-95E1-4670-B21E-0D77A46A33AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$E7469150-9476-449C-89DB-7B4FFA89AD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603ac48220d1370f6e2e80daae90af21246ef5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4371024,"id":"Q4371024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$D13FB2DC-C103-4424-94DA-D5F2D6C40089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$66FA161A-78CE-44EE-9EA6-1B61634D9A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a656b187c7b083ba215218dfa7d7b2dee82847f","datavalue":{"value":{"entity-type":"item","numeric-id":4978967,"id":"Q4978967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$32BC3003-52AF-478B-8CCF-83D445CBFEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0fc69438e8f6c9c588077ebe4d5bde2026f8de","datavalue":{"value":{"entity-type":"item","numeric-id":2894328,"id":"Q2894328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$9E917EA1-336B-4159-968C-379638A432B8","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":"Q1680560$3993190B-41F2-4589-9B12-21877FF585DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba736d12b0ddb1288a9f5a0bdddcdbdfa89750d4","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$8FFB1F67-4D03-476F-A5A1-A91FF68E83F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c5680ae88a146fc5e76e0ee283c381b56194ca","datavalue":{"value":{"entity-type":"item","numeric-id":3449627,"id":"Q3449627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$5ADE55A9-E852-4083-B7D4-93C09AC97384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d655abf575462a0349900097d1ae485fa26dabbc","datavalue":{"value":{"entity-type":"item","numeric-id":2945719,"id":"Q2945719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680560$F19E9C74-F8D4-48A9-8682-E3F4FD668B12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cca0add4b90c6826f64379fcd1be8f16b2fdeaeb","datavalue":{"value":"10.1016/J.TCS.2017.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680560$AF6619DD-4DF7-4EF8-9B44-9F8330DBBD83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7979812e01c4c1b2bc1a2dedd2dab888164e0b03","datavalue":{"value":{"entity-type":"item","numeric-id":3092180,"id":"Q3092180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6008329860825748de9775629ea46369892e7b9e","datavalue":{"value":{"amount":"+0.8391517996788025","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":"Q1680560$C69B5084-79FD-42B7-85EA-2E8CA9F2D89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b7264fd5c7beea3e8411ca9dc5d6f624496713","datavalue":{"value":{"entity-type":"item","numeric-id":2803575,"id":"Q2803575"},"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":"Q1680560$73493F5F-C2CA-470E-8DA3-337F60296825","rank":"normal"},{"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":"a737344a6b3d86dd9ecff61b474665e39a97f3e9","datavalue":{"value":{"amount":"+0.8047829270362854","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":"Q1680560$9C2FDF71-3C55-4F7E-8B26-89D241B0EEBA","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":"95e48aa8f8c60ffd8da4a991b1c05b4a80af3729","datavalue":{"value":{"amount":"+0.7763107419013977","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":"Q1680560$483764AB-1077-4466-9915-1B2A13D665CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c569f3fc6d04953568f9f6d3884edc1f110764f2","datavalue":{"value":{"entity-type":"item","numeric-id":5268427,"id":"Q5268427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23bc1fe01cf1bb57adbe7a2a953f749b2685a4a4","datavalue":{"value":{"amount":"+0.7756243944168091","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":"Q1680560$4BAFE22C-399E-4B4A-B583-4D6074B03DDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multilevel transitive and intransitive non-interference, causally","badges":[]}}}}}