{"entities":{"Q1125438":{"pageid":1136187,"ns":120,"title":"Item:Q1125438","lastrevid":46858629,"modified":"2025-12-25T17:53:36Z","type":"item","id":"Q1125438","labels":{"en":{"language":"en","value":"Automatic verification of a lip-synchronisation protocol using UPPAAL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1375211"}},"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":"Q1125438$FD0EB900-8B2A-452B-90F8-470B06D3C9F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52c7b9e17f88fdf35384fbb332f950258ef18391","datavalue":{"value":{"text":"Automatic verification of a lip-synchronisation protocol using UPPAAL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125438$02CEC1F7-1EC0-40C8-96C2-DE7736F8AEC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a932bf44626294ae67a2c3b9f32491cb433ab9f","datavalue":{"value":"0951.68533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125438$D965B337-9B9B-4B90-8B48-8A8D59BAA076","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125438$3C589F4E-FC6D-47AD-AB14-605CD7CE1BA2","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":"Q1125438$60E2CA81-7B6C-4B05-BB8A-247B3E1259AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04a93e8a3cd0abd153a8f6f2613667c25066ac89","datavalue":{"value":{"time":"+2000-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125438$D9ADDE84-9DA1-4AA9-B080-C18F01D7E3FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125438$75241799-0BDA-4607-B5FF-7582827E2AC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb06302d2f2e896034142671e1d8fedf50a07c78","datavalue":{"value":"1375211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125438$0792E141-6B86-48D0-AD13-13D82FEDDA6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b81baa1656cf77578b8439febb67ef215f65ac8","datavalue":{"value":"lip-synchronization protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125438$370BD9FD-5FC5-4530-8E81-CE847A0900E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dad73ac2422e8c6c691a8ed13ac18c9e761367c","datavalue":{"value":"real-time model checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125438$F331BE73-DCF5-4AC5-B2B0-C4AFB1CF4886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad8a319e4928213107bdf90311c84fcbfea3e116","datavalue":{"value":"UPPAAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125438$8F30034F-FE4F-4928-BCDA-06F05AB30B94","rank":"normal"}],"P1463":[{"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":"Q1125438$0EBC6390-CC9F-402F-A98C-8DDB8BAA2B54","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":"Q1125438$34774ADC-21D1-403E-BBB8-4119A2843579","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e3d8753c2caa75baeff70bc8872eefee4a83f5a","datavalue":{"value":"https://doi.org/10.1007/s001650050032","type":"string"},"datatype":"url"},"type":"statement","id":"Q1125438$C418BA9F-251E-40C1-A6F5-1F0D564C8DE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3518063994ca3521c907548eeb53ef30d3632c0d","datavalue":{"value":"W2087107052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125438$7696CF47-0DB2-46FA-BEF3-27E4133CA62C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9061348cfa2ad1594f9e8926fdc3b7d96e110b4b","datavalue":{"value":"10.1007/S001650050032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125438$D08251BF-1FBC-4E91-842D-29C4D81AAE47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80eeda685f60f8441e4f5beb3de20a8d190ee5df","datavalue":{"value":{"entity-type":"item","numeric-id":1858445,"id":"Q1858445"},"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":"Q1125438$6837A875-B741-4BB2-9AD6-AB29B4FEE25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f2dc840906419a20b10f34f7c1916360a80c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5953461,"id":"Q5953461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e7fa3dc51b4d24f8946b9b245f09f6187e5892","datavalue":{"value":{"amount":"+0.7264533042907715","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":"Q1125438$4F4DCE43-0462-462F-A8AA-19CBAB9E8F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96ab53db5af9ffde55d234db3969e336e2696c29","datavalue":{"value":{"entity-type":"item","numeric-id":855013,"id":"Q855013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4754ce8af841b80d7515588cf34cc9ed7442fa88","datavalue":{"value":{"amount":"+0.7237783074378967","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":"Q1125438$8B7CC722-5623-4338-A3E2-247494C18E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a75321cd2e5d68c3a006620d66b072cbdb58200d","datavalue":{"value":{"entity-type":"item","numeric-id":5897957,"id":"Q5897957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3984aaafc5b89849e13ae8eff096f76d89c78f38","datavalue":{"value":{"amount":"+0.7209957242012024","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":"Q1125438$CD87B71B-120C-46C2-BFBB-899ECC8AF54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8dc7ef38b66a1e6696bc169df20eba41035aab9","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa1725fc7b018ce1525de8ec7a247932f6d5bac","datavalue":{"value":{"amount":"+0.7167141437530518","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":"Q1125438$341339CE-7285-4DF3-88BC-CC1D2BB5ADF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1125438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1125438"}}}}}