{"entities":{"Q2226736":{"pageid":2237479,"ns":120,"title":"Item:Q2226736","lastrevid":57685905,"modified":"2026-03-31T22:04:21Z","type":"item","id":"Q2226736","labels":{"en":{"language":"en","value":"Reasoning over permissions regions in concurrent separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307967"}},"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":"Q2226736$CC9423D1-9F7E-4DA4-BE99-830F8C2EC239","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27e7f8a104cd4d7c57bf8c14ed8ae383834b35f1","datavalue":{"value":{"text":"Reasoning over permissions regions in concurrent separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226736$C221F44C-8AC5-4AD1-BF78-7254EF257CCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dde7020f2a162da5a617de5f5c2e15f1804a1c7","datavalue":{"value":"1478.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226736$56131211-8D06-4818-82E1-69EE0BF59067","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d86c0374580fc7f2918c9133ca6e5ad81e3bdb1","datavalue":{"value":"10.1007/978-3-030-53291-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226736$14E60223-52CB-4CEE-9F94-7727A67550A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b218d394a4f78b8be43b552938ed5e21a7cf904e","datavalue":{"value":{"entity-type":"item","numeric-id":1401935,"id":"Q1401935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226736$466D1CF5-1F64-4128-BCC0-6E8F4AF422CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e2a21dfa438853593e765821fd25fed751582d3","datavalue":{"value":{"entity-type":"item","numeric-id":777884,"id":"Q777884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226736$85980A40-9CD7-4EED-BD19-DA66F89F2955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9394590d5c791476eee96a2fc2c66d87e6d79c43","datavalue":{"value":{"entity-type":"item","numeric-id":832309,"id":"Q832309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226736$7775053B-4090-4F6A-8191-3A56BF965C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1db79a73f85c5893882ed7dfa6bcba56e72d8ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2226735,"id":"Q2226735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226736$4A420653-4829-4B6A-8C8C-3F6CD125830B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226736$55B3B44D-2DAE-4746-B121-DFC20E2574D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226736$4176E053-9AF4-416E-A748-0B84EEA6F352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226736$A63B3C5D-CAF7-4900-90F1-B2114153C4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226736$7FAD3F27-10DC-4970-9ACB-221AEBD5D351","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc500c0988daec10899823581b7c7cf4e9972544","datavalue":{"value":"7307967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226736$4ED085AB-7BED-4F60-BA8A-00BEEDBC167A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226736$AC08822E-0442-4DA5-A827-5BFC48621519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89cfc18aff65a9eeeed8950b1b8f1230186cc05e","datavalue":{"value":"permissions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226736$B15FA1D4-A2BF-49F3-A8F4-999BFB598406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226736$86303A93-5A3F-4C17-A887-05F96CE8983E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226736$B238B202-9714-4881-B534-BC00F1776E91","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":"Q2226736$055277AF-704E-46CF-8644-EA7E8C88170A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dc5d8592a7bc54ab0d3b9ab9d04edd41027fef7","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53291-8_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226736$54AC6957-B28F-4A79-909D-F88F63B53E40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"444c1863068ddfa62e28e3f188968e22c285939c","datavalue":{"value":"W3043523855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226736$AB85E291-0C44-43FB-AFD0-936E0F57B169","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229a3a0eba787aa84df1639600e3c6f3356421eb","datavalue":{"value":{"entity-type":"item","numeric-id":3557673,"id":"Q3557673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a96f62737503757b82810520ec12c815926bdc","datavalue":{"value":{"amount":"+0.819758951663971","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":"Q2226736$200B74FB-6440-41BD-9E03-95BD765AA8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df1785e636faf4aa05d203c2cd26321715f9fa0","datavalue":{"value":{"entity-type":"item","numeric-id":763473,"id":"Q763473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6e5342b8b0f4c05423306ed76ada7dc2ec0b31","datavalue":{"value":{"amount":"+0.8063822984695435","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":"Q2226736$BD2AA007-96F1-4684-89E9-159E13A89AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66f61bd715d58785baf7d2c51daa7fb1fc5e08b","datavalue":{"value":{"entity-type":"item","numeric-id":3224673,"id":"Q3224673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949399ec0be08085be2db7cab1bac733403261eb","datavalue":{"value":{"amount":"+0.79814213514328","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":"Q2226736$2382D7B4-C598-442F-9ABD-2135AE4CE24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b43cf4d3fb9c581af4c464d2e51eb039d021727","datavalue":{"value":{"entity-type":"item","numeric-id":2942883,"id":"Q2942883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d8356e944fd02dd8a6feddf45dfb8b89d1b36b","datavalue":{"value":{"amount":"+0.791642963886261","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":"Q2226736$FC863593-67ED-47B7-90B8-DEBD7A30169A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a150033483c8f26e46ffcf349d76a551cf29e0","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4577a7ee87f3a90d15dd2183b5bf58bfe76e367","datavalue":{"value":{"amount":"+0.7881116271018982","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":"Q2226736$E0D704BE-3C89-444A-A777-32767B98DDB3","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":"Q2226736$E48E4812-9B6A-4C5B-93CE-86D65485E975","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2226736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2226736"}}}}}