{"entities":{"Q6535942":{"pageid":14147085,"ns":120,"title":"Item:Q6535942","lastrevid":103666535,"modified":"2026-06-06T07:52:06Z","type":"item","id":"Q6535942","labels":{"en":{"language":"en","value":"Mechanically verifying the fundamental liveness property of the Chord protocol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817363"}},"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":"Q6535942$EFEC3823-6DB6-4494-B304-1038BDD11496","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1fd4c2fa8fdb035bca26164f9c89d5217d8449b","datavalue":{"value":{"text":"Mechanically verifying the fundamental liveness property of the Chord protocol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535942$03A93ECD-FEBB-4B9D-A7B5-D5D04C649718","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3df02217141b7176601ba48175a24abd503b986","datavalue":{"value":"1539.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535942$16B5C684-FFDB-47D0-A0A7-B62C5F85960E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf2c7225f7ade2d5c4cb2ee6dbee952113f55e82","datavalue":{"value":"10.1007/978-3-030-30942-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535942$9E2C8912-8226-477F-B9F3-8BA9CD932E2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1d10cc39a70417a38ac7235c5283a918f9545f5","datavalue":{"value":{"entity-type":"item","numeric-id":239156,"id":"Q239156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535942$7BB320B6-BD09-4635-A384-C179FC8D1B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"116fa3f764527f5c8cd2c3e8bf7ba8070d0c57e9","datavalue":{"value":{"entity-type":"item","numeric-id":821562,"id":"Q821562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535942$0451B532-06BD-4759-BDEA-40F89022EF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5420dc66195d2108efd0f0e647229d16dc08ea8","datavalue":{"value":{"entity-type":"item","numeric-id":821563,"id":"Q821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535942$C9163D93-9CB0-493C-A407-CFEC9A81C0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"924d76138c4a9ca918a0e049d85adde817ca5296","datavalue":{"value":{"entity-type":"item","numeric-id":239157,"id":"Q239157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535942$E520330C-1EE8-41AD-91F8-0837B892C26B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535942$34FCF568-BDC7-4674-9334-2C56EABE5FDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535942$C14E0B3A-E07D-419B-A17C-341EC3E2F09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535942$78B5F9C4-D8BB-4F3F-971E-E07BC6749B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535942$5AFB0375-8690-463C-873D-5BB8D41182F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca3c4bae6c324761a36a55f0cebedf906d527265","datavalue":{"value":"7817363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535942$3482626C-F331-4A5E-8AFD-26DB50313C18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7c2694be02eab27937581603ba0b2c34999350c","datavalue":{"value":"Chord","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535942$5B26A0C1-CAD6-4301-A80A-2F087C16BB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a12e1e6638ea6782fccd19e219b598c9b7e87e13","datavalue":{"value":"distributed protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535942$7CBC70D3-9EA0-49A1-91DF-8F6690B00D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535942$3209771B-ED56-4221-A078-6D02839E61D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535942$25EDCD27-27A2-4C19-ADA5-04E211CD0B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721db2170eec1fce6bf8af95bfb430d9aa240fbb","datavalue":{"value":"stabilization proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535942$1934A176-685D-494A-AF16-C97ACDCE8608","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":"Q6535942$8BD4D9C6-3493-43AF-996F-FB178FA47D31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0de563cf170c5848d773e77774bab77f814f972","datavalue":{"value":{"entity-type":"item","numeric-id":5464201,"id":"Q5464201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535942$BE144334-D239-44C6-A38B-B2C19921103D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e39a0dc8b9ca70915896aa63d07e0f03eae5060","datavalue":{"value":{"entity-type":"item","numeric-id":5170883,"id":"Q5170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535942$0A489A19-8FC9-4024-A65F-FF11D52C1599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98b347b388417c5563a61077533cc1aed758594","datavalue":{"value":{"entity-type":"item","numeric-id":1757159,"id":"Q1757159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535942$AEC95051-1459-479B-A1A4-7221A212C10E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07add2a033c4d114df78f5cf9900aad5ff8a49f6","datavalue":{"value":{"entity-type":"item","numeric-id":1757159,"id":"Q1757159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18790fe778d0a67809f750bb81b17c9dc9625409","datavalue":{"value":{"amount":"+0.7729077935218811","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":"Q6535942$21ABD2E7-EF4B-457B-A866-4A9E14485B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f17371e4b58acd5ae8efb72567fe83feaeebba40","datavalue":{"value":{"entity-type":"item","numeric-id":487270,"id":"Q487270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"040fe10942f04988f9a1e8ba2edd88bdc0cbcbb7","datavalue":{"value":{"amount":"+0.7261136770248413","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":"Q6535942$A64F4D7A-8201-4748-9CC4-B06AB43EA527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1214346d28f8041e3a6f7d413ee0ae32d3b2d5ae","datavalue":{"value":{"entity-type":"item","numeric-id":3688295,"id":"Q3688295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c33c4c226e669ff55cbb5f7cff1fb872293a164","datavalue":{"value":{"amount":"+0.7004978060722351","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":"Q6535942$09B678CC-0E06-4B0A-BB29-135DF0D16D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9cd948904ff40ab0830df3d40f9be4b0653b2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5475888,"id":"Q5475888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f08e1cafda0a9cfa97fab7f8005c5cf55b2688","datavalue":{"value":{"amount":"+0.6899698972702026","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":"Q6535942$68B7982D-5007-419C-9A7F-E002AC8CB24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f00512be295247a050466802f89abac6b45faa","datavalue":{"value":{"entity-type":"item","numeric-id":4633552,"id":"Q4633552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58cf0816ef643d4033b85c4b1a44eeff0392c80b","datavalue":{"value":{"amount":"+0.6890912055969238","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":"Q6535942$DAE9A77F-DD36-47EA-97B0-D5C647692B90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanically verifying the fundamental liveness property of the Chord protocol","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanically_verifying_the_fundamental_liveness_property_of_the_Chord_protocol"}}}}}