{"entities":{"Q1858445":{"pageid":1869187,"ns":120,"title":"Item:Q1858445","lastrevid":48047554,"modified":"2026-01-03T11:39:43Z","type":"item","id":"Q1858445","labels":{"en":{"language":"en","value":"Automated verification of an audio-control protocol using UPPAAL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1868276"}},"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":"Q1858445$119FCFEC-4F74-442D-88D2-650B36D4EBBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88f6509f874c5fe94ff5952b6f98ef26d7c91c84","datavalue":{"value":{"text":"Automated verification of an audio-control protocol using UPPAAL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1858445$9ED8C236-D2AF-431C-B996-3E7BB4784A7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c43d9dd160a8d038d672fd0d974bfa8e4b86aef7","datavalue":{"value":"1008.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858445$857EDD89-5601-4374-8EE2-F1916F0C9A06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb079b35f4c9a66a80051316ef40171c43261029","datavalue":{"value":"10.1016/S1567-8326(02)00036-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858445$3F1F1D17-0CFF-49E3-B981-CA75993A1B74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c90fd5334d4628a2673154202a8946e1be1923d","datavalue":{"value":{"entity-type":"item","numeric-id":1858442,"id":"Q1858442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$62198B05-512F-45D2-A78E-AEA7328C4183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5824abcff9bb88fd216493b6e5b0b2b2fd4e872","datavalue":{"value":{"entity-type":"item","numeric-id":1858443,"id":"Q1858443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$E52E183F-369A-424B-AD8D-596302A6F8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d588b6f6df4a5a586ffd800e1c6a68ecb939f3dd","datavalue":{"value":{"entity-type":"item","numeric-id":1858444,"id":"Q1858444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$7A930E0D-E936-4DDF-8D86-18FF3D0C6F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f3717e5b51f15eadc8f80c469eb9d35436d2194","datavalue":{"value":{"entity-type":"item","numeric-id":633529,"id":"Q633529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$FA791EAB-F0C7-4A27-8849-315D7A8A0D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7f66814d7b0aeacba32338c67c404e47976f82","datavalue":{"value":{"entity-type":"item","numeric-id":225080,"id":"Q225080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$787CF804-FBED-43D9-8E16-6AB404113626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e1aad6a37985b7be56fd12352d0f38940dec0","datavalue":{"value":{"entity-type":"item","numeric-id":225081,"id":"Q225081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$E8E420FD-236E-4C93-B776-99515539D5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$0B489774-EA5C-40B2-955A-4B441D279565","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$A390AE50-945F-462D-BE41-AAD1213DE521","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeee03ff93cd4d2bc8e8bd2001afc62b5646464f","datavalue":{"value":{"time":"+2003-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1858445$15A27709-019E-4253-90CA-23FA090B1859","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858445$98587C69-1BE7-4802-BF3F-00ACB81FBB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858445$2791B74E-7340-4E45-9841-F9FBD5FD2934","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4457f49e6706f4f6f9b44b5cace9490038f9e6d","datavalue":{"value":"1868276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858445$4C16514D-F75D-42C4-898E-FC688443FA2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858445$082DD84D-E3D9-484B-8CC6-F72372379A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a84960a99a84099f185761f8fae48ae646da546","datavalue":{"value":"requirements/specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858445$F37705CE-5A09-4066-9000-19E3CB899E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06445f49412b727cddc7032c90a8f35daff983a7","datavalue":{"value":"design tools and techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858445$2652C106-D211-48D0-A089-5835265943A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e490633ed6a2ec8ea4fc20b143c1ac106f23bbd","datavalue":{"value":"software/programverification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858445$CD4FC849-091A-4224-8E00-1BFEFB4B6AC7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$89FF15E6-5DED-4E63-A2D6-CD2414412E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$858FE73F-73F9-4833-9DB3-F8CDC247D40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$0EF3A501-93DC-4181-A7F7-81F5C3E56E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$02E7BCF5-AD0A-4403-BDA9-A805BDADAF61","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":"Q1858445$41EC79CE-171B-4E8F-8F14-F5D3A1DAC0AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$D7A52471-9681-4CE5-B5AF-1EB17962B394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$E395C3AA-7AB5-4FBC-962B-7EA5AED4DE34","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":"Q1858445$83AAC391-C812-4EC7-B47C-F690585DC6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd16321385151fc035442a1a60c81cc4bc1a15d6","datavalue":{"value":{"entity-type":"item","numeric-id":1856190,"id":"Q1856190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$F58BD3D4-339A-47A0-B27B-6E6BF5EF544B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$7FB2BC2B-D4B6-493F-87AC-36BF2AF0B077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4987ac4b8a901f86bed367671d5ab9de5ed06c3f","datavalue":{"value":{"entity-type":"item","numeric-id":2743711,"id":"Q2743711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858445$D4954159-9F5E-44A5-8C97-DFFCFAB9C1B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9134119819e65a383eebe50ea7e7fabb79cec5d3","datavalue":{"value":"https://doi.org/10.1016/s1567-8326(02)00036-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1858445$BBC93ED2-4995-4A42-9EBE-57D7B2D93459","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad8529a427ebdb64380509aa5d27523dac7374fe","datavalue":{"value":"W2012339561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858445$A0A90BBE-4A66-4E93-8AD8-C61366454CEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7279297fd9e525d20aeb81fd9b309b372ea6498","datavalue":{"value":{"entity-type":"item","numeric-id":1125438,"id":"Q1125438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca3c321b2bfa86a57db0f5f29e1408a437f9d85","datavalue":{"value":{"amount":"+0.784182071685791","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":"Q1858445$2A17525A-D4CF-41F0-B00E-3B7068A9B3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d347909db590246446ba31d5dddc3be87dc7ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4532077,"id":"Q4532077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77bd03b2ab5305c43673c9dc0c4ee56f868f4609","datavalue":{"value":{"amount":"+0.7799962759017944","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":"Q1858445$40700A5C-45D4-417D-8D19-9CB1F7F9D6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b99df571e90fd8519614b987eb788c727040e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4356436,"id":"Q4356436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77bd03b2ab5305c43673c9dc0c4ee56f868f4609","datavalue":{"value":{"amount":"+0.7799962759017944","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":"Q1858445$D1E35C06-4352-4E10-99FC-4E9ECD39AA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d268add763ecbb41f2db6207f0c8e409265eec6f","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565a8628f035aeef0990a11035996fe5dbb8c8e0","datavalue":{"value":{"amount":"+0.7497397661209106","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":"Q1858445$6C16499E-03D6-42BF-9A69-5F90CA39F522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1372bdb69ffda7f6288354b2e25e1c88d3694f","datavalue":{"value":{"entity-type":"item","numeric-id":2766550,"id":"Q2766550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0a1d48ca0e7b4cc96b0fd5a4a860129fe2adae","datavalue":{"value":{"amount":"+0.7470186352729797","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":"Q1858445$2E8AF385-9CD1-4216-B134-5B7E66B560BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1858445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1858445"}}}}}