{"entities":{"Q2087457":{"pageid":2098199,"ns":120,"title":"Item:Q2087457","lastrevid":71303379,"modified":"2026-04-13T21:19:47Z","type":"item","id":"Q2087457","labels":{"en":{"language":"en","value":"Reasoning about block-based cloud storage systems via separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7604601"}},"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":"Q2087457$62AF9F9E-C4CE-4A75-8CBC-6902332941FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf03702a2cf654044907f68e6f8a8bf142a9d187","datavalue":{"value":{"text":"Reasoning about block-based cloud storage systems via separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2087457$1CB2E3E1-8B9B-426C-8E07-C95CD82F21E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"138c0e956b2852b95cdb157a89cf2e8b95f7a85d","datavalue":{"value":{"entity-type":"item","numeric-id":266012,"id":"Q266012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$65353D55-1E06-4107-A798-2B2612492FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1ade97e2849ae8b0da1ca24a345f59deae9153","datavalue":{"value":{"entity-type":"item","numeric-id":724761,"id":"Q724761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$E1766B30-4CBD-4EC9-A366-E608F10D60A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecf3045e444ff818f862a312dbbfd8ed00ba453d","datavalue":{"value":{"entity-type":"item","numeric-id":2087456,"id":"Q2087456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$C6A1E7CB-4853-43E5-AFA3-AECB24B127FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a842b4f7392d12f86caae8f14235c9e2cca8e437","datavalue":{"value":{"entity-type":"item","numeric-id":362280,"id":"Q362280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$29CB0F9E-0A41-4CC3-BBBA-5045ED6D6ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaaeb06a7bd7b4e8b63dea1d6ae51fe97fce9feb","datavalue":{"value":{"entity-type":"item","numeric-id":351982,"id":"Q351982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$69D77824-C749-4C9C-B951-4427B81AB719","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$CC567C51-CCB0-4D50-ACE6-A746EAAECB52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6bbfac5311bbcc7afa64741a2aeb20bf81782ee9","datavalue":{"value":{"time":"+2022-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2087457$DD96977B-4BF1-43B4-B56E-5927A5F6F608","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087457$E6F41FB5-4038-4C39-AE01-1AF801B9F6E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcd1418fda0ccfff2128b993166349263265df37","datavalue":{"value":"7604601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087457$58E2D1EF-A319-4CE5-87CA-CA40B3AC1233","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087457$08391581-77BB-44A2-B2DB-FED5ABE6B774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb996dfe4c6f22c191ca25f4d2c52444c61bf76","datavalue":{"value":"logical modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087457$ADADBBF5-DEF4-4EE5-BF7C-3729FE9889D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d656d3aa76812403b82b3bcd9f6f702ff975548a","datavalue":{"value":"cloud storage systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087457$FCDDA48D-A773-481F-B0D8-7563F66E5B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087457$846ECCEB-E9FC-4DE6-B8FC-433A6245CC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087457$6FF196A9-E9B6-4762-B21A-B4915BAE60B2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fa686058812d62cd4fdb582e175396a9f36cf7e","datavalue":{"value":{"entity-type":"item","numeric-id":21691,"id":"Q21691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$08F6A6B4-6A9D-4060-8908-1389898CFB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$99307D25-957E-4C8B-A863-963B51A9ACFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11849c59d4a0a7769fdd20e391f479e4568f6563","datavalue":{"value":{"entity-type":"item","numeric-id":20490,"id":"Q20490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$6247F7F4-2170-4E50-85CA-18B800A66BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$207DC63C-E6D0-4EEF-AB59-D88D8C4590D7","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":"Q2087457$ECA249E0-7F4A-4214-8981-F5DE70D78735","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"909871f385d7929bbf18074b5d3de41973ba001a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2022.09.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2087457$7723AC2F-3E3C-4CE6-9E09-C4453E9D34F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e2bb516888e429dd181e36223ce5c0a49118468","datavalue":{"value":"W4298009049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087457$5881D93A-30E9-45BF-A46F-516F4E12A736","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"850f78e18205466aad8157ed18cd734d8ea1458f","datavalue":{"value":{"entity-type":"item","numeric-id":2333825,"id":"Q2333825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$796CBD2B-E9EA-46BD-BD30-F7CE6760CA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffae1b379654812ccb60071d9820aff09a3f08bf","datavalue":{"value":{"entity-type":"item","numeric-id":3452262,"id":"Q3452262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$9C3C6490-741E-496F-B375-784E61F6893C","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":"Q2087457$4151A5CF-A7BE-4746-88DE-55269F73FB7C","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":"Q2087457$E00E4D48-06AE-47AF-962A-2E06A8A2F577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$5D27F1D7-AC6E-4310-A371-EC8261599E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$EA03636F-E07D-47F8-BC07-749863359811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16a3a901c59b73e252c7c2c8ed885178a406401","datavalue":{"value":{"entity-type":"item","numeric-id":278747,"id":"Q278747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$48174A64-FEBD-4D04-B527-337D85DA91A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfd6eeba35083bdb99fc1b354aa7a2ba80bf027","datavalue":{"value":{"entity-type":"item","numeric-id":5277913,"id":"Q5277913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$D06F9F27-255A-4E7F-AC8A-114B444B2133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c65ad825c9d0ee9bae1c0a5ca41cc46fd54609f","datavalue":{"value":{"entity-type":"item","numeric-id":2828247,"id":"Q2828247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$96BFFEC9-B8D4-46DA-A515-11C70CEF9C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55911e308156bbda517413fa81eff819db763dd7","datavalue":{"value":{"entity-type":"item","numeric-id":2817951,"id":"Q2817951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$87730E93-DDE2-413F-8635-2626FE589EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fe6c09f3638fc1b3688c4d3e71e34c7f5bfa9b","datavalue":{"value":{"entity-type":"item","numeric-id":2164251,"id":"Q2164251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$7F9584EE-596D-441F-8207-734C6345EF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d584fa3396aa4a5bb45485bac8e4f553232816c3","datavalue":{"value":{"entity-type":"item","numeric-id":2405270,"id":"Q2405270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$9B09F4CF-0F42-4EAE-A306-9DE6AF2E202C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f7f11bcc2c577f52292fdc9a83fb5e0ed99b53","datavalue":{"value":{"entity-type":"item","numeric-id":2405271,"id":"Q2405271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$73003FC3-0E0D-46BD-ABA3-E33673277C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$12E2370D-2859-4EEB-B3C7-F2E58E857F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408dd153356546cf4f54bb5174901182b587cfa6","datavalue":{"value":{"entity-type":"item","numeric-id":3617714,"id":"Q3617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$7FF33976-8FD5-4C91-BCF6-5DA5519069CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef6a0f6a6f479906c8d4fdf70653827aae6928f","datavalue":{"value":{"entity-type":"item","numeric-id":5408443,"id":"Q5408443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$909628A2-E802-40D1-B4A7-7A0C5080BEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b681a65ada81de2ed1c1487277cf09c6c785f330","datavalue":{"value":{"entity-type":"item","numeric-id":5370857,"id":"Q5370857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$0A848D7A-C19D-45B5-8C27-B78FAFFA4CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebde2650cbfdd8239b7a7768b5778a12bf98a35d","datavalue":{"value":{"entity-type":"item","numeric-id":1986561,"id":"Q1986561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$FA0C24D1-7D5C-4013-8C45-C9889090DC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5b389dccb05fe2dd61d661d50f9146c3a64d94","datavalue":{"value":{"entity-type":"item","numeric-id":2324204,"id":"Q2324204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$32501AAC-346E-45F8-BEAF-4854BA0E5DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2e0ead9566140a782d5299a4f05f329f3c47af","datavalue":{"value":{"entity-type":"item","numeric-id":5096098,"id":"Q5096098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$06822597-BAFB-4D10-8767-3431D9B46F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1713746a21acf2d1323fd1403fc527bf6ca8721","datavalue":{"value":{"entity-type":"item","numeric-id":2226739,"id":"Q2226739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$F54BA3D1-6E72-420D-BC94-C90C0B4CAB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5e7fc90926c3470b79ff35f34e68e2579c9377","datavalue":{"value":{"entity-type":"item","numeric-id":2072067,"id":"Q2072067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$4546C683-B5D5-47CB-9CFD-7CEA97D51FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d0aa6de1a3c4e838a8fa4c7fc5c6cc0f20445","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$2778DB3E-50C3-4C9D-868F-93D4C0368C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d0e546f584fff0965159489d2fe578acb6ad4","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087457$1FA4C66D-E251-4D25-8D71-B37326498F92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0ddddc748753f14d22115b02928b094565c83d2","datavalue":{"value":"10.1016/J.TCS.2022.09.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087457$186F896E-FEEA-4E92-8EBD-476351C03717","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ad83d1396e430894933a6e298c647409148bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2072067,"id":"Q2072067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ce736b1960494047b424d04815fe916b5816c0","datavalue":{"value":{"amount":"+0.7852644920349121","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":"Q2087457$E5E78FF5-0E30-47CB-8E70-1B17E490DC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ff7620bbd20fbd19a29d6e27296025883329ff6","datavalue":{"value":{"entity-type":"item","numeric-id":2038034,"id":"Q2038034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be44729575be5fb1c24576efc1cc72b95c243d59","datavalue":{"value":{"amount":"+0.6964895725250244","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":"Q2087457$5FDF3921-3A96-4A38-B2F3-6ECC22354888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a91763c2e208733f372cb88e3735b83c8d1ae1","datavalue":{"value":{"entity-type":"item","numeric-id":1698748,"id":"Q1698748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2367a08f50fbabefac9c506a7c734d9cacb98b6","datavalue":{"value":{"amount":"+0.693610668182373","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":"Q2087457$363E595B-EB72-42D8-9327-000CB4E51758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f640439705501348c5fbf9895de8ef1978e0cda3","datavalue":{"value":{"entity-type":"item","numeric-id":3306500,"id":"Q3306500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7000bd6a34122f15426b67c59ab9c19e330554f6","datavalue":{"value":{"amount":"+0.690635621547699","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":"Q2087457$C3705A54-3F4F-4A90-B858-D3A2653E2758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0a6160766d56fcc5b54b16a1441c7012255209","datavalue":{"value":{"entity-type":"item","numeric-id":5883571,"id":"Q5883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e43453e5579d8edc35637c006bd1cf7ae6c5a5f","datavalue":{"value":{"amount":"+0.6662514209747314","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":"Q2087457$E199A818-0459-462F-9FED-E06F13FE6F54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about block-based cloud storage systems via separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_about_block-based_cloud_storage_systems_via_separation_logic"}}}}}