{"entities":{"Q40394":{"pageid":40450,"ns":120,"title":"Item:Q40394","lastrevid":105426434,"modified":"2026-10-09T10:05:25Z","type":"item","id":"Q40394","labels":{"en":{"language":"en","value":"clock synchronization"}},"descriptions":{"en":{"language":"en","value":"AFP entry GenClock"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"4a975ac7973bdfbc35c458d971538d2640c24ae8","datavalue":{"value":"28680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40394$9BF1C162-D17F-4884-BB16-F71D69F88ACE","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":"Q40394$6E3A272E-0E62-4B0B-9EDE-C0A3B306084D","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"739bf5e027134da4e4ce41a417e3ed2c9211e6d8","datavalue":{"value":"https://www.isa-afp.org/entries/GenClock.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40394$2575BB71-D97F-4E7B-9CAE-F42A17410E75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40394$48E98E10-1135-438D-8319-FB99083D1D00","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$8EA65632-7968-46F9-AC26-048B66CED517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61c8360a6bfc4861334eef6bae312c262ffffbc0","datavalue":{"value":{"entity-type":"item","numeric-id":40321,"id":"Q40321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$621FDF0B-223F-4C4A-A57C-267A4ADCD8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$C73493B9-123F-440A-8438-5C7317966A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f3491a177e1cfc106ae0e5966e8456137b107ae","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$87D3103D-EC80-4271-91AD-714499F9DCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$F6EC2A1B-E596-4E0D-ABF2-9159D882E6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$DAC3308D-F54F-4137-9302-966D927692EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$449FE9B7-C409-44DD-A5D5-F09E2E67A90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7519baffc4ab521eb0ace91e49abfc631708c8b9","datavalue":{"value":{"entity-type":"item","numeric-id":22347,"id":"Q22347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$74565949-FE97-4697-8038-F665E9AF11B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c47cdeeac3fb172c731b731bd91b858677463f4","datavalue":{"value":{"entity-type":"item","numeric-id":40395,"id":"Q40395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$3E18517D-6C06-4E62-8AAA-FB01B45FE4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"513c7c9299d185e5213347a0723cbf630d7c6abe","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$CE4F3D1B-3191-42CC-97D3-79C8A81C0413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$0C688DF6-BFF7-4427-BFD2-F2B46FCDF226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b5229d467f93e05033abd5e9548efe7d28dfa6fd","datavalue":{"value":{"entity-type":"item","numeric-id":14049,"id":"Q14049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$49562B3F-CDE5-47B3-A5A0-625CDF35FCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$56A420AC-AC9C-42BB-8E73-A36ABB89E1C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a24b2eaab236f538c71f56112dd0a0e0dae4fa28","datavalue":{"value":"https://isa-afp.org/entries/GenClock.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40394$6108067C-A381-4C50-94A9-14CF34FCD8F0","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"6092d373ab5095f63f3f5911e66724084bb7243e","datavalue":{"value":"Alwen Tiu","type":"string"},"datatype":"string"},"type":"statement","id":"Q40394$9808DCF6-23C1-404E-B1E5-226C3C7DC975","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4a4201f6354d007c0bd699305e95ed7ffd24438","datavalue":{"value":"We formalize the generalized Byzantine fault-tolerant clock synchronization protocol of Schneider. This protocol abstracts from particular algorithms or implementations for clock synchronization. This abstraction includes several assumptions on the behaviors of physical clocks and on general properties of concrete algorithms/implementations. Based on these assumptions the correctness of the protocol is proved by Schneider. His proof was later verified by Shankar using the theorem prover EHDM (precursor to PVS). Our formalization in Isabelle/HOL is based on Shankar's formalization.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40394$EDF1E748-77A7-4632-AE74-18BB5F1CD4B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc8673230ea86d09e5a9b629853db3c4cf869dca","datavalue":{"value":{"time":"+2005-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40394$33D04B26-8B14-43D4-A67B-075ECA9922CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e73bee8e03e70c8fca9b74f989c080abd8f3ffa7","datavalue":{"value":{"text":"Formalization of a Generalized Protocol for Clock Synchronization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40394$F238B6C5-70EC-409F-AFF3-1459C03119B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"358313e7682912930a4d2e3508a5704de0dffe0c","datavalue":{"value":{"entity-type":"item","numeric-id":3766833,"id":"Q3766833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40394$78C664B0-EEF7-4241-BEB7-CE91CF3D5D12","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":"Q40394$3DA06698-0C5F-4632-9699-D3BEB284D1C4","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":"Q40394$7114D707-28A2-44AC-99BC-C15FD49CCFC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Clock synchronization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Clock_synchronization"}}}}}