{"entities":{"Q3526923":{"pageid":5556827,"ns":120,"title":"Item:Q3526923","lastrevid":90324869,"modified":"2026-06-04T19:52:57Z","type":"item","id":"Q3526923","labels":{"en":{"language":"en","value":"Models and Software Model Checking of a Distributed File Replication System"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347184"}},"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":"Q3526923$E706D9F7-5417-4A31-885E-6E19F7FA281C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4610bac2b21e5031dd66b2628fefceda1299f12","datavalue":{"value":{"text":"Models and Software Model Checking of a Distributed File Replication System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3526923$1B20C4CD-6F65-4A10-AAB0-2F18A96C706B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84d682b5ec77d95cb5da7ef54e0b2c5c28326e66","datavalue":{"value":"1151.68470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526923$410F3D59-430D-43DE-A48A-DFA3F24A6268","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45625c508423c3e09fe8ca521064dd470a5db3b9","datavalue":{"value":"10.1007/978-3-540-75221-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526923$B6716B82-F6A7-4367-AC4E-961B65C11F68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526923$60C26F92-D7DA-4DAB-8CCB-92FE36C3D663","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a5acd49d140727f43492171bd0684564e4b880","datavalue":{"value":{"entity-type":"item","numeric-id":3526922,"id":"Q3526922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526923$DF32BFC2-452F-4B83-A409-541364116379","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3526923$AF10CC18-645E-40DA-A929-776049A9544F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"314d47471bd38e576767507c816b016860bb176c","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.7699","type":"string"},"datatype":"url"},"type":"statement","id":"Q3526923$D0365967-E2AA-4356-B935-128B19C1BCE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526923$B94BC61A-6254-4A67-95D4-9301D54C9536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526923$048CB426-BB1A-43A7-BAED-F9AD461BFD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526923$3B48B5E3-6DD2-46E4-BF67-FCAAF2B83C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526923$44AA3EB4-3224-4E95-ACB9-72A6B29EC21A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f55a182613e45cdfbae144eee9645eaa38f4ffec","datavalue":{"value":"5347184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526923$51993AFE-5E11-430B-88B8-60BC59E75B17","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6522ca7747c785bf9d644f39dd3e0aca04c1c6aa","datavalue":{"value":{"entity-type":"item","numeric-id":13781,"id":"Q13781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526923$B33637FD-9111-4FD1-AD8F-D0C1837596A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"736a6b2f7d93a8638063bebb1ba038ee6b3c39bf","datavalue":{"value":{"entity-type":"item","numeric-id":25222,"id":"Q25222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526923$3C100450-6527-4C33-AA34-5EE6ADD77225","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":"Q3526923$0C2E661D-06DA-425A-A93A-F2F103EB7075","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36b14db40ab0688aa957df6a8da3fdcaec311a63","datavalue":{"value":"W2172038085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526923$B5467EAA-587B-4099-A97C-64B7D3DD2693","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e6379ba1269ebb82f6ee2bfcc21af62e77dae8","datavalue":{"value":{"entity-type":"item","numeric-id":4729370,"id":"Q4729370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485a589140b484066a0b3f55a349d055d552635c","datavalue":{"value":{"amount":"+0.6737242937088013","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":"Q3526923$A146EA22-E259-4AE0-B4D1-AFA2AA9B9305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a419ed0a49072a2df9bee7dfa505bb9abd185f4a","datavalue":{"value":{"entity-type":"item","numeric-id":1807673,"id":"Q1807673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5415dbe6bb410ea6d428099548a4934c5b2769b","datavalue":{"value":{"amount":"+0.6735759973526001","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":"Q3526923$9457A7B4-62A0-41FE-AA4D-E7E5D107E3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdb0fcf37c655a6e9d3a327f0c6e239dfb820ce","datavalue":{"value":{"entity-type":"item","numeric-id":3296339,"id":"Q3296339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d011d9dc42c09639962defbc6554f85acd0bfb3e","datavalue":{"value":{"amount":"+0.6662377715110779","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":"Q3526923$DE47E221-9461-4C08-BD93-4204069BF71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161e6a86adffc14a091f92809d0baeb11758326d","datavalue":{"value":{"entity-type":"item","numeric-id":4531763,"id":"Q4531763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dddcacad5a1547d6f236bb351d61693d0c12083","datavalue":{"value":{"amount":"+0.6656872630119324","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":"Q3526923$3BDABED2-CDA9-4BB6-8D5D-64ADFFC2EB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404bb905c198364d367742c6ec064e2291ccacc3","datavalue":{"value":{"entity-type":"item","numeric-id":5713679,"id":"Q5713679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4961fd1f937c7c489af7fa1720d2c4514de88fc9","datavalue":{"value":{"amount":"+0.6522698402404785","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":"Q3526923$1F45A6D9-55BE-4DC9-8988-C29B74A21642","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models and Software Model Checking of a Distributed File Replication System","badges":[]}}}}}