{"entities":{"Q5861786":{"pageid":7891337,"ns":120,"title":"Item:Q5861786","lastrevid":93504203,"modified":"2026-06-05T04:30:33Z","type":"item","id":"Q5861786","labels":{"en":{"language":"en","value":"Compositional assume-guarantee reasoning of control law diagrams using UTP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7483012"}},"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":"Q5861786$04283E4B-CEE4-4D45-A0F0-6CC114E1EEB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28d5fd81071e65051783f5b14099892a6852e6c0","datavalue":{"value":{"text":"Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5861786$A8A14472-FA6A-43F9-BD80-94B9530CBD9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d44af62cdf9e509f2c1fcfc9ee2df8afd47aa5f","datavalue":{"value":"1486.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5861786$9B0EDE0D-86C0-4481-AA33-80853463F65D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff5daa3c1de9de72d1a655168fc99aa6a84f3ce4","datavalue":{"value":"10.1007/978-3-030-15792-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5861786$68221E5C-EEA2-4CC0-8441-D4F791412E3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f28c6f17189715ed832177cbcbb505f96e8d7c4f","datavalue":{"value":{"entity-type":"item","numeric-id":1617823,"id":"Q1617823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$5A8DB124-8BC9-4267-9E40-FAEAF9F7DDB4","rank":"normal"},{"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":"Q5861786$CC775328-4966-4B89-B458-6B0F3C06C7F0","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":"Q5861786$B6E7C596-1E1F-4B66-A820-201E587879BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d77cf0fd445410b362ddd6f5c74d566d30190c32","datavalue":{"value":{"entity-type":"item","numeric-id":5861781,"id":"Q5861781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$8A288F20-4FB0-44F3-BDB2-0C6CC3B2D7D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"094971a963c06476f5769df4e2ded64e49b46080","datavalue":{"value":{"time":"+2022-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5861786$B4FEF9FC-EDC0-4E1D-9FB3-AF57276A1C9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be7eabe5b85474472197f583d2359a1d6c7494a7","datavalue":{"value":"https://eprints.whiterose.ac.uk/129640/15/Compositional_Assume_Guarantee_Reasoning_of_Control_Law_Diagrams_using_UTP_Tech_Report.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5861786$24156CDE-9615-4AEA-B57D-CCDC663970C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5861786$C33CE15F-C544-4D92-976D-D62E50E6F1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5861786$A7429713-ED70-43BC-8406-D7AF75D9DAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5861786$15FF6220-6129-4593-8E3D-B99115A821F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dfe6507b35037bd248214e736cd1cc21eb57959f","datavalue":{"value":"93-10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5861786$312C955F-B701-49C9-9F38-16B1607A5C5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e1a9ed2d197fb9864a418c97517d8faf0a815bb","datavalue":{"value":"7483012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5861786$6304F40D-4031-4FD4-826B-95E48BC47E0D","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":"Q5861786$149B6CA6-5A6F-490C-827D-A27D6EE00890","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":"Q5861786$403B8868-913C-4ADC-8B5C-21D55394BFCA","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":"Q5861786$B9192FCE-9323-44D8-8771-94E6244EEDE5","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":"Q5861786$6328CF36-DB75-4889-A34D-453BAD40EEA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccb260e609d9129b822eac36702cc095972ea774","datavalue":{"value":"W2935786612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5861786$9C6E7C5B-E467-4945-9301-819F357D22A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df24839d625a390053c16402f9628907f226566","datavalue":{"value":{"entity-type":"item","numeric-id":5901607,"id":"Q5901607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$051BB7A9-F4D9-4AED-B166-F147D6B08365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb9865b9ec7d75ea6408f7463449ba93e2c161e","datavalue":{"value":{"entity-type":"item","numeric-id":5307478,"id":"Q5307478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$AE5FF5E7-BB6B-4939-B4ED-29F6BA42CF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97369deae146acd881725dd64fc653806a1a19d1","datavalue":{"value":{"entity-type":"item","numeric-id":4635940,"id":"Q4635940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$1A888733-EACA-4121-8462-E180B79EDA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95090307287405455bb51b88e04e1865c8d3d237","datavalue":{"value":{"entity-type":"item","numeric-id":2287118,"id":"Q2287118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$84BFE211-3B0A-47C8-8B8D-0097AEA1B727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$45A4ABF5-AB49-4D51-8889-F0D9B6DBAF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$E5224E95-7BFD-4998-A254-78056DFD34D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d223981ae7810a035830c0eb8a6cb984aabc840","datavalue":{"value":{"entity-type":"item","numeric-id":4536898,"id":"Q4536898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$BDD8BF2B-436E-4B2E-8191-D7AA7029F599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$8F0D0133-7341-4DAE-A9B7-A9D1AB639198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea00f9571a2f3eb35a08ae82329dd711da0dc8b","datavalue":{"value":{"entity-type":"item","numeric-id":2814613,"id":"Q2814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$C30EC827-3B95-49D1-8288-888C53C52E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65cf27cb319b50deacb73df4d115e078e49367","datavalue":{"value":{"entity-type":"item","numeric-id":2007732,"id":"Q2007732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$A8E8B9BD-C16B-4AFE-959E-DE06EAB67C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bbd2d76cdd366e9e1e0427a36f3a95476e8fe1e","datavalue":{"value":{"entity-type":"item","numeric-id":2842628,"id":"Q2842628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$252FE866-3ED3-4F7A-B037-D103EF5FAFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afea125cc066f2c6ea296b8495ce1912d0031da","datavalue":{"value":{"entity-type":"item","numeric-id":5716880,"id":"Q5716880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$B81BB7B0-2382-450A-A702-1DD066ACADFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd490b190df41acdaa0f289b344687790f4846e","datavalue":{"value":{"entity-type":"item","numeric-id":282101,"id":"Q282101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$37CDF5F5-A71A-4FA1-9946-69BD168A97A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5861786$3FBBDF67-73F6-4CE1-B926-FC2C9CD49C4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e859911f4f015f6d400a31050482917aef84d14","datavalue":{"value":{"entity-type":"item","numeric-id":3460585,"id":"Q3460585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337ac608fb956f57067d8ff70de9900e561dfc8d","datavalue":{"value":{"amount":"+0.7583209276199341","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":"Q5861786$0D7DA81D-017F-4885-A787-52494EA0D1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4941665f44be54c93e6efcc5e5f6593d9497a955","datavalue":{"value":{"entity-type":"item","numeric-id":2842628,"id":"Q2842628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc74e785349d7d926e724f719593648e1a2cd3ed","datavalue":{"value":{"amount":"+0.7502095103263855","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":"Q5861786$4CAD0BDD-6A7F-4DFB-B622-B921825C134D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d8bd1a97c5fb48de61002e1eb9dba32fbeedc38","datavalue":{"value":{"entity-type":"item","numeric-id":640296,"id":"Q640296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1253a80b36cc2ae93d2c523e2edf797296615d5a","datavalue":{"value":{"amount":"+0.7450296878814697","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":"Q5861786$257DC87B-FC5B-4BE3-A7DA-9AABC7AEEFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624951c163b7ff6aa5c3b4c96bc35b8e36777ec0","datavalue":{"value":{"entity-type":"item","numeric-id":436420,"id":"Q436420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e01cff63794dd61e70b8b4ea0c73041a69e9b57","datavalue":{"value":{"amount":"+0.7337288856506348","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":"Q5861786$CE855595-6B29-4E34-9CE6-D46FFB13CD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b256fbd870bdd2a67f49eea121827cca963ef26","datavalue":{"value":{"entity-type":"item","numeric-id":4600381,"id":"Q4600381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e6608e348df1aeab4a7b1d245af213deed87ba","datavalue":{"value":{"amount":"+0.7325249314308167","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":"Q5861786$1A573BAE-D04B-46ED-8714-FABF0A8839F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional assume-guarantee reasoning of control law diagrams using UTP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_assume-guarantee_reasoning_of_control_law_diagrams_using_UTP"}}}}}