{"entities":{"Q1941879":{"pageid":1952621,"ns":120,"title":"Item:Q1941879","lastrevid":51679040,"modified":"2026-01-19T10:55:45Z","type":"item","id":"Q1941879","labels":{"en":{"language":"en","value":"Probabilistic verification of Herman's self-stabilisation algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148344"}},"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":"Q1941879$2C697F6E-D392-467B-AF99-3CBBB12405C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19e28144ba79eb209a957b1539aaa27883242a07","datavalue":{"value":{"text":"Probabilistic verification of Herman's self-stabilisation algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941879$1AAC6674-C8B1-411D-A662-0463097D6C50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82aad5d67592f3597c5aac95b18868e631bb2993","datavalue":{"value":"1259.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941879$A5195ACC-ACE9-4EB6-B57A-D8BA93586182","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$B9F9A850-CF4D-4025-901E-991601C2E010","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":"Q1941879$7C319A97-B8D8-4F95-B49F-CF3003B7E8A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1941879$D3AE3FFB-ECF4-41A4-AA7E-7BB620EECF73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941879$3A1D0F88-BE41-40B6-81C5-BC3F5693C940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941879$0467CFDC-EC4B-4662-B3FB-76EB4F788850","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69b4184d1621b50b597fcc2c95a46f0079c1b608","datavalue":{"value":"6148344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941879$DC9CF712-F47C-41EC-8D35-5F1AF591FB8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a81e4ae2e623bf6c0e1882c33cb6dc51844dc3d0","datavalue":{"value":"self-stabilisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941879$A19E4EB7-CA09-4C0C-9A3C-AC5E7ED7C1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09905aba1360497ca5744c9f1437f3bd9c9ec5ae","datavalue":{"value":"Herman's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941879$FACB5C64-201C-45A6-AD70-02655B2EBA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941879$2E4BE3FF-FA1B-4F8C-9168-391B087FAC45","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$48B8129D-E930-4B8F-818C-E4685EA3BF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$71083D90-C2DD-40ED-80DA-47D0F7F6F3A9","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":"Q1941879$D53E23C8-1123-4009-AD91-5A52749E57AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10fa43fe991143e884acbe90f58ae94023424df1","datavalue":{"value":"https://doi.org/10.1007/s00165-012-0227-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941879$26E1483E-2BC0-4F19-96ED-D1CE6CC91D98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52851a7bf5aa82058d4f35ca27c0ec5e5b600b01","datavalue":{"value":"W2030895696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941879$BE1E13B9-DDD2-4DF7-A572-C88F6E8CA81C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54146a814df317e58cf4d89dcca9dcf5a0173dd","datavalue":{"value":{"entity-type":"item","numeric-id":2942763,"id":"Q2942763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$E2B00A30-9DE9-4EFD-81DC-1FE14A05A50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$2D4B8D31-6BAD-434B-BFC6-4E740DE7A171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8eb34c519834b5b923e52b9f7343a721bfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":4061976,"id":"Q4061976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$C114ABBD-15CB-4158-AE0A-07E6716E76B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e230b3728d10ba582373bbcad97e70c9be621d32","datavalue":{"value":{"entity-type":"item","numeric-id":2782251,"id":"Q2782251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$68F29731-CBBF-42A1-B287-B3953FBD96A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3653c1797468dfc5074c2aca6897284824b6b3cd","datavalue":{"value":{"entity-type":"item","numeric-id":1953653,"id":"Q1953653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$9AB63721-DDD4-48F3-AC93-8769474CE3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932e1658ba5f2c3c316d94219b79648def27b84c","datavalue":{"value":{"entity-type":"item","numeric-id":911752,"id":"Q911752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$2657649F-BA59-421C-931A-EC4B46585170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$8F1929B4-218F-409F-8C49-50043DEAF6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da470dfdb973baa9fc19c42cc86d12a22b73a8ae","datavalue":{"value":{"entity-type":"item","numeric-id":3512491,"id":"Q3512491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$446800DC-3F11-4B78-9994-E604A81E39E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5809b32e0bebc46ad001f3cb604d727cd6a6d2","datavalue":{"value":{"entity-type":"item","numeric-id":600979,"id":"Q600979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$7C71219E-E650-4DAD-A031-47B5F8440AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbaba6e999646de93c2dcee17b3569060eec0749","datavalue":{"value":{"entity-type":"item","numeric-id":3012941,"id":"Q3012941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$70450210-1E6A-4CD5-842E-5CE3BD022CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bfe30e08a7e82b0acc716c863fd1bf7ed17e1","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$7C9563DC-5AA8-4668-9364-A1DF8C7E338E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a6b288a9007533d8ca32334659b6027ea5ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4118602,"id":"Q4118602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$B6F117DD-AFB0-4277-912F-94B69C47389F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$E473A79B-ACCF-4838-A571-302049BC19D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c210d751603c6ca12cea00325c8bbda44e85d52c","datavalue":{"value":{"entity-type":"item","numeric-id":1041727,"id":"Q1041727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$BA3F449C-A17C-41B3-881F-CD7381B742A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e983bbbcc590904504c7ec7188db74166b0045","datavalue":{"value":{"entity-type":"item","numeric-id":817822,"id":"Q817822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941879$5313807C-DED8-453D-B503-FEF61EBDD561","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2e00e41460b0251f85420f51ea59765d59a4892","datavalue":{"value":"10.1007/S00165-012-0227-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941879$E0C97CEE-FB73-42C4-AB0C-2E31DCA0C40A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d2e15595416f05232649bc2437ddfc48053b9c","datavalue":{"value":{"entity-type":"item","numeric-id":4598245,"id":"Q4598245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef182a6660837abd5c8072c3cd2c5cb76a75a9e","datavalue":{"value":{"amount":"+0.8392643332481384","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":"Q1941879$70E77305-9B37-4A56-9AF5-EF1AEE52C927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eba5882a7b745fcaf69302ae874d4ccdca5be1a","datavalue":{"value":{"entity-type":"item","numeric-id":817822,"id":"Q817822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc63cf99ccfac86d799ba80a67666495a730d4c6","datavalue":{"value":{"amount":"+0.8365679979324341","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":"Q1941879$4299ECA1-1CBB-43C1-ADC9-1F43207F8E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49067d20b03c72e3e555aab173430209e98de01e","datavalue":{"value":{"entity-type":"item","numeric-id":4681204,"id":"Q4681204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f2df1c0e7e80b3aec7687a45506aec4649bd1e","datavalue":{"value":{"amount":"+0.8290553092956543","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":"Q1941879$CE2312A2-E69C-455A-9EF5-EF2B148C89D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea3fe7108003828dfe2a80f802eb2fa4cd5970d","datavalue":{"value":{"entity-type":"item","numeric-id":401316,"id":"Q401316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7fb6d70b3eedd22b05fa4711fbd03c6d8d6d73f","datavalue":{"value":{"amount":"+0.8245200514793396","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":"Q1941879$9CBAC828-973B-455C-9AA3-4EEFF49D70D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9eed98ea83821f4e5fdb4f47704f05a6fc9699","datavalue":{"value":{"entity-type":"item","numeric-id":498668,"id":"Q498668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368fe02140813bcdf17f2de62bba42455b2fa243","datavalue":{"value":{"amount":"+0.8178616166114807","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":"Q1941879$249A26B4-D9AF-4BD5-B09A-C7F71E2763F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941879"}}}}}