{"entities":{"Q5361422":{"pageid":7390996,"ns":120,"title":"Item:Q5361422","lastrevid":32719632,"modified":"2024-03-20T00:05:38Z","type":"item","id":"Q5361422","labels":{"en":{"language":"en","value":"A formally verified algorithm for clock synchronization under a hybrid fault model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6783570"}},"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":"Q5361422$4856A480-E609-452C-860B-AE18625E5BCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb101369df8648f68c50ff3749bd039b3a5330a0","datavalue":{"value":{"text":"A formally verified algorithm for clock synchronization under a hybrid fault model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361422$AB67CF61-B85B-4AED-BE17-504C02C6D5CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c52225ae2012a5f1bab8c6dc3e3679c8fcb4fcc2","datavalue":{"value":"1373.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361422$F8E8EDC8-506C-45C9-B522-55C17FCD9CF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64e754c524498039e0789a815cfffb79c54fb349","datavalue":{"value":"10.1145/197917.198115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361422$EBD7325A-4CC6-400A-A3A6-5C7F29715804","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e26016f41a9add44c87112d66c917b6d5eb85b","datavalue":{"value":{"entity-type":"item","numeric-id":2754110,"id":"Q2754110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361422$62E3C946-21E3-4AA9-B1A8-9E353A3DF06D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb71e41fc2b5097774fcf9cc7ee72cc6f725f17","datavalue":{"value":{"entity-type":"item","numeric-id":5361387,"id":"Q5361387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361422$5D3FD1E3-73F4-44E6-BD66-927C28B4EFC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c6a695cf3837fb6c40a9b0aaa4c3b6a2324244","datavalue":{"value":{"time":"+2017-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5361422$4FEDE237-6E61-4B8D-BD0B-CFA59A512537","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361422$AC1CD252-4608-4418-BD35-1090DE4527C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361422$C29EC461-533E-4299-8402-2A4A3A88BEA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"830f71dbea033b0fcd7e22775323bc8da35eaf43","datavalue":{"value":"6783570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361422$60E2AE76-FE50-414C-957B-48C837DE36E4","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":"Q5361422$0474462E-97C5-4F5D-8768-532D00BB904B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae5beb6b8521cdf68902609420a5c372ad8c516b","datavalue":{"value":"https://doi.org/10.1145/197917.198115","type":"string"},"datatype":"url"},"type":"statement","id":"Q5361422$6EBD1604-0641-4E98-98A5-FC181C621270","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0575755264051bbc81a3448f8ad1a999b1d29fdd","datavalue":{"value":"W2171317417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361422$A815896F-E738-4DC5-9236-A2B4EAE3688A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5361422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5361422"}}}}}