{"entities":{"Q5276151":{"pageid":7305726,"ns":120,"title":"Item:Q5276151","lastrevid":52853891,"modified":"2026-01-23T15:49:21Z","type":"item","id":"Q5276151","labels":{"en":{"language":"en","value":"Permission accounting in separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6745860"}},"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":"Q5276151$1DAA6A77-C005-46EF-B8AD-4BAFE0CC9105","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bd8513acb36744a048cecd7dc1a65a0e2a8e77a","datavalue":{"value":{"text":"Permission accounting in separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5276151$549D4E97-9E81-4F8D-983F-5771A194A0D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd581b13dc2887cda1a7568f717526ade0709200","datavalue":{"value":"1369.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276151$3555768C-0B42-4546-85F4-9AE11400C7F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54852b0e352f1db3d288a1088217f11b23e368fe","datavalue":{"value":"10.1145/1040305.1040327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276151$E396621C-E898-4280-8200-C34B7FB360D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3396d8d6c2ec88284e647e78461450d99ea90ad","datavalue":{"value":{"entity-type":"item","numeric-id":469350,"id":"Q469350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276151$7CA61E96-54F5-4D85-96DD-699290DBF146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a7aa3b44f4693179521a8497c029ed5d3d49964","datavalue":{"value":{"entity-type":"item","numeric-id":964497,"id":"Q964497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276151$1E4E4402-3877-4968-B4DA-12573F53DF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd33ff146caa74aefde0dc36311b64aaa0675018","datavalue":{"value":{"entity-type":"item","numeric-id":2151271,"id":"Q2151271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276151$53C849F8-F80C-4184-91CC-E77574525D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276151$F0EF5CE1-8D64-4978-B293-AB2B44644BC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79790bc80339a734780920be2bb22fbbfdf8fdc7","datavalue":{"value":{"entity-type":"item","numeric-id":5276127,"id":"Q5276127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276151$5D4A8AFF-7C02-41E5-B205-7705FD98015C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e17da29f5e1bcb78c64e7bb3fa49945fe60982e","datavalue":{"value":{"time":"+2017-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5276151$0E81AB4A-CBB4-4338-896E-162C54C74203","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276151$FE593F49-8A3B-4047-86C5-68C8D745214D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276151$A920CEA4-D287-4AE9-9EB7-502E59F2EF12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3ae950e2988451f0107925ff61c5c87a46821f8","datavalue":{"value":"6745860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276151$C1B64472-35F7-4801-B362-7640782C1916","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276151$F4A7CEB6-C29D-4F66-B343-3E178894F76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276151$644D4BC9-CAAC-4282-9798-61D084CB7F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89cfc18aff65a9eeeed8950b1b8f1230186cc05e","datavalue":{"value":"permissions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276151$7209B957-D94F-4BAE-B5DF-EE97A3DD4FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276151$FFA6B7F1-4A29-4658-93B0-F5D8E7BF15E3","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":"Q5276151$15F12E17-DB2A-474F-AFAB-278F6B23F56B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90a22dfbc896b9f596bc00bfc5d1b4273f4eef1f","datavalue":{"value":"https://doi.org/10.1145/1040305.1040327","type":"string"},"datatype":"url"},"type":"statement","id":"Q5276151$84D4A7F6-0FFA-487D-8856-EE2CDC14CC38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fdd8124519e4bf147051a93fc072b77f75cd296","datavalue":{"value":"W2061341742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276151$DCD66539-AA37-4AE2-B13B-7A435746362F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c910643551b1d7a3432baf1f56566ff7416189a7","datavalue":{"value":"Q130884290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276151$D1578712-D36C-4AC0-AE11-A4775BF123C4","rank":"normal"}],"P1643":[{"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":"175e83baef4bc043028d69cd33b8bc1e94a4d1f7","datavalue":{"value":{"amount":"+0.8107686042785645","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":"Q5276151$E37EC095-52C9-41EA-8687-2EF23712D822","rank":"normal"},{"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":"cf664839c54092949bceccf3e1e9f735e5d394f1","datavalue":{"value":{"amount":"+0.8082641363143921","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":"Q5276151$62DDEC3E-F64E-45B4-9BC1-42EB188DD40A","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":"eedeb06a9622a5c73d40187b1d7ac54fec123f8f","datavalue":{"value":{"amount":"+0.8068545460700989","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":"Q5276151$E86469A9-9235-40BC-B09B-5CB3D7406A45","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":"5fae577bb70ac167d1303fcce687dba03d1a2eed","datavalue":{"value":{"amount":"+0.7995963096618652","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":"Q5276151$CFE498F7-88D7-40C2-830B-61B9983F7F89","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":"c0ae68e599c77e8e4d8eee047ce026300c6612e5","datavalue":{"value":{"amount":"+0.7991700172424316","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":"Q5276151$7959422D-74D8-4EE3-96D1-0533046FAF77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5276151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5276151"}}}}}