{"entities":{"Q2642981":{"pageid":2653724,"ns":120,"title":"Item:Q2642981","lastrevid":50158952,"modified":"2026-01-13T07:30:59Z","type":"item","id":"Q2642981","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 5187829"}},"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":"Q2642981$AC62BE37-7F0F-42D6-BA09-D144352A6545","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":"Q2642981$67DFF1D4-2301-40C7-82F0-F10EB0AC9D14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de94973776c05537478f39312c74a2f7bfd3bc49","datavalue":{"value":"1125.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642981$478C7B22-C244-4A85-8F30-46018ECE204D","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":"Q2642981$AC50CBE4-D76F-46A0-9CCD-446B8B0BE08F","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":"Q2642981$BC66D63F-F94E-4103-8FA9-6D00C8FDB48F","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":"Q2642981$C9C098B8-2394-4594-AF38-8D0ED0CFED17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$E543EEAC-9BF7-4918-BAB1-010CD88BBAE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd465c7f83203bc28c191db43e2e18edd6ba2d9","datavalue":{"value":{"time":"+2007-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642981$9AC8EEE8-168F-4768-A4C6-074734A003AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12dd8faa7d5d78105d761322b8e76e3370263dc3","datavalue":{"value":"https://hal.inria.fr/inria-00097383/file/fac07.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642981$A74ED1C8-2635-4EC2-B354-A6922C58D125","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642981$22B69166-C13D-441C-BFAF-5D26446039DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642981$CC6C1A0D-A536-4464-99AA-0B438E7D3FDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23d070dbbe28ae93af9bea1f6d6687a63865b517","datavalue":{"value":"5187829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642981$5D8EFDA4-58E7-4E84-8E5B-2CCEEC80CA19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742acadec2058a1daf33969cf122f1e00d23a668","datavalue":{"value":"Theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642981$2EDFA08C-C9FF-476D-836E-64158698DA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642981$B8189FEC-F8DE-4C9F-9970-54353FAB465E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31a956c23b35c9629e8716cd884fd022cef0c297","datavalue":{"value":"Clock synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642981$3883BA26-CF82-4A9C-B02D-FCAA4B33D181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f932f2f9b15d9102ec23c78367e48b00eab4d054","datavalue":{"value":"Combination of deductive tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642981$4F10E683-E3F7-4D6F-B898-8E7840151299","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$8CE1DEF9-B250-4531-A6B5-02CF5E462941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a06d589cab28a2187cda9e8ec1e5c1af0011d89","datavalue":{"value":{"entity-type":"item","numeric-id":14049,"id":"Q14049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$AAFFC50E-407D-4668-89A5-5A52F6C1155C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$1DEC8962-6B35-4944-9206-8536748A9B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$FA2523E3-D369-4C4D-AC2E-E941388A9F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$573A2D0B-A6BD-452F-B3F7-DFB41E63E3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8ba3cfa97b82ebc98c4337f180a89e7c92bbabe0","datavalue":{"value":{"entity-type":"item","numeric-id":40394,"id":"Q40394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$6EFA9C6D-4FA3-4858-BE35-3F18CB5DD486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c21a2c79066a8c8f532075d2a83ef4e8fbf1a8e","datavalue":{"value":{"entity-type":"item","numeric-id":40395,"id":"Q40395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$FC130A6C-0EED-4057-9EF1-736DB223079D","rank":"normal"},{"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":"Q2642981$63DAA2AD-AD67-46EA-95A3-660FA97973B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$FC36563F-8929-4AE3-9367-80AECB6D388C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$EE2CBCB0-6F4C-4087-B988-09CE609001CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76802187a7905926b2a38ec174758f899e34b9bc","datavalue":{"value":{"entity-type":"item","numeric-id":22347,"id":"Q22347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$BE2A4F9C-73FE-462A-ABE5-382E85E77EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$14B596ED-78FF-48FF-BC05-E69C0FF15E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0aaef4c2335dc30f3fbd9859eca1f8610f0d4c75","datavalue":{"value":{"entity-type":"item","numeric-id":40321,"id":"Q40321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$6A6684EC-96DA-4656-B81E-9DD905ABE1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$7E8D2F8D-5E52-432F-9A56-7BB1949BA38F","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":"Q2642981$98347FB7-3618-41C3-B2DC-4072D787C439","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66654dcb02ba849ada8abdb83598bf572d5f3ac4","datavalue":{"value":"W1993644612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642981$C27EF4B5-58EA-4259-93E9-850A7E3C9EF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9fb4bc160a2caa739ce4a3c250258344d6a7c4","datavalue":{"value":{"entity-type":"item","numeric-id":2729073,"id":"Q2729073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$D644F826-16E1-4DE6-992D-9D5240F7FA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b783d0052b7f250a9573410e9be2b4624ef11e","datavalue":{"value":{"entity-type":"item","numeric-id":5899057,"id":"Q5899057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$3D1587F0-B760-4856-9431-802A24AF54FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa4edd1d3a557bcf602a855213821dbd0b85381","datavalue":{"value":{"entity-type":"item","numeric-id":3719807,"id":"Q3719807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$C68DBF0C-578B-4E2E-A3FF-F0631E364BDB","rank":"normal"},{"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":"Q2642981$4A3B887E-42E4-46F2-B1F4-C9B41205F240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b26606a781175a19b1c8fcba43abdeea964791","datavalue":{"value":{"entity-type":"item","numeric-id":2848688,"id":"Q2848688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$E5F151D1-0FE3-4802-919A-81F3E0537DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216559cea76cbd7bebdc584718098a2b0e882117","datavalue":{"value":{"entity-type":"item","numeric-id":5307074,"id":"Q5307074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$1C3D9098-0CDE-4E59-8981-77F011BA4F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8219577a178b5e6bc0cc5aede73996c94784449","datavalue":{"value":{"entity-type":"item","numeric-id":4435474,"id":"Q4435474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$B7DFBEC8-6946-46B2-ACEF-C47A39180A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54610551b079750a1912b04c566b7c8cb84a1b21","datavalue":{"value":{"entity-type":"item","numeric-id":4809051,"id":"Q4809051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642981$1A6FAF81-3A0A-45F2-A35D-D879C4E242FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40f9441d3692edb8e5b6a033b3da6bbd69bdaba8","datavalue":{"value":"10.1007/S00165-007-0027-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642981$70BED5F7-5622-49CE-80DC-0A493F6BAF75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17425adb6fe7657b50046bb3ba165708d7310d8d","datavalue":{"value":{"entity-type":"item","numeric-id":2863855,"id":"Q2863855"},"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":"Q2642981$B686B626-B5AB-4CF7-85F5-A650764AA911","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":"65238dec0a536efaf484151d889a811613add3f4","datavalue":{"value":{"amount":"+0.7333833575248718","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":"Q2642981$CE98D115-8D6C-4888-BFA4-40910344F43D","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":"66c356f0181eaa03be6edb8622c9ca0080e4adcd","datavalue":{"value":{"amount":"+0.7333534359931946","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":"Q2642981$F060FABE-857D-49CB-A2AC-9E8EAE64FD96","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":"90eb40823c0c816c8f05f11fc1f2c457d64c13e6","datavalue":{"value":{"amount":"+0.7253422737121582","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":"Q2642981$AD2651FF-2D21-4939-8AF5-BDD24BE033F2","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":"84345f566c505583c8805d2104539aaa25de43c3","datavalue":{"value":{"amount":"+0.7248579859733582","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":"Q2642981$6807ABAB-C4D9-45D3-8CEC-3E917DC969B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2642981","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2642981"}}}}}