{"entities":{"Q1708708":{"pageid":1719449,"ns":120,"title":"Item:Q1708708","lastrevid":72160503,"modified":"2026-04-14T03:02:04Z","type":"item","id":"Q1708708","labels":{"en":{"language":"en","value":"Towards verification of cyber-physical systems with UTP and Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852763"}},"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":"Q1708708$04CA1057-F3E7-49E5-8179-B541F1E78B28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e398752466bcbff9fca84f76ff5da8d8713abd73","datavalue":{"value":{"text":"Towards verification of cyber-physical systems with UTP and Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708708$2FD2FAB2-D32E-4044-83B9-EC34F01DE9DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"161b4dc8e15e76ef013c3f52bc8dda289be39fea","datavalue":{"value":"1485.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708708$A019DC98-3EF3-49DD-B5D1-9CA300E481B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7897da6bfe3fa4b8623a72072aed54b15d7cd2ba","datavalue":{"value":"10.1007/978-3-319-51046-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708708$138BB449-DFD7-4AA5-9006-E31F0E4C998E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0d16d56334eda577a220b2d6e48a64c295fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1617822,"id":"Q1617822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708708$580B8608-2E45-41AE-BF48-4F7B72A11591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708708$7A0411EF-14BB-44A9-A3EF-ED0C3EFCF8B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a82fdf4a918c0f6ebce8b814fffa2efa1f2ae62","datavalue":{"value":{"time":"+2018-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708708$36F851E1-37F6-4F57-A789-6FB266C30B39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1033b55012670c81569f5e371476b5e1e1870cf9","datavalue":{"value":"https://eprints.whiterose.ac.uk/110313/1/roscoe.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708708$DDC1957B-C2D9-458F-85F4-5573B743DDBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708708$D25E5B86-4EE2-48D4-822A-D372AE4CBA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708708$FB551608-680A-40AD-9B33-BB051C1874AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708708$60F34BE6-864D-4603-AE93-B02703AC1C76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d0b9e0f0e1406f092a48c082b30662ce49aaf67","datavalue":{"value":"6852763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708708$988D2836-48E4-4846-8EDD-FBF4088947C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708708$3FFC6041-9361-4D93-9688-F6D3EED83E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708708$59D41886-3212-419A-823A-B94C20536322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708708$83CEFB1F-0122-486D-80E1-E39FC1424F68","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":"Q1708708$0FD24DDF-8DB0-4CB9-B41C-19BE4D1DCDB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6834543a02044e224a5f2e9970949ff19670d0cd","datavalue":{"value":"W2564273566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708708$6B2457F3-9E31-41B5-8F46-6573EEBE6A40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f6e05a9adc35b575782fa3dbc252f9c75f18d3","datavalue":{"value":{"entity-type":"item","numeric-id":3055747,"id":"Q3055747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53940210dbd0cd0835a4daaa2582f2412e369a61","datavalue":{"value":{"amount":"+0.8117825388908386","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":"Q1708708$01862BF5-AE17-4C98-9155-3A172CFA0F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6db23d2ad35e7f6579e9dc67d88087dcc91726b","datavalue":{"value":{"entity-type":"item","numeric-id":2814613,"id":"Q2814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb63143911e73af1a3fed3f9b4fcf726836becf","datavalue":{"value":{"amount":"+0.7861553430557251","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":"Q1708708$84515B9E-8AEB-4930-8C79-97F4BB4916B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a44e8122fbb6979a1b1c0991a8c52da2ef9330a","datavalue":{"value":{"entity-type":"item","numeric-id":3179407,"id":"Q3179407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebbb3126fb2aa6103e7815a10fb5a6d843e01776","datavalue":{"value":{"amount":"+0.7569265961647034","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":"Q1708708$A890D07A-40A8-4D2C-BA74-6A25D763ACF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6442d5e89d0411d47ef58a6a762b691cfeb68bf8","datavalue":{"value":{"entity-type":"item","numeric-id":2948230,"id":"Q2948230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"881f7aa37e950f8ec0bff07c94b762e8439d3c52","datavalue":{"value":{"amount":"+0.7531450390815735","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":"Q1708708$CD2321AC-64EE-4583-9C95-7CAA419FC3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5841d5f9923d6922c7afdd94dd1a26555046af11","datavalue":{"value":{"entity-type":"item","numeric-id":2971180,"id":"Q2971180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b3a3714043f848b13841c9c1a25a42dc5d5198","datavalue":{"value":{"amount":"+0.7507783770561218","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":"Q1708708$CDA78AAF-3D27-4416-8994-58D0E5335122","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards verification of cyber-physical systems with UTP and Isabelle/HOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_verification_of_cyber-physical_systems_with_UTP_and_Isabelle/HOL"}}}}}