{"entities":{"Q6535836":{"pageid":14146979,"ns":120,"title":"Item:Q6535836","lastrevid":55593604,"modified":"2026-02-17T19:24:54Z","type":"item","id":"Q6535836","labels":{"en":{"language":"en","value":"Assume-guarantee reasoning for additive hybrid behaviour"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7810659"}},"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":"Q6535836$10D52554-21F8-4A79-B2DB-E79D7BF91F9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ad71c3b1f4321ca993cf31c10e1a7faada5d385","datavalue":{"value":{"text":"Assume-guarantee reasoning for additive hybrid behaviour","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535836$A4626CA9-0C80-4675-91BD-030DDEF43C22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c05fd85c7916c989c37e0f781c126c3b645807b9","datavalue":{"value":"1547.68319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535836$05016A61-8CB8-461C-8AEB-C83815D85382","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87780913f706f7244f72fc6ecbce9f892835f25b","datavalue":{"value":"10.1007/978-3-031-40436-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535836$813C97E9-CE5C-4FE5-88DB-FAF4CA3190DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80cc8ccbeb9bba0c322281814418b19111b673cd","datavalue":{"value":{"entity-type":"item","numeric-id":777054,"id":"Q777054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$29B02AB2-3928-4343-BF12-D89D4B93D71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afaf552429a2acf8790c9b362cd2ff8add48c012","datavalue":{"value":{"entity-type":"item","numeric-id":1967158,"id":"Q1967158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$04211C38-9361-40D7-8A52-9551718C669C","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":"Q6535836$65D2A352-498E-4885-9E30-22B9687DA72C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1952080acac824c5abaf90b4ba5029824c97690c","datavalue":{"value":{"time":"+2024-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535836$402FD6A8-1CD5-40DF-94D1-E836BF3F1E40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535836$4147070A-24C8-4878-8271-AB6957B23C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535836$01C634C2-C6A2-4F60-A66C-B9D2F7CE6246","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d79683275ad731e59105f060df2498243359962c","datavalue":{"value":"7810659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535836$6273058B-12CF-4246-A1DD-C14A162CB167","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"882a47b602c2bf76bd6378e68b341ea804875d3e","datavalue":{"value":"assume-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535836$62CE5C96-B871-4DA3-B283-7D1EE1AF7EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5402e37af792a2299a75b033728d8235df2761","datavalue":{"value":"hybrid specification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535836$5150682D-C803-41E7-BCFD-470A3CB97659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cab510c6c79c42110298b14bdda2de409b22a9a4","datavalue":{"value":"resource hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535836$ABC64E21-B4CB-4FF1-A0F4-A10B3903B88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ee194d429cbeebe18bf3bf969f439a3da350a6","datavalue":{"value":"additive composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535836$7BC49D15-7590-4103-A3D5-53EC22C2B889","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":"Q6535836$E9E3CA19-BD75-4748-8151-151E1DB10FF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$4DA379BB-5CF0-45BD-BCE4-77066CEBDB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a480200b071f88590bffe19623276fd01c553ee","datavalue":{"value":{"entity-type":"item","numeric-id":2024347,"id":"Q2024347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$4C4485A3-3239-4552-83FF-A4DA5E0B9CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$28358088-B98E-4E14-9C75-D1FFD7F1AC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5eb513d5962a88f4f5c98ed8b7e6b3095b933e2","datavalue":{"value":{"entity-type":"item","numeric-id":4027619,"id":"Q4027619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$12F3BEB7-CCCC-436F-9724-6FBEC40C3920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8481ab9e0e91b3afb04a32356b810f59e0965e55","datavalue":{"value":{"entity-type":"item","numeric-id":4633550,"id":"Q4633550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$06C4120D-4D95-44FD-85C3-769A91830FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d4d8827841b1c3b0c758009101cd6fe41aab8a","datavalue":{"value":{"entity-type":"item","numeric-id":554215,"id":"Q554215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$ACF794EF-C3CF-43F8-BDD3-7F43FC01B5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f773e03b7a41f14dda916375c32b338ea9996b7","datavalue":{"value":{"entity-type":"item","numeric-id":3523102,"id":"Q3523102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$C7A25E6F-63EC-49FC-A7FC-B7937CEEBE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3722a01ff9977e3dae59cf7bb07fb3de2a6c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2985870,"id":"Q2985870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$3AB85D50-EC37-460F-9B61-B2D847521D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$7B626E09-469B-4946-A42D-5C3924B31D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61688f3057dea46c184688c59e5d28895fd3100","datavalue":{"value":{"entity-type":"item","numeric-id":911322,"id":"Q911322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$4740BDBC-E9BF-4C0A-B7C8-7CD9D5E29BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44147dc363938027d10215ea72f648e1caefb4e7","datavalue":{"value":{"entity-type":"item","numeric-id":954408,"id":"Q954408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$A94EC943-9F27-4F21-8923-A105103823B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$567C3F99-14EE-4050-B3D6-6576865E8CAD","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":"Q6535836$B29F3AC4-FF77-4CC2-ACBF-7E1D684DE615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099ed24753c6cc2436c52e6d9ab3529d0f79274f","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$07A2A90E-1AE8-42D1-91BC-90683D91BEAD","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":"Q6535836$50ED10ED-7D4F-447A-9548-F048619ECF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d643c9519505ce70f954afc2ea3c543e896e9fb9","datavalue":{"value":{"entity-type":"item","numeric-id":578901,"id":"Q578901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$05731D7A-2142-4327-B05C-B015DAB199EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4da92a75efcb85bf86c44f36118f31be9dabdb","datavalue":{"value":{"entity-type":"item","numeric-id":4551180,"id":"Q4551180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$DD18684C-D5EE-4925-99DA-61E635216D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"964567a06f27f740678d5c53fe7dd01e662c7e35","datavalue":{"value":{"entity-type":"item","numeric-id":2474054,"id":"Q2474054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$7077608E-6232-41CD-A2D2-B793F2D2150D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$2EC9C1E1-7B8E-4B53-A582-E053284B93AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$446C2257-361D-416F-B5B1-A667FEF00370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535836$AAD0B151-5DAC-4299-82A5-7DA879959102","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e13ed931b289283b772eb84ddfee1554d3188c","datavalue":{"value":{"entity-type":"item","numeric-id":4552473,"id":"Q4552473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e337504859f5a100e56f60fd9bfee8ab6f82792","datavalue":{"value":{"amount":"+0.726318359375","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":"Q6535836$CE48FD30-9038-4AA1-820E-75F0AF15B200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5205af708aa0fa32a3dfc4c4c30ecc5bcd5102f0","datavalue":{"value":{"entity-type":"item","numeric-id":2898020,"id":"Q2898020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e15e5dd1386c7400d17acbb786dde11fa498fcae","datavalue":{"value":{"amount":"+0.7106219530105591","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":"Q6535836$E038EEE6-FD91-40EB-9660-ADF21CA7F0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f187d00a0ef0e02de5c18f792cc785a235332a6","datavalue":{"value":{"entity-type":"item","numeric-id":2722027,"id":"Q2722027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86cc58bc217a3699bf5cf1bf6d8a0feff8cd12de","datavalue":{"value":{"amount":"+0.6955133676528931","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":"Q6535836$5668DB24-6E86-45A8-8907-024EB6ACA9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba16f5fc636f2d5b18e8108fe834f8fc49259859","datavalue":{"value":{"entity-type":"item","numeric-id":3179412,"id":"Q3179412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a3f569d695571e92c613b1bcbb083eb6fa2312d","datavalue":{"value":{"amount":"+0.6818238496780396","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":"Q6535836$54F4660E-83E6-4B11-9E16-9DB37A0A3516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8917efa2423d1f82436cecded4d6da52d04d7339","datavalue":{"value":{"entity-type":"item","numeric-id":4503931,"id":"Q4503931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed47a3ad125909e3795ab0597c40abe6942f4b7d","datavalue":{"value":{"amount":"+0.6784803867340088","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":"Q6535836$A13823C6-8DF6-48A5-8834-2C2D615A8ED1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535836","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535836"}}}}}