{"entities":{"Q6536309":{"pageid":14147452,"ns":120,"title":"Item:Q6536309","lastrevid":55636954,"modified":"2026-02-17T20:08:08Z","type":"item","id":"Q6536309","labels":{"en":{"language":"en","value":"Existential types for relaxed noninterference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834964"}},"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":"Q6536309$008EDB24-E6B2-4868-82C0-03464BA9D081","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8427edcc572b40f2958975be7c641eaa03486a84","datavalue":{"value":{"text":"Existential types for relaxed noninterference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536309$790FA7DF-0402-48F7-B7A9-82B92BB55949","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c740c8f43eaebec2bdf51b8b555ca29c77ce6fef","datavalue":{"value":"1542.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536309$EA0C26BF-B599-4666-B6FF-BCE7FB273400","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"204721abce62da7dafaf27684f2d5d16996a56d4","datavalue":{"value":"10.1007/978-3-030-34175-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536309$7FDC8F76-F0C1-427D-82C0-A4A974B42BF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0accbbee69f06ce969d14856373eeb71bfbe8ca0","datavalue":{"value":{"entity-type":"item","numeric-id":6536308,"id":"Q6536308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536309$CA5CC845-5682-40BB-9311-DEFC0A8EFDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19fabfa06536443b38e263e6eb9f1c99dcd7a5f0","datavalue":{"value":{"entity-type":"item","numeric-id":608344,"id":"Q608344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536309$931E9490-14D5-4153-946C-34169D9936E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-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":"Q6536309$A921BC66-61DE-4331-AD4C-2D6D15327CB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536309$3436BA1A-58B9-442F-9649-D69882E3F4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536309$02BABD34-8ABB-418D-97D2-AEBF11FF7640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e464d4a63eba42c5785499d111165d9ca6a4267b","datavalue":{"value":"7834964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536309$435F6D62-FADC-440B-B35D-45C25B23AC1D","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":"Q6536309$FF66FF52-510B-424B-8303-2E6399884090","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e540e9037d6b40bc6045b99bb685bc55f586971","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536309$A4D254BF-5F4A-4E08-9344-9328A671B5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24d6af738b6fddfee72c9f0465a834de542cce4","datavalue":{"value":{"entity-type":"item","numeric-id":2981948,"id":"Q2981948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536309$8B674AF6-0027-4D37-961C-68240BB72DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"069a0a13002fffcbcc394b3f9a4a9963ca907c9e","datavalue":{"value":{"entity-type":"item","numeric-id":5370849,"id":"Q5370849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536309$679C0B81-FFAE-49F8-8D64-68DC14FF902C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e2717d9aa3fcb9f4f7d426d9776c063f68071b","datavalue":{"value":{"entity-type":"item","numeric-id":5276143,"id":"Q5276143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536309$E85AAD9E-DA01-4FDA-B814-543A6D8AA6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536309$394C2540-AF6E-4879-985F-A42FB28F8DE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2677ae2e2a9ad435309a43b91f6bff9d89c08804","datavalue":{"value":{"entity-type":"item","numeric-id":276494,"id":"Q276494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a78d18afc96bc8efadf29d0ad78f6160c3a1c6","datavalue":{"value":{"amount":"+0.7882558703422546","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":"Q6536309$8839B068-FAEC-42E5-A291-641AF841DF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91dd2f766abe7278e9f71c4b832fb6e76bdd469","datavalue":{"value":{"entity-type":"item","numeric-id":5458399,"id":"Q5458399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c14e71bad35ca14ca5353cd493e668a871ef37","datavalue":{"value":{"amount":"+0.7676257491111755","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":"Q6536309$4F3A297E-9E15-4D01-A627-9D8EB9254922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d858ebde27d0d963ad9abed57c842769e9614891","datavalue":{"value":{"entity-type":"item","numeric-id":2943356,"id":"Q2943356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472f4a1cacb0c2f942fd9dbcd387282796ac292f","datavalue":{"value":{"amount":"+0.7370069622993469","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":"Q6536309$86C1FA34-FF46-4AB7-8114-93C64A0A7B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7f3ea80c838ef025fef6eccd836316a545e9eb","datavalue":{"value":{"entity-type":"item","numeric-id":5316571,"id":"Q5316571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e8d83777a4d13ae42e6224321e02b7ab37b708","datavalue":{"value":{"amount":"+0.7286567687988281","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":"Q6536309$41BA5922-DA5F-4079-BFEF-9A29E00E13C7","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":"b04f0004f45042ae16161d868ce2eb8da2cf90bc","datavalue":{"value":{"amount":"+0.720598578453064","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":"Q6536309$04C8B27B-D02E-441D-B9B4-7E66D0B67B5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536309"}}}}}