{"entities":{"Q2827449":{"pageid":2838187,"ns":120,"title":"Item:Q2827449","lastrevid":83384927,"modified":"2026-05-07T07:29:02Z","type":"item","id":"Q2827449","labels":{"en":{"language":"en","value":"A strategy for automatic verification of stabilization of distributed algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6641149"}},"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":"Q2827449$0F281FEC-3C96-4B47-B78E-FF114466EA62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32467da8c91896cce35d2453e3b7a799d8459883","datavalue":{"value":{"text":"A Strategy for Automatic Verification of Stabilization of Distributed Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827449$B32A8DF9-C076-4062-A6C3-30138FB8E0D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a246c6f0a6fa87db490d81c320d9cc44d323ef59","datavalue":{"value":"1347.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827449$559E1EE4-3E13-41FB-8DF3-DF2CC79B9673","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d36f55f72ef7b03b2b32fc3ee4524720266c8bfa","datavalue":{"value":"10.1007/978-3-319-19195-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827449$91BAC8BC-0945-41DA-9475-32DC996760A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d44f757a90fb8042524989c5bd718ccfcb6d2a4b","datavalue":{"value":{"entity-type":"item","numeric-id":2827448,"id":"Q2827448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827449$7E2113F8-FF91-471F-9464-10F2D31F1EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90393429fed72c1283fc5e6b05722ab07dfbec00","datavalue":{"value":{"entity-type":"item","numeric-id":432131,"id":"Q432131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827449$E0473E02-DE20-4ED3-9E91-130BA80DFD57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8e0f6f00e5973d13e51da0f168b1db06ae6cf95","datavalue":{"value":{"entity-type":"item","numeric-id":2827444,"id":"Q2827444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827449$43CA2695-53E4-43C3-820C-078E48E1A083","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1535619fd8f94633f3128b0ce8819699cf6d5d0","datavalue":{"value":{"time":"+2016-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2827449$66F2BFCD-BEE9-4DFB-9622-E61FA88877D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e4638ad1b4dd84e7299cb87b1f8aa2d4c1cf3b1","datavalue":{"value":"https://hal.inria.fr/hal-01767335/file/978-3-319-19195-9_3_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827449$465214BA-D4C4-4D1C-A1D4-6BACF1134A41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827449$51002BA7-4918-4F6C-A3CB-CBD6F6EE0A23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd086797f8bce0dea2e12dc68aba8bc4b055d8e3","datavalue":{"value":"6641149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827449$F10A5672-3EDB-4AEE-9C28-1AE5FF8F2E3D","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":"Q2827449$3F9BDCDC-1C1D-45EC-8B95-F41B9DC6FB3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e1baa91464121107e86b84d182512ccdaa6f6f9","datavalue":{"value":"W1038971504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827449$A591544D-DEE1-4B7A-8F3E-3E2B6ADC1266","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e292fee07f86d00fc14b027965b4c8058a7dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5307043,"id":"Q5307043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd2d3b0cabb53f41ab06d8fdb140a7a23376f822","datavalue":{"value":{"amount":"+0.8676732778549194","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":"Q2827449$3F527EE2-D2E7-401D-8B46-C95DC6338CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39182eb2345a592ea1bb3e804083bcd7897187de","datavalue":{"value":{"entity-type":"item","numeric-id":2766875,"id":"Q2766875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b24b1f1f09588138ffbcf90435e1b4c4fd300e","datavalue":{"value":{"amount":"+0.7904577851295471","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":"Q2827449$D49AAC09-27C8-4C9B-A770-AE6C9063C2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dd9b2bd949ed771fabbd86760604dc65596e7b6","datavalue":{"value":{"entity-type":"item","numeric-id":5357714,"id":"Q5357714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac26f09cb25297219d9d1b3ca209cd5a4ed81f2","datavalue":{"value":{"amount":"+0.761577308177948","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":"Q2827449$53FEC678-711A-4AF8-AEF9-89B3D5442028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a466b2050c88e47032682c29fbc50d35f604112e","datavalue":{"value":{"entity-type":"item","numeric-id":1706162,"id":"Q1706162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b315674956d8d02e6c6159f7a6320573cc1fd630","datavalue":{"value":{"amount":"+0.7594418525695801","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":"Q2827449$44472F62-7001-49AD-A32D-EE8A301D2B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f5da6a0cdee5b84bbba6c91ddd79828406e982","datavalue":{"value":{"entity-type":"item","numeric-id":2748153,"id":"Q2748153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca63fe6ca73849af43459b9c5f4d5f4d109ad24","datavalue":{"value":{"amount":"+0.7416475415229797","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":"Q2827449$5E90B195-CA14-4D5A-8AD2-7114AA076924","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A strategy for automatic verification of stabilization of distributed algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_strategy_for_automatic_verification_of_stabilization_of_distributed_algorithms"}}}}}