{"entities":{"Q3090832":{"pageid":3101547,"ns":120,"title":"Item:Q3090832","lastrevid":85755428,"modified":"2026-06-03T11:23:08Z","type":"item","id":"Q3090832","labels":{"en":{"language":"en","value":"Granularity and concurrent separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945193"}},"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":"Q3090832$21122233-E99B-4798-949A-670A66B00BB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fab6e3818956d15617f4ad28591aab587ab1610f","datavalue":{"value":{"text":"Granularity and Concurrent Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090832$A9A246C8-FE72-4149-8D9E-BDB5FF7E928D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"461074d1facae916b31be8782d25e9d1ac677522","datavalue":{"value":"1343.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090832$628DCEDA-241E-4E41-A185-9834CBB815AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99f0720f80abb2d51b07d8d027b5653d659e565d","datavalue":{"value":"10.1007/978-3-642-23217-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090832$314FD3DE-9391-4444-A6F9-FD762E0B66A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd2a5697bfead776a12f5a4852bdf39d7091e9a","datavalue":{"value":{"entity-type":"item","numeric-id":283743,"id":"Q283743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090832$A2B80C66-ABF4-4EE4-B491-97DF1256A892","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090832$1F8CCE8B-3B96-4EA5-9BC9-4824F39A7AF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-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":"Q3090832$D46E61D5-3C11-4BCB-8748-B8BBFD5B58A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090832$32AD8AE7-E4A7-41D0-9C0C-574FB3EC78F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090832$D0847CC8-0361-4AE7-B6EC-7563241B5FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090832$3EDF098F-6C75-48ED-8113-CFFD6564D923","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e06aa955863726bc3fed13bfb9f225ec33c25904","datavalue":{"value":"5945193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090832$05FB1393-08AC-415E-AA51-B48E150608E7","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":"Q3090832$A38901BC-D610-44B6-A706-BA2544EA07E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a159568955a8e4a7e0292159f8ec2379e9e2b008","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090832$867DC98D-C574-4907-AB76-B249BA26194D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb4b58613aa7dbaae4c6721fff52f593ba13e5b7","datavalue":{"value":"W111224599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090832$59C0D4EA-9484-476E-A433-DB4D3C4FBB11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e712402cd9dcea168c6487d4b5255a19d7db902d","datavalue":{"value":{"entity-type":"item","numeric-id":2852353,"id":"Q2852353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090832$28D66262-B51A-48CA-B518-F9285AAC7180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090832$5D8219CA-49BD-4673-B366-64CE50A4C140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b470b5857961117b31497ec6ea7193bbde634ccf","datavalue":{"value":{"entity-type":"item","numeric-id":3558227,"id":"Q3558227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090832$6511D077-B1D9-4CA9-86AF-36EAA57EBD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090832$E4F5B91A-0E48-4CA3-BE57-C72AF3C7FB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090832$BCD4D094-8535-4855-9890-9DE0CED77FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7eca699e1fb8885227f4061831273a5bd2b6d2a","datavalue":{"value":{"entity-type":"item","numeric-id":3636803,"id":"Q3636803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090832$46FF6D96-14FD-435B-AD7E-6691F8739CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17e8ae9c5653aa5723cc546879365e78cc6cdf7","datavalue":{"value":{"entity-type":"item","numeric-id":5465879,"id":"Q5465879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090832$B9D5E9D9-AFBB-404C-9F20-57C6FBEAD64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090832$C2FCF77D-1F36-4229-BDCC-DC3F20BA6FB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85a12b391445f2267a82f6cd0571a873a430da9","datavalue":{"value":{"entity-type":"item","numeric-id":3518272,"id":"Q3518272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c499387cd440d5e4841c5d9016a06db64f8491a4","datavalue":{"value":{"amount":"+0.8460659384727478","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":"Q3090832$879CAF59-4B8C-481D-8B0D-E06496F2D13E","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":"72013e5b3fead848f3794be7479ec38763d16d17","datavalue":{"value":{"amount":"+0.8332998156547546","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":"Q3090832$326319BA-4743-4771-85D3-255FF3B72942","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":"92d7c19c860903f7ae8370a8e05af60410849ea6","datavalue":{"value":{"amount":"+0.8324318528175354","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":"Q3090832$0BC9519D-B7A2-453E-8B5E-9391EAE8B4BE","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":"b1a7f9d693f694d92d9432bf4aadbc068b064c2c","datavalue":{"value":{"amount":"+0.83005291223526","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":"Q3090832$89EC7D30-6761-4DF5-A4C2-91B4EF535C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c075544acaf9d36d6375fe6660cc62bb7e7d4cb","datavalue":{"value":{"entity-type":"item","numeric-id":5739348,"id":"Q5739348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a91c67ed8d6a083f92170982dafc1778bbde05","datavalue":{"value":{"amount":"+0.7956787943840027","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":"Q3090832$C31886A8-2734-420E-9202-D979AACDFCED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Granularity and concurrent separation logic","badges":[]}}}}}