{"entities":{"Q1698748":{"pageid":1709489,"ns":120,"title":"Item:Q1698748","lastrevid":70796862,"modified":"2026-04-13T17:13:55Z","type":"item","id":"Q1698748","labels":{"en":{"language":"en","value":"Design and validation of cloud storage systems using formal methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6839847"}},"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":"Q1698748$FEA4B207-F0EF-4B4B-9702-BF58BF53B01E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e074313e3149692f09f3fa0dcb1c5169087786f","datavalue":{"value":{"text":"Design and validation of cloud storage systems using formal methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1698748$5BF813CD-F317-4634-AE61-B9FB4D165DA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c93043079a6add44ba6cfe73f3c5fdcfa15093c","datavalue":{"value":"1486.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698748$64E88909-1295-4729-9DFF-A4C62A52DF5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96ac14bf58bfb64efd6559354979900003736e8b","datavalue":{"value":"10.1007/978-3-319-68953-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698748$E5A78D9F-F11F-490E-B9BB-78C66D7FC106","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa3aa6236fe928872880c7f4a30dce18000e322","datavalue":{"value":{"entity-type":"item","numeric-id":714795,"id":"Q714795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698748$AEAE5776-02E4-4BF9-9D44-B63BAC3F8370","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"026fcddfc7ebe5ada2146aa6bcd14393afcc73e1","datavalue":{"value":{"time":"+2018-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1698748$DED59777-36EA-438F-8C96-CB20C8638356","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e3a6e36842ec814a10c725ae7c8300b969aab6e","datavalue":{"value":"https://hal.inria.fr/hal-01760637/file/440117_1_En_1_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1698748$4C3742AB-7DA8-4B7F-82A9-4927538227F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698748$5010547A-1032-44FA-A4DD-FD5FA3E892B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698748$802193DA-45AC-490D-90A4-5CA51D32D721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698748$F0E0C5A0-4BD4-4170-A974-EFD15D76E98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698748$60A58916-5442-415E-9BBF-33EEC6F7FF81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6b94ed83aea16be55b7c670b874a401cc011999","datavalue":{"value":"6839847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698748$4466C7B8-DC3E-465D-8991-85D240EAC581","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":"Q1698748$59EC143C-D6CD-47DC-A672-94111563A821","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2df19ac0c499498a4db984b57c13a713a705bfce","datavalue":{"value":"W2760816582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698748$0E0FEB3E-8C85-4754-A93C-B3F98E8DD531","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6632aa33e21bde350df512addb88184c8732162d","datavalue":{"value":{"entity-type":"item","numeric-id":3307708,"id":"Q3307708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292316ceb790e8f409218dbdc754a719655fb951","datavalue":{"value":{"amount":"+0.7471657395362854","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":"Q1698748$1869EA4E-4501-421E-8AB2-A1AF6524AAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b43a7eb06793bf540b37039f487490a1139e4ad6","datavalue":{"value":{"entity-type":"item","numeric-id":315283,"id":"Q315283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90fb648185edeb382bb0740dfb675cb2f857619b","datavalue":{"value":{"amount":"+0.7218350768089294","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":"Q1698748$248125D7-395A-40F3-BF88-16FD08128D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4d21fedb914effc3f2a57bd7aa0c2f39e0fd4a7","datavalue":{"value":{"entity-type":"item","numeric-id":5208508,"id":"Q5208508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d00d8add608bc4bd861e36ac92f82feb5c6012e","datavalue":{"value":{"amount":"+0.7074478268623352","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":"Q1698748$4FD418AD-72C4-4CB4-A7BC-42D9D43DBB57","rank":"normal"},{"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":"243fb1b320c9430aa64b9726b4ed62d1baada611","datavalue":{"value":{"amount":"+0.7049086689949036","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":"Q1698748$AFFC41A1-3F06-40D2-ADBC-BA48F9705C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9107cb543b90f62229978cff4a64d61a1c3219","datavalue":{"value":{"entity-type":"item","numeric-id":3443348,"id":"Q3443348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7676031919860ee130561855d08563dc66b9254","datavalue":{"value":{"amount":"+0.6661832332611084","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":"Q1698748$6D6948C9-F72C-4CE7-A4E4-BCE5093D7FD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Design and validation of cloud storage systems using formal methods","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Design_and_validation_of_cloud_storage_systems_using_formal_methods"}}}}}