{"entities":{"Q5137903":{"pageid":7167474,"ns":120,"title":"Item:Q5137903","lastrevid":53882081,"modified":"2026-01-25T21:14:11Z","type":"item","id":"Q5137903","labels":{"en":{"language":"en","value":"Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7281371"}},"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":"Q5137903$6853C931-53D2-4F00-9FBD-D666FBD0CF19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d7d693943f7fc9b5199cf70df29b5e5c8a09f0b","datavalue":{"value":{"text":"Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5137903$34AC2A6F-93C2-404F-B7D7-4D7B72650B89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a070660471aa5e4181e0acff8d5e68e92704e22","datavalue":{"value":"1448.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137903$1A74A281-6C9E-43A6-9080-5AD91F9898B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3771e9da7cb15d28c7f8315ecabdc8a7de40b70","datavalue":{"value":"10.1007/PL00008917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137903$8476D726-D490-49DD-B4C7-B327E47E3D64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"636bbf98dc9cd6ac17ed565cb80c927eeba056aa","datavalue":{"value":{"entity-type":"item","numeric-id":5137902,"id":"Q5137902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$D4C82CB4-604A-42C3-99CD-53A8B7488BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9b93e9c4da01bb33a6752e107e968e98464f50","datavalue":{"value":{"entity-type":"item","numeric-id":627126,"id":"Q627126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$C52A7145-3D0C-467B-87F6-ECE9E339D693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c104efc4aabc14c241ca7bc47803e7ee14b98b","datavalue":{"value":{"entity-type":"item","numeric-id":660993,"id":"Q660993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$9C89A912-4653-49E2-ABD7-04898378F52A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$F6B36D42-B3E9-4557-BFB7-37DF8F64B692","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"264ccd2874de70b65c9e8226185d78b9e2bc5a3b","datavalue":{"value":{"time":"+2020-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5137903$E605FD73-DC95-48D4-9E81-777CB2DBC583","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137903$86ED40BE-6D2A-4328-8762-E8DC2C62886B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137903$94F1E92C-E5F7-4C67-A263-A1F98109AF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137903$773942AD-E5C5-483D-AE0C-D39307C4A5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137903$04D34279-252D-4E8A-BEB1-41026A355391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137903$1C8F283A-C034-40FC-95A1-9F7C0DCBE897","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a29e35be1174b1b7bcd207389903f87fdec87bf5","datavalue":{"value":"7281371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137903$E183740A-5C72-4425-995B-975E307B855C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac708ca1ff805cb66c10fdacf5ae7908787565a4","datavalue":{"value":"randomized consensus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137903$0E79E23A-9D1B-45FE-AC87-7A6E4EA0C961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137903$A2A6050A-AA6C-40AD-9C0A-B20DBC2744D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137903$6517CFEA-A2AC-46F7-96B9-01707521EF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d2e2522be9551d10b087fdba2d198c51773b780","datavalue":{"value":"performance analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137903$065EBC45-8A0A-4507-BEA6-8C98A4AFC8B4","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":"Q5137903$F0D5E494-B0D2-4025-A96F-FD45E7C56A8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3fe6d8f2215b0b2da0f617a1df4e8ea155fe91e","datavalue":{"value":{"entity-type":"item","numeric-id":4696649,"id":"Q4696649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$5D7FB608-F85B-4EBC-BF0F-A9917D0EE9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92baddcdda2a7cf3ecd5beff1f9d7cda300ee663","datavalue":{"value":{"entity-type":"item","numeric-id":3485848,"id":"Q3485848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$4A3C3002-AF4C-473D-8850-D5D0EE7F5842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033be0a1cad62f8a35e1e0ae1913ddfd36305576","datavalue":{"value":{"entity-type":"item","numeric-id":4714556,"id":"Q4714556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$CD42EF47-881B-4621-9247-168D136BF863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03bb363de1fc526158764006983ad6cfb43f8e1","datavalue":{"value":{"entity-type":"item","numeric-id":5361484,"id":"Q5361484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$FD989908-D8D1-4881-9765-182C1D3F06E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad06e80d7dc86d3f8d2ee003ba792e3f9288e4a","datavalue":{"value":{"entity-type":"item","numeric-id":4818871,"id":"Q4818871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$B3CE2442-CF39-41D0-9AEC-E0376A6B124A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$E94AD152-D2CF-44D6-960F-67F1995D0DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310368e1f6633a354e14929c801609a58838fc48","datavalue":{"value":{"entity-type":"item","numeric-id":2942729,"id":"Q2942729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$DFCD4117-929D-4DA8-BF15-2A42725F73E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"771096eacbd8ecbc3cd371619bc85cbb2c2d7025","datavalue":{"value":{"entity-type":"item","numeric-id":2561156,"id":"Q2561156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$E4712D74-7E54-443B-A20C-66CF07014C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"858a2ff936081907dced21eb43835bcc3d5f9b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4268845,"id":"Q4268845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$723D1880-8611-46C3-8ADF-B38CF14C7921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae46fc46a5f1dd9c91f7372322e8ee112c21fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5798359,"id":"Q5798359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$062A2DEA-F32C-43FF-9A4C-48C4B45FABD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f9c9c0da0bc3bdb62c24d5a0777f8a36a55f99","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$B05A347D-6681-4EDA-951D-84F2583E22D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6015b98c992039d1b6d7a513eacbef9ed89085aa","datavalue":{"value":{"entity-type":"item","numeric-id":4632424,"id":"Q4632424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$3261B424-E76B-4CBC-BD14-4E89DB0C7ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$15E6EF8F-6E9E-4A4A-8E2C-DACD4042EC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f242a02d8f74bba049dfff7c62fb213662a701fb","datavalue":{"value":{"entity-type":"item","numeric-id":4134994,"id":"Q4134994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$1745DA2F-9939-4D81-9EC0-4D26B96AFC60","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":"Q5137903$37310A77-6383-4854-A936-4667A6B603C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995274dd1f60047759af2d34142542dfa254ed80","datavalue":{"value":{"entity-type":"item","numeric-id":5361423,"id":"Q5361423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$B7F03D6D-9F3E-446B-8F95-17760483EFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$A67ABBE5-AB99-47E3-8D4A-4BA94AD6D330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c327d54b89f1d9396d01a5c0a7b87dc33721b9","datavalue":{"value":{"entity-type":"item","numeric-id":1079944,"id":"Q1079944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$8CE9D319-CCEA-46BE-9FD4-7BACE798A146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d64e7f539e047c27a592447af8209df21acffd","datavalue":{"value":{"entity-type":"item","numeric-id":5361452,"id":"Q5361452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$1BA5E436-AACB-427B-8C78-98F643664663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ecf59f9a4d1b7659a1683859f2c9d3ac797ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5572344,"id":"Q5572344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137903$A319513B-C427-4AC2-AF3C-480D5E00C454","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db482a3e2bf68a5e65bc6fa626462e153f129d5f","datavalue":{"value":{"entity-type":"item","numeric-id":4551150,"id":"Q4551150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ccae3950238330d51a066f1ddbb3eb7b36835b0","datavalue":{"value":{"amount":"+0.8477462530136108","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":"Q5137903$D277C3EE-CDB1-4F0D-97B7-ABF58A1F74D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a6849735bc8206b5e03b7d5e3a9583723e2f63","datavalue":{"value":{"entity-type":"item","numeric-id":4714556,"id":"Q4714556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c7f71f54e0973947108864676f29ce4d768847","datavalue":{"value":{"amount":"+0.8164767622947693","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":"Q5137903$1AA1482C-5977-4A84-81C8-C55A2A412C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98dcc8f57bab2fc5ec28c8aa90f1170fd5187fa","datavalue":{"value":{"entity-type":"item","numeric-id":1938380,"id":"Q1938380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c7f71f54e0973947108864676f29ce4d768847","datavalue":{"value":{"amount":"+0.8164767622947693","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":"Q5137903$26D964BC-202F-4935-8DAB-8B8FB58598BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fa4380aa847f05a8dd71c16090e8f1414bc1a5","datavalue":{"value":{"entity-type":"item","numeric-id":4547768,"id":"Q4547768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404afd70235fe4bb121f0f36d22ab79cc3c3d075","datavalue":{"value":{"amount":"+0.7949759364128113","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":"Q5137903$9342EF5E-ABEC-40F9-81C1-CD6BAE12A68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d40b47dad53e5f8ec7697cbdd4e7c2dfbfb5dedb","datavalue":{"value":{"entity-type":"item","numeric-id":5390620,"id":"Q5390620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa400698ebf7db86bc4da0a5cd1c58ed18494018","datavalue":{"value":{"amount":"+0.7949758172035217","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":"Q5137903$6A2B7D93-F70A-43DD-B3E6-BF751339464D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5137903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5137903"}}}}}