{"entities":{"Q4991929":{"pageid":7021506,"ns":120,"title":"Item:Q4991929","lastrevid":54013925,"modified":"2026-01-26T02:24:17Z","type":"item","id":"Q4991929","labels":{"en":{"language":"en","value":"Declarative parameterized verification of distributed protocols via the Cubicle model checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7355382"}},"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":"Q4991929$F10066EE-BD7C-43D8-A5AE-B8C439F4C8FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1662198e651271579855b05b9641c2dedfce7015","datavalue":{"value":{"text":"Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4991929$9DD23813-8FBC-42BA-8151-260171CAB63A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15ef8e08a9c0b141bd9f3dd938cb186234553f51","datavalue":{"value":"1497.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991929$54A30F5C-215D-41CB-A49E-7DEE1AAE9236","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c68dd9e16d522cfbb8d07fb88273104236078c8a","datavalue":{"value":"10.3233/FI-2021-2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991929$FD92DC6D-5E1C-4F1E-B5A7-A9E864277AF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a9c3e977eb61b9fc5b2fcb92fe6e8ddc0a12670","datavalue":{"value":{"entity-type":"item","numeric-id":287381,"id":"Q287381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$8982D92F-B2B7-41AF-A3B3-634E89167B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$6AAC5307-99EE-4DA4-AF8B-DB53B4A8AE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"890f0fc11f86b5604c6675146d543803690de305","datavalue":{"value":{"entity-type":"item","numeric-id":2026781,"id":"Q2026781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$7CE6D102-1323-492A-B3B8-2934B5B929CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$54EC519C-E36B-4C4B-A5AC-2A9178C4E95F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"992b0aec234196984d2cdf256bc6f4d8ba8b2c44","datavalue":{"value":{"time":"+2021-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4991929$0805F959-17CF-428D-B146-AE8627656269","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991929$C24D5109-0FA7-4D52-AC59-7F66CCD0314F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991929$345C0768-CCA2-44F3-9070-217C321D46FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45368cc5f5e267ae3720283298f719e4feece3ea","datavalue":{"value":"7355382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991929$DDC719DB-2FF7-4DC1-9D38-AE6E0E75B90F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$0D2C30E3-DE4C-4FA2-B33A-024EEFF0DE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28cff576496c4ee6851a70884e3a4343ae4475ff","datavalue":{"value":{"entity-type":"item","numeric-id":25690,"id":"Q25690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$74310D74-81BF-4737-8F6C-F2133EEA97CF","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":"Q4991929$3FBF4C68-F15C-48F8-98CB-B4176D4B7D33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$AD698741-47E3-482A-90CA-DC96F58B8273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbedb3dddcd9d2907017e28c6f56b3882e9285c","datavalue":{"value":{"entity-type":"item","numeric-id":5111899,"id":"Q5111899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$27B07FB7-B07B-49EF-81F7-85165C2D23DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10c9c15fa564fd061502c8ef2a6116ea0ee0a55","datavalue":{"value":{"entity-type":"item","numeric-id":5357693,"id":"Q5357693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$8239577B-25C1-4DD7-91AB-915D59A20F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55099664c2960104dfa739c0e9359324f560c9ba","datavalue":{"value":{"entity-type":"item","numeric-id":3584939,"id":"Q3584939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$514C6D74-1163-4C0C-933E-A328CE77C9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe2eaaed127f92f45fa3ab8862f487c4abd56b5","datavalue":{"value":{"entity-type":"item","numeric-id":3000628,"id":"Q3000628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$AE9C19B5-CF31-47B0-B6C0-15FD27C13E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88513da3b40e8d94cc45b6d0ad9dbb72de7a7e33","datavalue":{"value":{"entity-type":"item","numeric-id":1878907,"id":"Q1878907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$0013D8F3-36D1-450F-8133-9223796ABEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$1F90BFE8-C784-4B5A-80ED-B26E946D6A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed96b910c28b0a5b2e7f2a02d0a97eef2d58a5","datavalue":{"value":{"entity-type":"item","numeric-id":4379556,"id":"Q4379556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$2E41EF36-66C5-48CC-B1F0-DCD981466521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7410a4f6c484ab10625fe7463e5001d690897bf","datavalue":{"value":{"entity-type":"item","numeric-id":4686516,"id":"Q4686516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$68B509DF-CD3B-45D7-9E99-22307120606E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1db59f76df444163b20fefb5198b53fe84a10a83","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$D5B3D45F-BCD9-45BC-A7C0-7C9EDDAC4DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af1a61d8c84885fa1dde3121fb2547c7247ff4c","datavalue":{"value":{"entity-type":"item","numeric-id":3447696,"id":"Q3447696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$AE71EEFB-2F58-4980-8393-D889D78EEBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e242557b370e70ca22794bd752775ec0bac8856","datavalue":{"value":{"entity-type":"item","numeric-id":4804887,"id":"Q4804887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$C97B0FB5-8A00-4C8F-BD96-E11567B45396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c3251f938c040b54d82defd7329dedaa122861","datavalue":{"value":{"entity-type":"item","numeric-id":2926659,"id":"Q2926659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991929$11A0DB29-62C6-4FD5-A6ED-050826D093D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85eefd65218ca4e1a942141e474c67abef2e99cb","datavalue":{"value":"https://doi.org/10.3233/fi-2021-2010","type":"string"},"datatype":"url"},"type":"statement","id":"Q4991929$8A5884D1-A0CF-4FDF-A3D5-20833D55D47F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28d244e2b0d53785497bd30b05ed4dc38ce8a011","datavalue":{"value":"W3128914275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991929$629F9E7E-2A40-4A77-BC2D-D416FACF52A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b5400eced727b247019531e50cc33cca8f3fb13","datavalue":{"value":{"entity-type":"item","numeric-id":1799076,"id":"Q1799076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d898d77c51d0136bb3024a587704975ac35ddd6d","datavalue":{"value":{"amount":"+0.7638963460922241","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":"Q4991929$276ECFDE-B616-4CDA-A5BF-84EFC42A5A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dcfa935a298f514cf1246c5808b9bbf816a89f4","datavalue":{"value":{"entity-type":"item","numeric-id":3192219,"id":"Q3192219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52700c3edfa3cdde793de13081a8a5dde15461b9","datavalue":{"value":{"amount":"+0.7513623833656311","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":"Q4991929$7A955C34-321C-4A34-B137-82C2F68D8705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fafc120883437c10cd012114f423a1f21367d1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3296318,"id":"Q3296318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b381371286cf2240d5f64ec144bea08f2917bb6","datavalue":{"value":{"amount":"+0.7192934155464172","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":"Q4991929$CC1224E0-5420-46FA-B69F-166F67E55147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f882e8c8c3f3b35fb5d6d6ebc7b6d3533c1972","datavalue":{"value":{"entity-type":"item","numeric-id":5505593,"id":"Q5505593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80aaa9263d3458f8f3e61529450eb41a3bc0357","datavalue":{"value":{"amount":"+0.7160423994064331","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":"Q4991929$C7327DE4-0AF5-43E5-A6E9-D8F6DA0E443C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c4e431df1cf062dba92e5680550f1d1f1f818e","datavalue":{"value":{"entity-type":"item","numeric-id":2208293,"id":"Q2208293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565e1d3cc5d8351cc017cb467062a86c98433ae5","datavalue":{"value":{"amount":"+0.7125290632247925","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":"Q4991929$C1E801FC-579F-4A68-82CE-9095AD43307E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4991929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4991929"}}}}}