{"entities":{"Q1713851":{"pageid":1724592,"ns":120,"title":"Item:Q1713851","lastrevid":53334539,"modified":"2026-01-24T18:31:20Z","type":"item","id":"Q1713851","labels":{"en":{"language":"en","value":"Probabilistic verification of hierarchical leader election protocol in dynamic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7008379"}},"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":"Q1713851$CE23A779-91BC-4AC5-A7E9-CD7B98DDBA97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fafbd5b7f156d20c7bbd3f4434582203b7e4f9fa","datavalue":{"value":{"text":"Probabilistic verification of hierarchical leader election protocol in dynamic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1713851$79993479-E3C8-4F52-BC6E-07D6E370E63F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a529c8556b92337fa2b0dff27df06e7a6c3d10ef","datavalue":{"value":"1405.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713851$9FCD51E5-1978-4CF7-8E45-4B2DE1D053C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af059aefe9f939bb782ddabfd325b1fec8e854a4","datavalue":{"value":{"entity-type":"item","numeric-id":249170,"id":"Q249170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713851$5EA84E10-F1A7-40E5-BEAF-31E09D40C7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4288f7ec134afbce0655cb179d2badf5fe3c8b27","datavalue":{"value":{"entity-type":"item","numeric-id":1713849,"id":"Q1713849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713851$5BA8648D-24ED-47D9-A9FB-8A68712C9D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7212e30b632f2e93de3964c7abeeef134479d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":458373,"id":"Q458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713851$CDE87FAF-6257-4196-BDEC-DBBF82296802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"163e8b16907f9b61b4c4259a8d9121840eae66b8","datavalue":{"value":{"entity-type":"item","numeric-id":1713850,"id":"Q1713850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713851$C9AA5B27-4B24-4106-8975-19E850B63CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbcfc6b36e23faf42e90439daeb48c76a246d121","datavalue":{"value":{"entity-type":"item","numeric-id":436831,"id":"Q436831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713851$786B90F3-4C19-4040-8EA2-0D325B8F4702","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eabcb9c93ef6c7df283793669954b3abc32ee68e","datavalue":{"value":{"entity-type":"item","numeric-id":249541,"id":"Q249541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713851$A133AFD9-1A5C-401E-B49D-63B7E2580A53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07203404d2af45c33c6ce47940bc3508e696c166","datavalue":{"value":{"time":"+2019-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1713851$C355080A-EC9C-479E-A20D-F3D8A10C3447","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59ad99b4e5574c2bb1cf26c1a9074946f2284966","datavalue":{"value":"https://eprints.bbk.ac.uk/id/eprint/19777/1/FCS_draft.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1713851$0BCE2773-D38D-4E2F-B87B-BC872104A2C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713851$9191E9FF-E98E-4C84-9BB8-9F356F492078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713851$B828189B-4BF8-4E95-80B4-7E29C902C97F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37adc56b4a16f40db1f47a14c8600a11b66d6a93","datavalue":{"value":"7008379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713851$8EDE48A4-F428-40CE-9FDE-29BAD6143A17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b36d924addd0d2f364b26835d91730b673a9f92","datavalue":{"value":"distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1713851$56F25D2B-D394-447A-B9DF-39057867F3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc371bf98f073c380a44d71002e39ca54f19813e","datavalue":{"value":"hierarchical leader election protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1713851$FE8FAA3B-7CDE-4314-8BF9-B43C483B632A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c408169caceb667dd97c6c7b1e1843ace02f95a","datavalue":{"value":"dynamic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1713851$A5DAF286-0840-4BB2-822D-0D014679E36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1713851$B2204B26-81CD-4779-B91A-B44CECAAFCE2","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":"Q1713851$C24E0929-61A3-45A8-9176-4CFC86619DF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03c5ca24398049e816313ecc972db06eb19e7faf","datavalue":{"value":"W2589496111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713851$AD9D2ED4-E514-49E8-9270-5FF023E17F7A","rank":"normal"}],"P223":[{"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":"Q1713851$1D3AC93E-78E6-48BB-94A8-13283EEE0529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df46e30d71a6986dc9bb4b5f3c63347f51fde3d","datavalue":{"value":{"entity-type":"item","numeric-id":3557063,"id":"Q3557063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713851$01BAF6DC-11E7-4D9D-BD5A-C28D0970A4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47240905522e81697c9e35bfd396ff2b74e83a0c","datavalue":{"value":{"entity-type":"item","numeric-id":386007,"id":"Q386007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713851$44C6A80E-69C8-493B-B1B8-9BC21CA7342A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9b2906e744a42e9b4f96816bbf7faedbe3b56a","datavalue":{"value":{"entity-type":"item","numeric-id":2766865,"id":"Q2766865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713851$EB1E6D1E-3458-4517-812A-94F88460EAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fb269aa808360823d096db5cbe87b1106112a5","datavalue":{"value":{"entity-type":"item","numeric-id":5418957,"id":"Q5418957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713851$4C8AAB24-E0A4-4CC9-9FE4-2163A27DE272","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b57fbded8ea1ef9ce91a27eb15baad60b68fe8b","datavalue":{"value":"10.1007/S11704-018-6173-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713851$D232A814-FAEB-4D02-8221-9F36477440C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bf3133a7d4f53dc35b97cc0fc227316cf01e66","datavalue":{"value":{"entity-type":"item","numeric-id":5137017,"id":"Q5137017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c33fe37d89aa33cc6d6e9cda0b754b70fa1a8a3","datavalue":{"value":{"amount":"+0.7778037190437317","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":"Q1713851$235976EF-9B25-4683-B320-E416AA23DB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f9da2c07cddfe4b71292ab3414446f3e15564c","datavalue":{"value":{"entity-type":"item","numeric-id":2766865,"id":"Q2766865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96f0fd88d9be964ddf4c2407f843565427bf9d0","datavalue":{"value":{"amount":"+0.7564333081245422","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":"Q1713851$3CA45097-94C6-42FE-A60B-DC3B1FD89B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c3e3a4c3d3170926a05064c5427c69f2a9ff06","datavalue":{"value":{"entity-type":"item","numeric-id":5896952,"id":"Q5896952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e42bf25bc51f3f270b11aca2bf36262ab5f2075","datavalue":{"value":{"amount":"+0.7516560554504395","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":"Q1713851$EAD7F9A9-9D9A-4CD7-A358-C90F944364E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8327e1d8e4ff795f34700a0e2ee0b9776f35e1d","datavalue":{"value":{"entity-type":"item","numeric-id":1391796,"id":"Q1391796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c75b1a6c0cba16ef54792c19145aeca966f54c01","datavalue":{"value":{"amount":"+0.7220044732093811","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":"Q1713851$32EB10C0-4C34-42E6-9D97-AA3FF90735B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf0ce2056a5779bb99f7704c3c7525101a2cb409","datavalue":{"value":{"entity-type":"item","numeric-id":1954216,"id":"Q1954216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c75b1a6c0cba16ef54792c19145aeca966f54c01","datavalue":{"value":{"amount":"+0.7220044732093811","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":"Q1713851$0E76855C-D011-471E-8C3B-9D5F1AF7DE4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1713851","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1713851"}}}}}