{"entities":{"Q1853174":{"pageid":1863916,"ns":120,"title":"Item:Q1853174","lastrevid":71501559,"modified":"2026-04-13T22:41:01Z","type":"item","id":"Q1853174","labels":{"en":{"language":"en","value":"A simple proof of the uniform consensus synchronous lower bound."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1856504"}},"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":"Q1853174$59D20CA4-BD09-408D-8625-E4A0A3C7FDEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d015893e138285d63964d50fc203de1a4f2e9d5","datavalue":{"value":{"text":"A simple proof of the uniform consensus synchronous lower bound.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853174$1C03E039-395C-43EC-9D5E-BB1636037520","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96caa48cc2266e029a1941c29f996180fa83c396","datavalue":{"value":"1042.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853174$BABCA0B2-6A6D-4741-A0A8-C69EC3B58DE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f105588188f6eed19098a79bb228371573d6514","datavalue":{"value":"10.1016/S0020-0190(02)00333-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853174$3FDEF6F2-50F8-47CE-A358-6DED08C091B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb2659d6457b0477f39f0fdc52b56780924f31e","datavalue":{"value":{"entity-type":"item","numeric-id":436912,"id":"Q436912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853174$BF79FBF9-E5DB-419A-B38C-1DB5B0D8F5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64b2bd16e7c785c66978ce09fa3ea0ece48a6536","datavalue":{"value":{"entity-type":"item","numeric-id":360276,"id":"Q360276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853174$51E560B5-EA06-4ABD-ABC9-BC8B4027BC1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853174$68979A19-A18A-4679-A84C-8FD9D68952A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-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":"Q1853174$A139FF6B-C028-4696-82FF-9692A8E792FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"140e183085a5326ad1fe29f8d2a662403a6bcad9","datavalue":{"value":"We give a simple and intuitive proof of an \\(f+2\\) round lower bound for uniform consensus. That is, we show that for every uniform consensus algorithm tolerating \\(t\\) failures, and for every \\(f<t-2\\), there is an execution with \\(f\\) failures that requires \\(f+2\\) rounds.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853174$63B2CD74-9EDA-4319-B062-5C43A5F3A7CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853174$CCE99388-ED29-4C59-8098-783F40951F97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c86e8d6ba17698a6accd3b6afa220900d25a433e","datavalue":{"value":"1856504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853174$2A215E95-747D-4101-8A7B-2BF60201C499","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"649f4383cd90b5d41a7e396ebce770fb6a00d6e9","datavalue":{"value":"Distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853174$9F17B4F5-E281-485F-A90D-6E72A2D5B61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4660b58f251ae92588839474f58b77835b34bcd2","datavalue":{"value":"Fault tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853174$9C31F131-0BEA-4D10-9393-5202F2496BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a459471a373091a4dfec49ccefb26591da9ebae","datavalue":{"value":"Lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853174$F37B08FF-4150-45C8-9EC1-D405EF2BF807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50fd7b5e97292ac7cbad4d09921871c1ff165ac5","datavalue":{"value":"Consensus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853174$72B08775-69A3-483E-A6A7-13B703AC134D","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":"Q1853174$616C9F55-419F-4983-87A1-3CDE1B7AD367","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1231aec57c316ad7fffc96c751320244364a17cd","datavalue":{"value":{"entity-type":"item","numeric-id":1606983,"id":"Q1606983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853174$FD90E283-B372-43C9-BF37-36F862053A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a453a8468e7825469bab73ad31ea6bc5c90f53a","datavalue":{"value":{"entity-type":"item","numeric-id":3495618,"id":"Q3495618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853174$2E08E615-B914-47CF-89A9-94258348206C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d566b0003c0d0ea68198590d16368997b1d7569","datavalue":{"value":{"entity-type":"item","numeric-id":918186,"id":"Q918186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853174$F71EF248-9075-4209-AB27-F58BB867D0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cf1e2cb1adb61761e6bdf0f6606565c7ac277a","datavalue":{"value":{"entity-type":"item","numeric-id":2766858,"id":"Q2766858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853174$565DA299-492B-498A-9ACD-AE5D124E3458","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":"Q1853174$3F1EBD50-FE74-4A97-9E95-DE2F519072A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52f69c0e8147d44e3b88369b5ec3bb35412f30f","datavalue":{"value":{"entity-type":"item","numeric-id":5176790,"id":"Q5176790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853174$2E1A480C-EEF9-4A35-8A4B-24C3EC6EDA45","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":"Q1853174$5714D2DD-4994-455B-B1F9-C46264DE0985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbece3a8be8b4ec363e5a111a5ff4b83a0d1743","datavalue":{"value":{"entity-type":"item","numeric-id":2784490,"id":"Q2784490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853174$B72B3F38-AE09-403F-8E76-A4F1D588B342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207d66d04e76a7fab8068ffddd8366ee4f6c66f0","datavalue":{"value":{"entity-type":"item","numeric-id":5137337,"id":"Q5137337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853174$F3882F30-E10E-432E-A785-49278C3F8E77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"455787ffe1ee9126e4a6e2b91488e3cd4287c425","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(02)00333-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853174$4BB87086-06AC-4CCD-9C55-C5262BDE5CF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0b00ca6e76e3e9cf68fad164c16e7a306244bb0","datavalue":{"value":"W2101712143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853174$75051A13-30DB-4F88-875A-7E2ED2117C13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2aa0cd7423df5d9ff2381ec694a6e33fae8310e","datavalue":{"value":{"entity-type":"item","numeric-id":4818670,"id":"Q4818670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ff76df4bf9115ca154e6944da4575caf7d3d80","datavalue":{"value":{"amount":"+0.8351759910583496","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":"Q1853174$CCE99D56-E881-47A3-ADDF-B7A70C1F5A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cef1b1b03e60ca15bd4faab3c5a77aeb49502a8","datavalue":{"value":{"entity-type":"item","numeric-id":1606983,"id":"Q1606983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845473694e7677c370d8094945b965d511a165b5","datavalue":{"value":{"amount":"+0.8172460198402405","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":"Q1853174$034498A2-D50D-4570-94F3-F811C7076002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16318131fe72da6b4b59392943a7c954b1b0655","datavalue":{"value":{"entity-type":"item","numeric-id":5897413,"id":"Q5897413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b4c8fa43a52de8a99f92675d2a73136823c136b","datavalue":{"value":{"amount":"+0.8120290040969849","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":"Q1853174$F9C64EDD-CF2C-44BE-B5A5-8FE74FD3B212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562c402ba1e025a4ad125668d161062b1933b3a7","datavalue":{"value":{"entity-type":"item","numeric-id":4436047,"id":"Q4436047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76be2f1e25613d675a931db94cd6a2e316ae90d4","datavalue":{"value":{"amount":"+0.7934501767158508","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":"Q1853174$B93FF061-DDE3-4911-810E-E798722E5938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2c9f5a6d558466d0be3a1bab6418186a64bc33","datavalue":{"value":{"entity-type":"item","numeric-id":1954196,"id":"Q1954196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce99a2a2496ddac11bfd244fdcc950c7cebc34e","datavalue":{"value":{"amount":"+0.7856171131134033","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":"Q1853174$CFF6D618-9F26-41A1-AAD7-DD6EC8288AA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple proof of the uniform consensus synchronous lower bound.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_proof_of_the_uniform_consensus_synchronous_lower_bound."}}}}}