{"entities":{"Q6154881":{"pageid":13289277,"ns":120,"title":"Item:Q6154881","lastrevid":56779368,"modified":"2026-03-23T14:06:26Z","type":"item","id":"Q6154881","labels":{"en":{"language":"en","value":"\\textsc{SecCSL}: security concurrent separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805825"}},"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":"Q6154881$FBE3C64D-99B9-4F67-9A82-D7A9EF1A4530","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d9c8ee84d928adce62ec9ae78c1a4a183c24967","datavalue":{"value":{"text":"\\textsc{SecCSL}: security concurrent separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154881$B4980625-9111-4D79-B04B-8375549EC6C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"826e453335676b245319517ce7a7490bfa16af88","datavalue":{"value":"10.1007/978-3-030-25543-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154881$47D7EFA1-34C8-456A-8272-0DACB67826EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7516b2d7041865d357795becaaf644e1bfab9ce5","datavalue":{"value":{"entity-type":"item","numeric-id":1798667,"id":"Q1798667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154881$C4EDBFFF-2792-4DED-BB6B-542BD359E6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e6c2a5937a40e685c427c9b959ad4c359ca8cc","datavalue":{"value":{"entity-type":"item","numeric-id":287363,"id":"Q287363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154881$A52B8ECA-BE4A-461F-B4AE-AA4BC9F6E2FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154881$1384771A-2AF8-4D8A-95EB-430D6B9B7C7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-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":"Q6154881$BEA27898-9239-4837-9D05-74A9CF17E6C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154881$C1F759A4-0C80-4B79-93BA-5F8636BC2EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154881$CFA800D2-EE08-4EA2-A709-7D0D4940B44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154881$C9611CC4-087B-4851-B89F-417EB2F98190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154881$14674F92-B36E-44F5-909F-3C22FD92A320","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d147ffee0eedca6d6e1cf4cc47c27d51bc037e46","datavalue":{"value":"7805825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154881$DAB999AF-158D-4619-A323-B15C774F51E4","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":"Q6154881$99D59794-4E7D-4277-97B0-17C71DF28AFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3038872d68903fde2fc6912218eae3c4f3d569c9","datavalue":{"value":"https://doi.org/10.1007/978-3-030-25543-5_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154881$EC6F7CB7-6ADF-4A8F-8DB3-2815AA5C27DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e78178f4dc89c989dba7e10c1ca34d9f45fc2aa","datavalue":{"value":"W2957876159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154881$D58DE398-0863-4821-BEEE-ABBF117C806E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a79341a0cf952380289b3d1b5d38fa1220faa9","datavalue":{"value":{"entity-type":"item","numeric-id":2397039,"id":"Q2397039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8387f7a65f12473cf661529963775a5901f97770","datavalue":{"value":{"amount":"+0.7949071526527405","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":"Q6154881$B2A6F3A7-0D7B-4A9E-8D75-DF4A18536383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9544de41f81387be86297869277c1a82bc01c1b7","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbf821b511878933fd9d61bd5eaf66aa272c99e","datavalue":{"value":{"amount":"+0.77742600440979","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":"Q6154881$DAA4895C-144C-4E99-A4F5-205F1A5A4CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f72112ae0de9c4ec7fdaff364082f56a8eeb23","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c007e95b283a0a9f21d19ea34ea373b0bfdda534","datavalue":{"value":{"amount":"+0.7751110792160034","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":"Q6154881$03407139-4EED-45BD-A7AD-C6F044FEA300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7997923f8ea3695262a5568baba6a54518ed42","datavalue":{"value":{"entity-type":"item","numeric-id":5739365,"id":"Q5739365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e10b021b30a16bffb82e774257aeb12b554ab33","datavalue":{"value":{"amount":"+0.772743284702301","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":"Q6154881$8A2EE695-DDD2-4796-804D-3CEFD4E7F828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250b38a1e29c3e3ff15bf7a62e33bddf5f1884ce","datavalue":{"value":{"entity-type":"item","numeric-id":3178275,"id":"Q3178275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3852fca338bcb90be033193ddfaf72c02ff3ca7","datavalue":{"value":{"amount":"+0.7609954476356506","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":"Q6154881$971CD9A7-CF57-4C11-80E4-0376FEC024E1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154881$911B68C9-A1D0-4298-803D-5B73AB26758B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154881","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154881"}}}}}