{"entities":{"Q6535960":{"pageid":14147103,"ns":120,"title":"Item:Q6535960","lastrevid":55604974,"modified":"2026-02-17T19:35:58Z","type":"item","id":"Q6535960","labels":{"en":{"language":"en","value":"Parallel composition and modular verification of computer controlled systems in differential dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817385"}},"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":"Q6535960$A9F79D15-DBCF-42CA-A07F-26690705D736","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74e5d6d79c280fbf5e278ab385fcb5cf08eede5c","datavalue":{"value":{"text":"Parallel composition and modular verification of computer controlled systems in differential dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535960$B82DA7A0-12F0-45A7-995C-BC75BE134DBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70ef83184fa933fb26d9346e9cf6c29bead233ff","datavalue":{"value":"1539.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535960$EBF2E12F-F623-421E-A832-0E6D65A9C7B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e613a12d5eec52a807d437fe6e36ebc63b602b3","datavalue":{"value":"10.1007/978-3-030-30942-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535960$FC9B191A-1D98-4D65-B68E-ABCBDF1FE8CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5820f5cfe9aff97783f000fd1d34f2de005b90c3","datavalue":{"value":{"entity-type":"item","numeric-id":5278419,"id":"Q5278419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535960$F5E75ECB-E2A9-4678-9D2B-DCF0CA3E76DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b16426e16334f11344c5d2b57762ae4aeb39220a","datavalue":{"value":{"entity-type":"item","numeric-id":681464,"id":"Q681464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535960$91D1E759-1EF6-4F31-B985-16FFA14A9408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff2dadf39adfb54bd77220f1f99399d7f233939","datavalue":{"value":{"entity-type":"item","numeric-id":2119968,"id":"Q2119968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535960$4D25C987-5D1A-4F9C-A8DE-FD4A9D836443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a64711ea0b0a0b7b509db8ec371b32642d9b13a","datavalue":{"value":{"entity-type":"item","numeric-id":456397,"id":"Q456397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535960$3FA6AC19-0C58-46AB-BCA3-A105544490E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535960$90C701F4-6B0E-46A6-A6B4-48CCE18370E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535960$86E704BA-BB27-41E5-968A-A02CF4FD9A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535960$6A72B303-4DE9-40C9-933A-9390A0006374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535960$DC9941D0-1284-4F86-B9B3-F9B90B8560C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be7d672cbbee405a6bd039d57484377a0fc23cf0","datavalue":{"value":"7817385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535960$C9DA2DE3-3A9B-4330-95F8-A82B23EB69BA","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":"Q6535960$C0687709-F3B3-4021-8A8B-D84B94F76B34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89325b91413c3f79263a65cf9e0fd24d71fc02af","datavalue":{"value":{"entity-type":"item","numeric-id":3454120,"id":"Q3454120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535960$32BD14CD-C19A-4251-BA27-0A05ED25A2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e33292f2295df86065c6f2ce025f544fc0c9af","datavalue":{"value":{"entity-type":"item","numeric-id":4552473,"id":"Q4552473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535960$EA10523D-8189-4407-889B-D3CA54DAF3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ee198e579ba9861b2bcaa47b1ed5eefff2e76d","datavalue":{"value":{"entity-type":"item","numeric-id":1427865,"id":"Q1427865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535960$1163097A-EC5F-4E9E-9FB4-3EAEC80E3A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d2f52869cc0cd76376bff818708073df94b6b5","datavalue":{"value":{"entity-type":"item","numeric-id":2986831,"id":"Q2986831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535960$291389C6-11B0-4851-B34F-A819E0B9A222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb61c5c1ea145b3c800d5c014b2c4590b1c48513","datavalue":{"value":{"entity-type":"item","numeric-id":1707599,"id":"Q1707599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535960$515EC4E2-190A-4CCB-9F94-53CEDD4EF6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80eaa52138fe6dc1cc5abd1424bc7779edb1d9a","datavalue":{"value":{"entity-type":"item","numeric-id":4689064,"id":"Q4689064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535960$ADB6D1A6-4CCF-45BA-A808-6BE23F2C1A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee5dcfa4bed4983e23b945544634540279752e","datavalue":{"value":{"entity-type":"item","numeric-id":5145359,"id":"Q5145359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535960$6256E45C-E93A-4D92-BC1C-75C6CD53A7DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794f2d1560af73aed56f5569f6efa53bde83026c","datavalue":{"value":{"entity-type":"item","numeric-id":2986778,"id":"Q2986778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f212a52c53efeb6afb855c8c85ddb0df0166bb6","datavalue":{"value":{"amount":"+0.7635483741760254","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":"Q6535960$E2C872D7-884C-446C-9D81-2CFF6BBF09AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14df390f14837cd643a05b314b49b62d93d32381","datavalue":{"value":{"entity-type":"item","numeric-id":5434491,"id":"Q5434491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f69f3039873fbdeedaa9df990196428605be3c","datavalue":{"value":{"amount":"+0.7501058578491211","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":"Q6535960$CE88434B-1649-443E-8D92-523C9E22D3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa1f4841de960501ed36ce114855cf0bd00d78f","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f3beabf2ddc14f5a700e12145eb7dce79d7c9a","datavalue":{"value":{"amount":"+0.7473018169403076","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":"Q6535960$9E207A2D-D2EF-40FB-8505-88BA92FF9F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cd89bd7a1c6f8d83b4a9469b59082131d032e6","datavalue":{"value":{"entity-type":"item","numeric-id":3586060,"id":"Q3586060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4675468ac277b1ed19796097cfab8d463cd07f3b","datavalue":{"value":{"amount":"+0.7406695485115051","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":"Q6535960$15B9A6C9-64BE-49D6-B339-04ABA6D2A61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bf7ec0f3a410a417075a3d76c794495c1ec5d3","datavalue":{"value":{"entity-type":"item","numeric-id":3613026,"id":"Q3613026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594808de6d7c95ae70e8faae1c7b2aff1f24a7ca","datavalue":{"value":{"amount":"+0.7330228090286255","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":"Q6535960$BAB9609D-18EA-4E55-A633-93794BAC7A11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535960","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535960"}}}}}