{"entities":{"Q6956044":{"pageid":21239796,"ns":120,"title":"Item:Q6956044","lastrevid":84074693,"modified":"2026-05-09T10:56:18Z","type":"item","id":"Q6956044","labels":{"en":{"language":"en","value":"Expressive completeness of separation logic in block-based cloud storage systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8066756"}},"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":"Q6956044$CD3DABE8-752C-4853-8EBF-BC47E3E6207B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"394c41dd66bc0250914b35157caaf1c965c4e89f","datavalue":{"value":{"text":"Expressive completeness of separation logic in block-based cloud storage systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6956044$00E0774A-CF7F-4AF9-9F6E-8DCB5D1703B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c20044479aa1fc3434a5a7aa4962875f2275068","datavalue":{"value":"1570.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6956044$C748D974-0261-4DA3-B619-9ABC32E3FB58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9ae562422e3baf83e58b5b8db711e490550dc61","datavalue":{"value":"10.1016/J.TCS.2025.115372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6956044$2BCD35E1-6A6B-43F9-9CFC-2C7BCBE894AD","rank":"normal"}],"P16":[{"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":"Q6956044$990B04C9-7A14-47AB-A796-AAC645D53CCE","rank":"normal"},{"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":"Q6956044$3763A5AE-8CE2-46D1-A760-DD47745330EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00c64a819fa54e037d4a204ba11a4a53092a21c","datavalue":{"value":{"entity-type":"item","numeric-id":6862030,"id":"Q6862030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$2B69D677-B6CF-4F0E-B1DE-4E7208FBDD0E","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":"Q6956044$13F1E382-5153-4BF7-A13E-AFEE506E8381","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":"Q6956044$9B2922CC-FF53-47B8-A706-C67F71892E62","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":"Q6956044$8131DC65-B3B9-47AF-8BFE-DEA582925658","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1541852f95bfa9523e1e2b6deca7116081cce9f2","datavalue":{"value":{"time":"+2025-07-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":"Q6956044$A7E9CCBD-1A6E-4B4A-AFC2-417546ABBD28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6956044$F3F49369-4E69-4120-8559-4E8F74B45517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6956044$094D6FA6-9F8F-4F5D-8F3D-6342D8D74A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6956044$83F0829A-A9E3-4DB9-8A31-2F02315F6A33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b58199807da5be7c2be3668aca6543135a60b04b","datavalue":{"value":"8066756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6956044$93DBCE76-A974-4E7D-B76C-93B129662657","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6956044$D566EFCB-EC95-4E39-94B2-ADBE13FC1FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6956044$BB51F10B-249B-446E-88EC-E2EB1409A7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6956044$474096CD-C237-47BE-AE54-EA914334C1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d656d3aa76812403b82b3bcd9f6f702ff975548a","datavalue":{"value":"cloud storage systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6956044$43CCC9E5-9BFD-4983-9C55-58645342021A","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":"Q6956044$F7D3BA04-ADBB-428D-B0C0-5AA881CD9ADD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"132ae93635a7e475a0e401546e1c8496b4e1d7df","datavalue":{"value":{"entity-type":"item","numeric-id":3617721,"id":"Q3617721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$8D297580-CE44-4E48-BBB1-5962411C81A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c642b8a2a51ea751f61c4db5e751f89086f5237","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$79CCD939-BA62-4AEE-BAEE-D6A2A3A7B1A6","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":"Q6956044$8E27C25E-844B-4D44-A0C8-3B9B788A2CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d092ce03f7e86d9996ef530de2a740a2f8c08","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$AD45A994-0272-45D1-9F21-CA4456760972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$740FBF36-5BA2-4D2D-A120-2D7919CCAA6C","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":"Q6956044$1A20C315-59FC-4842-9AD4-27D46EA7373E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$C8C159CA-B61D-44FD-B6A8-A872F0CE5154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b01f206502a074fc15a95df3d0e2f5d0f9ffef","datavalue":{"value":{"entity-type":"item","numeric-id":6967328,"id":"Q6967328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$3610EAE4-A2A7-4845-BCD9-C860F5887D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$9E3DBFDF-4070-4E4A-9C91-5641B54F82E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f86ab41cbe98c881f8835893f4ace318f812d1d7","datavalue":{"value":{"entity-type":"item","numeric-id":3177761,"id":"Q3177761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$3494F4FD-3DBB-44FC-8AF0-9E9EA3B947BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9426e5055fe25d6e916a44f1e696156a090200","datavalue":{"value":{"entity-type":"item","numeric-id":2087457,"id":"Q2087457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$02BF216C-E28D-4DBA-90FF-BD02B0D0DE03","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":"Q6956044$AFAFAE24-BA64-48D9-A9D6-462773ECFCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b90ce876afc6f420406572534d02a40f2727fe1","datavalue":{"value":{"entity-type":"item","numeric-id":4406307,"id":"Q4406307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$FBADC262-D857-47CF-82F7-D6CE4503EE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690a2cf3538761a016ee7f2e7f9e1e7cdbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$3F281E1F-847B-4FAF-8CC0-169E1D1C68A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71eee792a05160a4b0e0f5eb0be3c00a8255a87b","datavalue":{"value":{"entity-type":"item","numeric-id":2457427,"id":"Q2457427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$42B919E9-93FB-4594-8E70-28B29B442DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d8a82c54657d02bb198ddd93f92ea9107dc67b","datavalue":{"value":{"entity-type":"item","numeric-id":5313058,"id":"Q5313058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$D654588D-D911-44D5-8848-7B64ED118110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e80615082b1e1478a3dcc9e9e094e32c12876e","datavalue":{"value":{"entity-type":"item","numeric-id":3613359,"id":"Q3613359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6956044$A4F407B7-8372-47A8-9BD6-499E2DBDAFA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressive completeness of separation logic in block-based cloud storage systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressive_completeness_of_separation_logic_in_block-based_cloud_storage_systems"}}}}}