{"entities":{"Q5881540":{"pageid":7911091,"ns":120,"title":"Item:Q5881540","lastrevid":97479155,"modified":"2026-06-05T14:52:09Z","type":"item","id":"Q5881540","labels":{"en":{"language":"en","value":"On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7662158"}},"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":"Q5881540$4A02DD9C-03C9-4F1B-A4FC-7EF983C0FB48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ae958d77afd548579aae5d1cca86395ad5ea18d","datavalue":{"value":{"text":"On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881540$063C766E-2A91-4ED4-A810-64A1D457A261","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae5003f1bd283b48ed62a040e65158c030386a06","datavalue":{"value":"10.1007/978-3-319-92612-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881540$0AC7D3B6-E6B1-4EFF-A9ED-64F61C01859B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8085a6ed91cbb8f146104788d395b9afe1be271c","datavalue":{"value":{"entity-type":"item","numeric-id":5881539,"id":"Q5881539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$0AD82B25-9BC0-4EA1-8B64-54116C329F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda17b7b8e3498aa3ec6df79141bdd4566f56c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5164845,"id":"Q5164845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$3B0198A3-A3D7-488B-B2D5-3D64F6E4FDC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8e0f6f00e5973d13e51da0f168b1db06ae6cf95","datavalue":{"value":{"entity-type":"item","numeric-id":2827444,"id":"Q2827444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$64529584-638F-425E-82B4-EEF84FA15EF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffed8e8d30c95f79058c35c3950af7927ffd6a67","datavalue":{"value":{"time":"+2023-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881540$A7BBDB15-0629-4385-8F0C-D8349FB9B467","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881540$0B96D350-4F2E-4AEF-B67D-52A9B8E35A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881540$8AF31CA3-30D4-424C-A89E-68C320AA63D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a50ee27efcdfcdd930e7207d76231e96e0f4336","datavalue":{"value":"7662158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881540$605A9530-B2B2-43A3-8670-DAB4B9308CFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d5c9c0cf89b4b4891f5c481837b69838035e8a","datavalue":{"value":"certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881540$96F5FCAA-1634-4C4D-8131-FB755649B07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e18b5f74879d022f2f865fc8c3928cd3c59ce0","datavalue":{"value":"distributed algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881540$C51BD41A-0B31-47F8-88FC-C91D087C4EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89e0b0a292fbde6138e5d23d4983a4573649a3e2","datavalue":{"value":"formal instance verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881540$34359E92-AA93-464B-91A6-D4C1056F9AB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"858d3bfb6c9101c63097266e1595b107b4133f2f","datavalue":{"value":{"entity-type":"item","numeric-id":13265,"id":"Q13265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$94815950-B08C-4AA1-B36B-82FEC5451672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0eae107ea1a4b558f4d87379a7cb85de7f5f09","datavalue":{"value":{"entity-type":"item","numeric-id":2351144,"id":"Q2351144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$36E6BE26-5D59-43D2-899A-8781188F2BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d5f07dcea314d94b5b9642906af15af2a2c1dd","datavalue":{"value":{"entity-type":"item","numeric-id":3652246,"id":"Q3652246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$918839C8-367D-422E-918E-84EFA5A0E8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3061128d104a67beb6e3eedc14a0246d0a825e","datavalue":{"value":{"entity-type":"item","numeric-id":2848201,"id":"Q2848201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$EA784B2B-DA9C-4686-A990-970B94558DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e230b3728d10ba582373bbcad97e70c9be621d32","datavalue":{"value":{"entity-type":"item","numeric-id":2782251,"id":"Q2782251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$396FB072-4578-43C6-8276-B507C08C1BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d7b4dc43ccfc5150712bf48bbda252d4409dbb","datavalue":{"value":{"entity-type":"item","numeric-id":4252400,"id":"Q4252400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$A5310C82-47BC-437C-96E6-55FB8BACEF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b44f9f576d6839bbf206e3246e83360fc71fa5","datavalue":{"value":{"entity-type":"item","numeric-id":5503435,"id":"Q5503435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$82CC1DB8-0B55-470D-9300-42C440B48963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1b2d3e20fef1f51ac664f4a49ded1c1842541f","datavalue":{"value":{"entity-type":"item","numeric-id":5317569,"id":"Q5317569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$5855E525-32E2-44ED-B93D-FF8BD23C8E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2d2dd959e8f669ddde47df399a4d0fd9457888","datavalue":{"value":{"entity-type":"item","numeric-id":719277,"id":"Q719277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$6CE09AA2-7138-4708-A5B5-FC9ECCA9749C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b9ff411afc78f81d85784eccb2c5bdb17dc21","datavalue":{"value":{"entity-type":"item","numeric-id":967378,"id":"Q967378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$0B784171-5493-47B1-9931-45A1A1282612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780577a13362a487625fa48c0d642ac0aa472b55","datavalue":{"value":{"entity-type":"item","numeric-id":2377139,"id":"Q2377139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$B30DFB56-F781-451E-A304-725F38E76934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$5B54FEA9-1ABF-4CA8-905D-4D9990868D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"910fe48964fb95bd5caed9a73fe2dbc1077a3521","datavalue":{"value":{"entity-type":"item","numeric-id":5501338,"id":"Q5501338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$A81886A9-D7D0-4AD0-9E70-04D721F7071D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa917cd1e9b5468ee39ca98d36ef385b02222f9c","datavalue":{"value":{"entity-type":"item","numeric-id":465678,"id":"Q465678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$F80AB7F2-4769-4931-A0DD-7109CDDD7D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48fdbd8eb99f514ce5347078d175923151adc549","datavalue":{"value":{"entity-type":"item","numeric-id":714793,"id":"Q714793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$F915B843-D7EF-41BE-A569-21AB1D57EEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c49617d49e549c03d85bf48230f4c40e8f2de77","datavalue":{"value":{"entity-type":"item","numeric-id":2841748,"id":"Q2841748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$970344BE-1321-425E-BE41-CEED996B75D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc135b191d4477a8d6196060179ca5fcb62cb64","datavalue":{"value":{"entity-type":"item","numeric-id":2428654,"id":"Q2428654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$A8D31EB2-1628-490B-8B3C-351E02128F64","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8970d53f5fc5de8a7599b5d4b50f76cbd183814b","datavalue":{"value":{"entity-type":"item","numeric-id":13265,"id":"Q13265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$85CC4C81-9C75-41C2-BA16-83A1BF3BCE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$5CD0EB5D-1C39-4776-9AC0-9BE20F4CDD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4ff63f91a3c2659163aaead04885df5b890e9f5a","datavalue":{"value":{"entity-type":"item","numeric-id":33502,"id":"Q33502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881540$C29F1400-AD52-4ED1-9842-DEB95C09C711","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":"Q5881540$E54669CB-8B1C-440F-A658-1F967163F95D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8eddff25787a04f9c68ba897f1e22a28fe843268","datavalue":{"value":"https://doi.org/10.1007/978-3-319-92612-4_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881540$3255E748-2042-4B0A-8C71-10AB302FCF77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46fe3817d05440f21785ad724080b0c0d361a4fe","datavalue":{"value":"W2807066634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881540$DCAC183D-42B3-4FD0-996F-CA0221F533F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"591ac4a8d4b0878f238200fca32c45f537588abc","datavalue":{"value":{"entity-type":"item","numeric-id":2351144,"id":"Q2351144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc7340d8b9818c83589bfb5ec2dbab37837bb5d","datavalue":{"value":{"amount":"+0.735816240310669","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":"Q5881540$3432E04D-4524-4C4E-93F2-F7EBA9B374ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df710a2fea7b73097607b1b735ec1e1d58cf9363","datavalue":{"value":{"entity-type":"item","numeric-id":465678,"id":"Q465678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cebbd7d0ecaf19d28518fb95395b7ff34aa82532","datavalue":{"value":{"amount":"+0.7351371645927429","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":"Q5881540$04ED30E8-E58F-42FD-AD4B-5B836D2449D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90077e6b2ff03ae7fc05d6bc6d99c8cdfabbaed8","datavalue":{"value":{"entity-type":"item","numeric-id":5024672,"id":"Q5024672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b1be60e6de589b5ea16500ffa07d2cbaf045ff","datavalue":{"value":{"amount":"+0.7232416868209839","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":"Q5881540$B8040F1B-54A7-49CA-8F24-1B0CC2DFB8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c02b302c1c433cab3b2ee88912ab465b722b26","datavalue":{"value":{"entity-type":"item","numeric-id":3587331,"id":"Q3587331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d665299ad5440dc0c9b19947e27379c4f98636c","datavalue":{"value":{"amount":"+0.7226368188858032","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":"Q5881540$5FCC17DE-A6EF-4E22-BD28-611CF1BB7F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2976377a66c5997a5d9f768c20aed296c77ce056","datavalue":{"value":{"entity-type":"item","numeric-id":2915172,"id":"Q2915172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc54d08d903be83ba30919a6bd012050ccb5283e","datavalue":{"value":{"amount":"+0.7028449773788452","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":"Q5881540$62281F42-AE17-48C0-B8C0-BFCB98D4C403","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency","badges":[]}}}}}