{"entities":{"Q2287101":{"pageid":2297844,"ns":120,"title":"Item:Q2287101","lastrevid":71768067,"modified":"2026-04-14T00:25:07Z","type":"item","id":"Q2287101","labels":{"en":{"language":"en","value":"Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157056"}},"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":"Q2287101$C1DFC806-075D-428E-B4AD-D66B9485DAD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b0275def0881398ae009d62cb25a37c82c25d4d","datavalue":{"value":{"text":"Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287101$39A60C60-C5B4-4113-8316-979D88F6C8C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"857b3ace2e7a67fff397ea43f5b5bcfd678ac66d","datavalue":{"value":"10.1007/978-3-030-11245-5_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287101$192727C6-4AB2-46A5-B539-340E1AC91FD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287101$566C10F9-3518-45DA-8F31-0887C4AFDA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287101$4C62F8A3-16BA-4CB8-A871-E1E9CEEB0EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d38568e5bcd803820833a0718a93c58b4b0b2b34","datavalue":{"value":{"entity-type":"item","numeric-id":2287100,"id":"Q2287100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287101$B2A90CAD-D4E6-41F0-8058-8B694CEF20DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cb43f938080bf342bb2fc5de1e55531d6d54f06","datavalue":{"value":{"entity-type":"item","numeric-id":1708661,"id":"Q1708661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287101$98071D1C-928E-4E5C-BAD7-F3E2607E2DF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e303adb2b0a1f1bcfef4359b3361358b8f766d","datavalue":{"value":{"time":"+2020-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287101$40E621C7-8B9E-446F-932E-693D650400D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78131fc5eb8e20f844bb27b4a8756a6f26a898d3","datavalue":{"value":"https://arxiv.org/abs/1812.08949","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287101$9DB8A5DE-FE32-4D11-BE37-D9D9547DD9DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287101$26BB9159-43A3-4BE7-A4BB-0A132385EC3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d55f5f3d214f3cd29bd26c6a9cc64b971b93c25","datavalue":{"value":"7157056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287101$188B9D79-997B-411E-942C-D95DB2F45141","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4b342bface8af7dbc6ff44690c7a82174759179","datavalue":{"value":"leader election","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287101$BBC0E806-FFCE-4254-B8D0-44543A333C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e18b5f74879d022f2f865fc8c3928cd3c59ce0","datavalue":{"value":"distributed algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287101$837DAB49-7E40-4154-941D-E9BB30DB1689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287101$71B45509-DE9A-443A-BCDB-AC83B319D493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1be918d3899eea6afd736d1b171789c1f6cdac97","datavalue":{"value":"saveprover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287101$EFB7FEF1-9B06-4D9B-AF3E-F4C95F6E17C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287101$BE4781BD-081C-45EE-B6FA-C52ABE99E031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7cb7aaf2a5bb8a7be5ce8256b40edd3ca624af3","datavalue":{"value":"parametric timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287101$081A7DFD-7E74-4044-B25E-FDA53C09E16F","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":"Q2287101$9784007F-3942-454C-BE7B-F2C75BA08081","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79a02c0a46ed134cbb7455bcd3aacfb5cbcb0a34","datavalue":{"value":"W2906360881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287101$66255941-BE14-4230-A8C5-F3B9AC2F0C40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4252f73bd3a9f4c25692aafd60542e14c6faaa95","datavalue":{"value":{"entity-type":"item","numeric-id":4474219,"id":"Q4474219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"380762eb142bd5bdf27990730a832229788395e8","datavalue":{"value":{"amount":"+0.7575402855873108","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":"Q2287101$9ACF1DDB-AC40-48AA-9B15-8F3E862ABC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06d73efbd671194e45c397220b3107fe619b2cc1","datavalue":{"value":{"entity-type":"item","numeric-id":3303889,"id":"Q3303889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5dd388a403775327dbfbe7b079811edcb2ca70c","datavalue":{"value":{"amount":"+0.7545998692512512","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":"Q2287101$7DB15455-3887-4563-98F7-79F290A86FC0","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":"54a66293099d09acf86dde1843947606862d004f","datavalue":{"value":{"amount":"+0.7406039834022522","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":"Q2287101$DC5F8C83-F132-407B-AA74-01FAB0DADF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c606eb5114f632fdca61bdf1f885c752cbc98d8f","datavalue":{"value":{"entity-type":"item","numeric-id":2149965,"id":"Q2149965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a66293099d09acf86dde1843947606862d004f","datavalue":{"value":{"amount":"+0.7406039834022522","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":"Q2287101$86DB64EE-A187-4CD9-9BB6-1682B8D58DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f456567a94c89e8fcf49d6cb0baf155a9c0e8482","datavalue":{"value":{"entity-type":"item","numeric-id":4952308,"id":"Q4952308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec09306988eac2bec4f1b0a4d33c13f4d0bcbe1b","datavalue":{"value":{"amount":"+0.7265328764915466","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":"Q2287101$8A224D51-8317-41FC-AFD0-FFEEB4891007","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_an_industrial_asynchronous_leader_election_algorithm_using_abstractions_and_parametric_model_checking"}}}}}