{"entities":{"Q2949709":{"pageid":2960429,"ns":120,"title":"Item:Q2949709","lastrevid":52357187,"modified":"2026-01-22T10:58:31Z","type":"item","id":"Q2949709","labels":{"en":{"language":"en","value":"A hybrid method for the verification and synthesis of parameterized self-stabilizing protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6488538"}},"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":"Q2949709$DBFE57CA-DAE0-4613-9C64-1FAEDF1D3744","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f20cb2b3c10a525700455cd05951fc0109173257","datavalue":{"value":{"text":"A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2949709$990F375E-884E-4585-88CA-9CE3E31412E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ef831f40dbd789ac729f224321a78e63147be56","datavalue":{"value":"1457.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949709$D7A6E62D-82CA-434E-A67C-66AAE3883199","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db805c6a7ea29cbb2271f6c55ed56efd62415117","datavalue":{"value":"10.1007/978-3-319-17822-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949709$1EE3E5C0-67A9-4CCC-A532-6E6C266F940C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16b9ddcd8eb01ca022c083ed6f2e08ef610e5989","datavalue":{"value":{"entity-type":"item","numeric-id":2949708,"id":"Q2949708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949709$2C35FBBA-B45E-420C-B0F1-51499FB7A615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa207266e9a1fba532940699003e04a80bb790fe","datavalue":{"value":{"entity-type":"item","numeric-id":391250,"id":"Q391250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949709$B3C4A879-FFD6-45C7-BD0E-5F7AB5800EB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949709$07B6E37F-666C-4E55-9978-7026D73198CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37551377838a2209a6b3220ccbcf1fb6b1cdede9","datavalue":{"value":{"time":"+2015-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2949709$62CB477D-FF22-4F33-916F-EB897CABD117","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949709$FF99EF36-9205-4BC1-8312-1E636ADF42F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949709$8EBE0BFC-45F3-4601-B22D-A638F3D0A786","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2dcbc970bda678ae27d01969aa5655171fbf7dd","datavalue":{"value":"6488538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949709$3FE205F9-E86E-4827-8441-ED398640C302","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949709$1859DE47-C044-478C-AC9E-CB624C563370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949709$6AF93942-8C55-4AA8-8A78-E957C163D904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5037dad296a241cfa4d4139d1f63309727fd86f","datavalue":{"value":"self-stabilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949709$CF65C1AD-C82B-43D6-9D94-EF819673F6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5a9a46cb56e0d008cd5f36093b01f2579c6e36","datavalue":{"value":"parameterized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949709$85524E3F-5269-4B98-B107-6681AD16EF7D","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":"Q2949709$04DB4271-C4AC-4A52-B189-AF8AF922B12D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8e75268804e08b665ffc987f43896b97fa1c449","datavalue":{"value":"https://doi.org/10.1007/978-3-319-17822-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2949709$1F79E9B6-89DD-43F8-B3E0-4D0B72746F4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf49c03ce6fce035687a4cfb0a7bca9fcf423806","datavalue":{"value":"W2151127716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949709$250287D3-A407-4158-98CD-736934DF7974","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2842fee154f3579539ca40307ef46d07666c165","datavalue":{"value":{"entity-type":"item","numeric-id":2303887,"id":"Q2303887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b5502acc921a24c6e0ac0ae0124585f9834917","datavalue":{"value":{"amount":"+0.7993248105049133","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":"Q2949709$E310306E-B9D5-464A-AF3F-08F2CD325B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dfefc78e74a9cdd34f6e1283029c09f3e93acd4","datavalue":{"value":{"entity-type":"item","numeric-id":4603447,"id":"Q4603447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9367ce2820683bfe7c088a869cbcf1aca698fb7","datavalue":{"value":{"amount":"+0.7982028126716614","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":"Q2949709$972B0139-A564-4C74-B4EF-861F68721058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec08b3c02523e826073b8df81c45fb239d6bd16","datavalue":{"value":{"entity-type":"item","numeric-id":4617972,"id":"Q4617972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c1b93063c945fadb9a428b945e6bdc202982381","datavalue":{"value":{"amount":"+0.7367516756057739","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":"Q2949709$8A982E13-9BA4-4804-BB31-6B33C0E86261","rank":"normal"},{"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":"14e0cf3893f43b4f3de5523578e2ca888161c584","datavalue":{"value":{"amount":"+0.7247259020805359","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":"Q2949709$243FE54D-7FAF-4FCD-B947-BA196550831A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da28326d8fa0e5b206d3557bdcdab8bd1f6c8142","datavalue":{"value":{"entity-type":"item","numeric-id":2498278,"id":"Q2498278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c47b9beb47176e88b76f80f869a365dab65a17","datavalue":{"value":{"amount":"+0.7245346903800964","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":"Q2949709$AAAD8804-EDAB-4B54-8B7F-A50B12972312","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2949709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2949709"}}}}}