{"entities":{"Q2915172":{"pageid":2925892,"ns":120,"title":"Item:Q2915172","lastrevid":44729850,"modified":"2025-11-25T13:26:01Z","type":"item","id":"Q2915172","labels":{"en":{"language":"en","value":"Formal Verification of Distributed Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6085042"}},"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":"Q2915172$57F094FE-4A21-437E-8140-3F3577CE48EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aac8cb06ce8b3cf76620021be8e004c9ac046404","datavalue":{"value":{"text":"Formal Verification of Distributed Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915172$62D1B388-8748-4858-BACF-8F1F6B0BD46F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a8e800746a70b74c2b8054d50a25adfacb7d5ce","datavalue":{"value":"1362.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915172$8ECAFE2A-DF9F-4264-AD23-CD81F7224C28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32ae18e1c2867bb5c398b5abbfdb9d0439f244cf","datavalue":{"value":"10.1007/978-3-642-33475-7_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915172$BA001AF7-A558-4567-8D8F-1D47A4DE3CA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dd592e16dc59c25ac8b34c08dc8ef3a062b164b","datavalue":{"value":{"entity-type":"item","numeric-id":2915171,"id":"Q2915171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915172$0247CFD6-78BE-479D-ADD6-71269468077E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24db94f90cbaf6ef00e2909513980e367d10b4b9","datavalue":{"value":{"entity-type":"item","numeric-id":262425,"id":"Q262425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915172$9EA9AAC4-6EE1-41F0-B70C-6C1D3446DB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a2ccbba38f29f49d3cabbe8f49325d69791ff5b","datavalue":{"value":{"entity-type":"item","numeric-id":2829251,"id":"Q2829251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915172$A39312C6-5794-4739-83B7-4080A794D46F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915172$571CED13-630E-4C4E-8D80-F27339E70304","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-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":"Q2915172$3AC3200E-4C92-414B-837C-EB7813457373","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915172$ECD4C6A5-3DC1-44AB-A1D7-DA91E5C9D048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915172$34FF7A86-0ED6-402E-8B53-432B940141FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915172$64F1093D-3644-44BD-972E-E29311F5EE86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e322362d8e8663b3fe0ed00599c0822aa41080eb","datavalue":{"value":"6085042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915172$2CC5E7E0-3CA4-4E13-9CC1-D0EE33D12B70","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":"Q2915172$D129D3FB-5AA2-4A5B-A937-9FF67EC2C345","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"776f7df3586f039b309de5a5e9b6d82a520eabbb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33475-7_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915172$BF44506D-8EB2-4886-87DD-4D430785904F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfe969edfaff6d3b61e954a5e2ca79f0869afdc5","datavalue":{"value":"W2255516524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915172$2BAC79F8-342E-442F-9F1F-375ACA6BFE58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a9bfa0976beb5292215b4d131d2eafc8825fd3","datavalue":{"value":{"entity-type":"item","numeric-id":5881540,"id":"Q5881540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb30b00797c01505a7376b620c0267879052607","datavalue":{"value":{"amount":"+0.9439585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915172$C55007F3-72D5-4FB4-9BB4-CC1F1F190EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6b577f2dbc7c1a2104dbd12db9c6011cf33beb6","datavalue":{"value":{"entity-type":"item","numeric-id":2279110,"id":"Q2279110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387093be895da741935bf54929ea5d72cb404a38","datavalue":{"value":{"amount":"+0.9351532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915172$0D017E79-DA10-494C-A74C-9F3D191FF717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a466b2050c88e47032682c29fbc50d35f604112e","datavalue":{"value":{"entity-type":"item","numeric-id":1706162,"id":"Q1706162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925ffd2453ad6812fc9162caa376f78a6d287336","datavalue":{"value":{"amount":"+0.93309975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915172$7E0A2FD5-0D15-4C17-99A9-50D0D59AA126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dd9b2bd949ed771fabbd86760604dc65596e7b6","datavalue":{"value":{"entity-type":"item","numeric-id":5357714,"id":"Q5357714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925ffd2453ad6812fc9162caa376f78a6d287336","datavalue":{"value":{"amount":"+0.93309975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915172$21AA2FA6-4121-4C47-A18F-C154D33063A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f5da6a0cdee5b84bbba6c91ddd79828406e982","datavalue":{"value":{"entity-type":"item","numeric-id":2748153,"id":"Q2748153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfc749eb13c5e140effd33bf1633486b3dbb89f","datavalue":{"value":{"amount":"+0.92873955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915172$EA465220-EC8E-45A4-9819-82FB306E3DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e894f4370640765fe8d2d72578b227be58d633d","datavalue":{"value":{"entity-type":"item","numeric-id":1285659,"id":"Q1285659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0718026da81ecc15e6d16b661824cfc5bd979e9b","datavalue":{"value":{"amount":"+0.92476344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915172$6B1327C2-04F9-4FA3-A987-7475D2398A88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915172"}}}}}