{"entities":{"Q7361111":{"pageid":31518872,"ns":120,"title":"Item:Q7361111","lastrevid":105363035,"modified":"2026-10-07T13:34:45Z","type":"item","id":"Q7361111","labels":{"en":{"language":"en","value":"Consensus Refined"}},"descriptions":{"en":{"language":"en","value":"AFP entry Consensus_Refined"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0e9b7491766d16d9d0bd93f55e95e6a7ed1075d","datavalue":{"value":"https://isa-afp.org/entries/Consensus_Refined.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361111$D218AFDC-6AF2-4BFC-ACE5-78091BF56BB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361111$8A7668FB-20E3-4AD8-92F8-AF718AACE9AA","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"45c903aef8b72ab2712490063e3bc389e532d14c","datavalue":{"value":"Ognjen Mari\u0107","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361111$5CD7060F-999B-4FD5-A05D-6FB1F40D38B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"b2d2abd2bc8fe87e9e4cbb55be82cceebbe8881f","datavalue":{"value":"Christoph Sprenger","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361111$EC7EFDB9-FAE1-4645-A3CB-B3AB391D112C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a7eb68caedf37c088ab05b14dd533d2e4742ad0","datavalue":{"value":{"text":"Consensus Refined","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361111$729C28A7-9EA6-4794-83C3-F4603AB627C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a11e8f43d674366795aa1540e335cdda3380a248","datavalue":{"value":"Algorithms for solving the consensus problem are fundamental to distributed computing. Despite their brevity, their ability to operate in concurrent, asynchronous and failure-prone environments comes at the cost of complex and subtle behaviors. Accordingly, understanding how they work and proving their correctness is a non-trivial endeavor where abstraction is immensely helpful. Moreover, research on consensus has yielded a large number of algorithms, many of which appear to share common algorithmic ideas. A natural question is whether and how these similarities can be distilled and described in a precise, unified way. In this work, we combine stepwise refinement and lockstep models to provide an abstract and unified view of a sizeable family of consensus algorithms. Our models provide insights into the design choices underlying the different algorithms, and classify them based on those choices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361111$A4110BAF-FFF0-43B4-B185-5C99F132BD11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b2ff660052bcc3951024ec2f1eee7fb3a43ecd","datavalue":{"value":{"entity-type":"item","numeric-id":3646255,"id":"Q3646255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361111$90FA1659-D408-413A-9B18-367C6A353EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e956495daa5fa4cde9f4e5280545198a285910f","datavalue":{"value":{"entity-type":"item","numeric-id":2377130,"id":"Q2377130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361111$C029A024-6C6E-4FA8-A6C8-39D745415BFB","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361111$63301D97-0299-4B79-905D-C43BD2D2F254","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"6b0bff9d739a67c09091f53cc681a49084bdf426","datavalue":{"value":{"entity-type":"item","numeric-id":7361447,"id":"Q7361447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361111$86E0DBFC-32AB-4CAD-ACDA-96AB8FB08C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"e311985e283a0fa73130406ac266a6c4f80c0424","datavalue":{"value":{"entity-type":"item","numeric-id":7361873,"id":"Q7361873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361111$854A61FC-C57D-41AC-B985-FC5C1604DEA2","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"c619aaf4eae47fe7f56126dec3ae88d7d608eebc","datavalue":{"value":{"entity-type":"item","numeric-id":7360775,"id":"Q7360775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361111$EDC2CF0A-9F7D-4649-932D-9149820F59A4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361111$7DAF0516-95A0-45BD-A6D1-5E8424D0FAA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consensus Refined","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consensus_Refined"}}}}}