{"entities":{"Q2863855":{"pageid":2874575,"ns":120,"title":"Item:Q2863855","lastrevid":83827331,"modified":"2026-05-07T12:08:30Z","type":"item","id":"Q2863855","labels":{"en":{"language":"en","value":"Verification of clock synchronization algorithms: experiments on a combination of deductive tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235725"}},"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":"Q2863855$2D71E3E2-3DE8-4233-83B8-C3CF7CE3ABEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd555c06c423274cb3b133c6d4d83e003a2c4339","datavalue":{"value":"1276.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863855$06E2BB22-55FB-4C76-A725-CB75B4C881A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"102461f156e333b60282aafe665fb2c7a36a1479","datavalue":{"value":{"entity-type":"item","numeric-id":2642979,"id":"Q2642979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863855$9D290D3F-1551-4599-9795-2C25E1C306D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752a85c0dc78e33e1c32d05392599990a80132fe","datavalue":{"value":{"entity-type":"item","numeric-id":2642980,"id":"Q2642980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863855$73B6C040-7BD9-47C3-A9FD-55E98D3659AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863855$9E7B1F82-9AAE-4BEB-9569-AD15AD65A48C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863855$09A2CC09-3A0D-4953-9959-4C0ADE6DF044","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0b73aafa0a93a1fd54bd5d033c93aab4063fbde","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105052503?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863855$228B161D-029B-4457-9656-0404E9646D64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863855$400A49D6-A649-44F9-9534-7FC9B027947C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863855$06E127D7-AE5C-4FDF-83DA-A76E364F3496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863855$920A8BD0-AEF5-4A4F-A2A3-53625FE74DF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94be1ebbadcbfe016af8e20f2e62ef1d8b58f20c","datavalue":{"value":"6235725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863855$D1805D49-11D1-4634-A2BC-FD71BD545D76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863855$BD229090-CC3C-4379-B0CB-88A0C4C59354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863855$7F7EB2A6-3BF5-4D34-BED8-FE8A8E734297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"388762b046719190eca90dfdd8121eac4cc69a94","datavalue":{"value":"clock synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863855$35639BB4-EF6D-4A30-A10A-550D215D5E98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863855$70056201-C4DC-42E9-BD80-BCF7BF5CC8C3","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":"Q2863855$B1616520-5935-45EB-8F5D-9A73D33F200D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbce4bf6b0ea163eba4aa1645175593cce01a909","datavalue":{"value":{"text":"Verification of clock synchronization algorithms: experiments on a combination of deductive tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863855$72CC4BB6-BCD4-459F-A157-DE8BDF4E3055","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e461770312425b31063fe1b1e7d2d4868ed73ee7","datavalue":{"value":{"entity-type":"item","numeric-id":2642981,"id":"Q2642981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143fa3306c0b0bf085a2c6c6a2c0ab6939bbfd6e","datavalue":{"value":{"amount":"+0.9979305863380432","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":"Q2863855$A7C0C0F6-5709-4893-9576-D03A6693384B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c6b39d67bcbdcffc0082393d2de6ef44e776e42","datavalue":{"value":{"entity-type":"item","numeric-id":3790621,"id":"Q3790621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53005dd586d3977dcaab8c5d7926354c11ef4286","datavalue":{"value":{"amount":"+0.734248697757721","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":"Q2863855$5A974C43-A229-4420-B9AC-1FDFFC99140B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e380357ceccd404540452014da8a9e5c92ddf7e","datavalue":{"value":{"entity-type":"item","numeric-id":4420046,"id":"Q4420046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e4e06504a01061d3e4605b594937a4b35594d3","datavalue":{"value":{"amount":"+0.7320849895477295","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":"Q2863855$B4DE1DC8-8181-4473-9A1A-F9E408E51B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a618d30760af53c76d74f73ee573194895ec3b","datavalue":{"value":{"entity-type":"item","numeric-id":2817677,"id":"Q2817677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39eb1761e736e0f0d5b6e575fa95b63efca0f98d","datavalue":{"value":{"amount":"+0.726457417011261","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":"Q2863855$47D72CA8-41D8-4CC4-9AF0-898BAF4C9625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37012cc3984fbf47bc172810c674d544e662ad6","datavalue":{"value":{"entity-type":"item","numeric-id":3766833,"id":"Q3766833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d86b1bc2f9040f5f5f754749ad735aa08c59ea","datavalue":{"value":{"amount":"+0.7254254817962646","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":"Q2863855$2F4A6245-E0D5-4887-86C5-A954903C528A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of clock synchronization algorithms: experiments on a combination of deductive tools (scientific article; zbMATH DE number 6235725)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_clock_synchronization_algorithms:_experiments_on_a_combination_of_deductive_tools_(scientific_article;_zbMATH_DE_number_6235725)"}}}}}