{"entities":{"Q3224673":{"pageid":3235381,"ns":120,"title":"Item:Q3224673","lastrevid":87091985,"modified":"2026-06-04T10:39:44Z","type":"item","id":"Q3224673","labels":{"en":{"language":"en","value":"Permission-based separation logic for message-passing concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6020581"}},"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":"Q3224673$4324CE27-268C-468D-9B8B-E1834748484B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccf368383bca867a2ddfd0f15d12af306c74502e","datavalue":{"value":{"text":"Permission-Based Separation Logic for Message-Passing Concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3224673$B999BEEF-546D-4E18-9E77-143AC36F8800","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fef503d1898342269b50b712a3f567e4fc4512b5","datavalue":{"value":"1237.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224673$C72C937F-82C5-4EF6-A17D-8CBDCBD946FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5528c39b7ab9b46f449e5a2987a640afc4cd817a","datavalue":{"value":"10.2168/LMCS-7(3:7)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224673$590DB2F9-5A8B-420D-B462-E1F11A723A1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90c8ea56ac9b448758a81db8e1e29014617fc135","datavalue":{"value":{"entity-type":"item","numeric-id":888410,"id":"Q888410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224673$65140662-3096-443B-946C-1DE9B5B17DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bbd40d4efe0881f4b580c8aabcfc53801fe8c1c","datavalue":{"value":{"entity-type":"item","numeric-id":276478,"id":"Q276478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224673$99DE16F4-2552-4F7B-B65C-02741F96D539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72cf230e3fde5ecd81513857d6a2a255a86452d0","datavalue":{"value":{"entity-type":"item","numeric-id":383371,"id":"Q383371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224673$505B3CFC-434D-431A-85D1-BF29197721DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224673$96635A5C-CA17-4FB9-A98E-4C480B2723A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20009f475df93c72840e2e5b3a3e90a55f1389","datavalue":{"value":{"time":"+2012-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3224673$95370F3D-CEBD-4557-BDCE-BE1961265FB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224673$4F6DBE95-0069-45AE-ADAB-3D85B28D801D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224673$680D1584-9CF9-44DC-8E20-D07D112F9588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224673$260614F1-F961-48BB-A5D5-6C513A81523C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9bbb0ea9787cb862bfe0f05faf012b180dd5ffd","datavalue":{"value":"6020581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224673$DBE113AF-060B-4059-ACB5-00398E5BA606","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224673$2D57638F-AAE5-4E6C-99F0-DED422E0CAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224673$92083E45-F8DE-46E8-B351-4F95565459E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa1f3ba4b5305614c4342d8fef795ceac140c82","datavalue":{"value":"deterministic concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224673$497AEB6D-16BE-4EB9-8491-843CA8217087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7bd34cd478358d82fdd248c7ada8bf2c317733","datavalue":{"value":"message-passing concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224673$94A4678D-3138-4032-A0D8-1D2128B25EE0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224673$6A41086D-87D8-4CF9-9FD1-541E15EC3D3C","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":"Q3224673$AAC6EEEA-ED90-47E5-A651-76E1F1C38389","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea880a962ade2051f77ab6ff1943ad7d61e214fb","datavalue":{"value":"https://doi.org/10.2168/lmcs-7(3:7)2011","type":"string"},"datatype":"url"},"type":"statement","id":"Q3224673$8C5B7325-68A2-47FA-A2E9-4792532DFD2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df14f9276abfcee8b12c16a3c84cf06c281d5647","datavalue":{"value":"W3103866264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224673$6756D136-6610-473F-81EE-7A42C5500204","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":"e15bf45ec3f9f9e5e15bb5c1cbb6b5dce2588b0c","datavalue":{"value":{"amount":"+0.8200694918632507","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":"Q3224673$63043B2B-9942-4D00-81DC-CDC6DAB4ACCF","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":"a6ea82da494dadc6646a4ce016fc1f7934ccf742","datavalue":{"value":{"amount":"+0.8113749623298645","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":"Q3224673$B9E76538-7A4B-4BD2-AD66-CAF3D3186807","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":"6b525962e54de16d544e373e306a3cc1195b00f1","datavalue":{"value":{"amount":"+0.8024561405181885","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":"Q3224673$7F995656-0A25-4FBF-83C5-2380EE9E155E","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":"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":"Q3224673$E171D4F3-0217-4543-B1C2-0CC5B9FBF5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f2c77f823ba47b965bc7a168d1c80fa8218503","datavalue":{"value":{"entity-type":"item","numeric-id":2226736,"id":"Q2226736"},"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":"Q3224673$C10F01BE-0ADE-4EBF-B0ED-9D897AF45F58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Permission-based separation logic for message-passing concurrency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Permission-based_separation_logic_for_message-passing_concurrency"}}}}}