{"entities":{"Q1040772":{"pageid":1042620,"ns":120,"title":"Item:Q1040772","lastrevid":69491577,"modified":"2026-04-13T07:21:37Z","type":"item","id":"Q1040772","labels":{"en":{"language":"en","value":"Differential dynamic logic for hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5638507"}},"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":"Q1040772$4D0E57E5-5759-4F87-8DB2-21F50894DF37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f76431b210e076719ad0e132aa2e888a04410bf9","datavalue":{"value":{"text":"Differential dynamic logic for hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1040772$BB969CE7-7CA5-4DA4-B4B9-FA56570559BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbeeb6256438362300ecbbd29605d6800d9c7e17","datavalue":{"value":"1181.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040772$DB3B5622-72B3-4B3D-B52B-5D486D294706","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$6A4FCB07-8807-47D9-BEE4-769445BA0591","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$6BE163F7-0489-4639-BC85-85F3E6E6AB7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74360fd0e383eeb4108c100504aea295aab7ad39","datavalue":{"value":{"time":"+2009-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1040772$119FF4EE-B940-4B46-8667-45F0AE1E3151","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040772$C90676C2-8D3A-4217-8F69-0C2B8638E73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040772$BF25752A-0120-4E0D-B44B-7F1BADFE1C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040772$04770F15-338D-4DBE-B014-1AF680949210","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dad058d3b93c47dd5e08efd7bb379544abea2bf","datavalue":{"value":"5638507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040772$41C5EC2B-98A8-4396-BF45-7051FD6388C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040772$4578C7C9-BB45-4B02-B112-A33A421B1400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b76dcf6dd0cbdbc5afd7b443439105af3394643","datavalue":{"value":"differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040772$3ED6111A-F765-4626-B059-F78A98C74C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040772$DEACF3A5-4810-4112-9A4C-94D9DC9A584A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040772$C390C555-4232-4D3C-8401-528CC37104DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040772$FD21DEB5-7056-48FC-94FB-15591B962050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae89f505eb281e4ff1ac89423ec7ba9f01a8c235","datavalue":{"value":"verification of hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040772$FF657C78-86AF-47A1-A766-116A6149924C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec4d3f767273be1337e6d52166d24c6fd456387","datavalue":{"value":"European Train Control System","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040772$723B3123-AC99-4BD9-8F96-9DE72E79526C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$68671624-D980-44C7-8015-D3F5CDFCA134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$FB51D54F-480A-49C3-92D7-D628D75A0C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$14D86C7E-B6EF-48F5-B19C-179AE856207F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"786a5236ac94f9692f521c02ac8270dab6d23cde","datavalue":{"value":{"entity-type":"item","numeric-id":29799,"id":"Q29799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$6AFBA03D-9CE8-445E-8EB5-A49C14C1F2BA","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":"Q1040772$0AE706F3-D68E-4BD0-95C0-0B13B4B229F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c96e154cd221bc66b610994f5953300b95703e50","datavalue":{"value":"https://doi.org/10.1007/s10817-008-9103-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1040772$D2E87DBA-9EDD-43EE-8FEC-32C96FB8414A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae88794593794f4b521c285b82b864f7ae3998a2","datavalue":{"value":"W1977444293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040772$88FFCC2F-774C-4264-A7F9-D1A30E675D34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb33de39adcd013a90106b3534dea2849e02335","datavalue":{"value":{"entity-type":"item","numeric-id":4763590,"id":"Q4763590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$B73ABEE7-5708-47E4-B350-4AABF8C41893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c975eea4daa91fdcb1be1d6631efdb8342c19747","datavalue":{"value":{"entity-type":"item","numeric-id":4552457,"id":"Q4552457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$D7DA7754-3613-47AF-A6DB-B3652C0B0C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6238a9bf19c8813e161d2d22f8a3fae868e39969","datavalue":{"value":{"entity-type":"item","numeric-id":4417974,"id":"Q4417974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$4A1BA037-CFD5-4970-9449-412BE705A780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14bee60c1f73ed9cb8f6db0841f1eb42ba18203","datavalue":{"value":{"entity-type":"item","numeric-id":2753599,"id":"Q2753599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$427483B5-0B5B-418E-905A-561249CDF1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cdc7283fe176cc7266c2ab2cb14158c061aab4a","datavalue":{"value":{"entity-type":"item","numeric-id":3613414,"id":"Q3613414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$035F0ABB-DC8A-4AC9-9EF3-8A2152B35F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f63f0df120eb10d6e9d927ab74d522bf4df4f80","datavalue":{"value":{"entity-type":"item","numeric-id":673870,"id":"Q673870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$9FE8A688-2F4F-4FFC-8161-0FAC90CDD4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2978624eff08bc07780874cfe7fa6c72513337f9","datavalue":{"value":{"entity-type":"item","numeric-id":4395811,"id":"Q4395811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$BE1BCCC1-A6B6-47DB-A4DD-1CC31B4B556C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14869e5b87ea0d6127789d506b7efc8a71702385","datavalue":{"value":{"entity-type":"item","numeric-id":5266964,"id":"Q5266964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$87B9491D-74C6-4AA0-A5B9-223DEBEF5A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3e63c80eb78186ace2b0da5fec4010008404ad","datavalue":{"value":{"entity-type":"item","numeric-id":5696927,"id":"Q5696927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$28DA7BD6-4D4E-43D2-BB0A-4BE171C0117A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$151EC4B0-CFB0-43B0-B02F-46A4E893C562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08eaa6c03390b94af9efd4280f970d5d0809ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$3342741F-B9DC-4311-B582-A971B326F055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$FA48CB7E-CBC0-4877-9E38-C83D9BCE9AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17818e0f4bd44c6e6b9f5f3b3fc9f2ec9fe811ff","datavalue":{"value":{"entity-type":"item","numeric-id":3442637,"id":"Q3442637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$EC34160D-0A70-45DE-B59F-A02F5A2DC251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69c8a43a66f1047227c1d7c28ae7ed11477cff7","datavalue":{"value":{"entity-type":"item","numeric-id":3526930,"id":"Q3526930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$463FC421-30CC-47EE-8D0C-22E270D87FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4162ee064823e5e037da7a358a4038fb40c1f0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4246811,"id":"Q4246811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$B7BFB483-9C67-45E2-83E3-4CB84546E459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$CDB5D108-C5CA-488C-B5C2-528FB3272D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$CFB4F243-CC2D-4801-B233-06DE782002D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$484F55F4-DC59-4EAB-B298-92F7246F1EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$354244BA-9491-4360-A864-0C280D2177FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$BE7A3BBF-0D90-4F5E-9A0D-268F1DB92D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$749CBDA2-FB1E-45CC-833F-0AD2ACC07C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7093fdeaa3c6b98a6db2da66470cea5e44add10","datavalue":{"value":{"entity-type":"item","numeric-id":4945221,"id":"Q4945221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$4C4E05CD-654B-46C1-BFCB-F46E2C11A27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$02BC4F5E-EAE6-4805-B2D5-888B2B90F26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f33c7e2fc71303fd900c50bc37fd6728d3f12f3","datavalue":{"value":{"entity-type":"item","numeric-id":4539640,"id":"Q4539640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$3D906028-63D4-464B-B449-CD2C2FAA58CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2146ff0cccc0a059345f52a016f7febf1bf748c7","datavalue":{"value":{"entity-type":"item","numeric-id":2482915,"id":"Q2482915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$5398A3F7-D213-4A5B-B425-8985901211DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8918b138e0301b7fb7013f51e3914c9e9e6a4da4","datavalue":{"value":{"entity-type":"item","numeric-id":1344882,"id":"Q1344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$C88CD89F-C02E-4571-B344-E0D75E38AE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$86565F32-F979-4DCE-BD7B-E52CB7B1F7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$81236265-346E-4F79-A4B6-77F4321E6FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c81c09fbfea9cf076a2176fb44cee982a17f70","datavalue":{"value":{"entity-type":"item","numeric-id":1579058,"id":"Q1579058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$C18F76E5-99AE-49F9-AC58-643EAE631E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ef8fa59cd5d1da98c2f800c01383734c4999e6","datavalue":{"value":{"entity-type":"item","numeric-id":4249569,"id":"Q4249569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$9790E721-C33C-4C3C-8436-EAC63D00192C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1382f03fb508f31766bf5f6f67d3ad176740505","datavalue":{"value":{"entity-type":"item","numeric-id":5893765,"id":"Q5893765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$A19A4617-0618-44CB-97DF-50998350F5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4816108848367538b034735ca1dc8b9222d53a2","datavalue":{"value":{"entity-type":"item","numeric-id":5491865,"id":"Q5491865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$70DAF96A-630C-4145-8445-F8ABFB38F46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30155f15b2211438b0a8b06e982ff47f524353f9","datavalue":{"value":{"entity-type":"item","numeric-id":3997917,"id":"Q3997917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$C8A2881F-84D3-4586-8962-114F489944D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f549721514c0c51cc7c63b69641abbab2bcc11","datavalue":{"value":{"entity-type":"item","numeric-id":5434491,"id":"Q5434491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$7F0EC4FC-7709-42BF-B666-553D800D85C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55695e5ab4b64253cf0ec789d97490a922433bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5434526,"id":"Q5434526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$2A6F853F-0F90-4C23-BE2B-AA018087E6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e3b9080287225db99f33816b5af9675f145d43","datavalue":{"value":{"entity-type":"item","numeric-id":3612995,"id":"Q3612995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$4F490074-FB04-43D2-A75D-819FE2854C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3818aac61b795ea2d401cd89a992d6841ffd8b","datavalue":{"value":{"entity-type":"item","numeric-id":1853618,"id":"Q1853618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$3A294E80-36F9-49C4-A540-E10ABEB5C870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c0dd77c03033ea507bc8f50b2bee9f07ba7da0","datavalue":{"value":{"entity-type":"item","numeric-id":4051278,"id":"Q4051278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$0C700A13-44B5-44EA-839E-AA55AA632DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$BF68AF1D-FC99-4CEA-B247-F0D975EAA043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b32c502ce1d5d0d33839c7f71b215cfb00d0209","datavalue":{"value":{"entity-type":"item","numeric-id":3818586,"id":"Q3818586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$12B6E0DA-71C4-4AA9-8387-69A19D2A23AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78611c23d99ac7ae6599e77d46b398442759275","datavalue":{"value":{"entity-type":"item","numeric-id":1810855,"id":"Q1810855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$21F4930D-B65D-4BD8-823B-F58EE888AFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a04350dc9480fc2452390fba22cda7f487634a","datavalue":{"value":{"entity-type":"item","numeric-id":4418865,"id":"Q4418865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$B04A984B-B22F-46C0-999D-36063239DF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e09e0965a007fcb2d4ffcdb0b592ac5ad99b17","datavalue":{"value":{"entity-type":"item","numeric-id":3838091,"id":"Q3838091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$A7A8E7FD-104E-4A34-90E9-D496A83FCD3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"242a012454f5eafb7b8d1bb1d01cde3d5508c216","datavalue":{"value":"10.1007/S10817-008-9103-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040772$1F6FFA58-5992-44A0-993A-67B7AFCF606E","rank":"normal"}],"P1643":[{"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":"c93db99b789a38fb447e9a3bbbaf3361ca738a8b","datavalue":{"value":{"amount":"+0.9043169021606444","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":"Q1040772$27B5D020-DC20-48A1-B345-DF2DAB8DCC33","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":"230caf31badf10009bd7207ed4115f3c95edee8a","datavalue":{"value":{"amount":"+0.8610354661941528","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":"Q1040772$69A4409A-F9D1-4057-8956-2350EB35D5BB","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":"2f38301caefbbd98754840dc7a0cd17866377c46","datavalue":{"value":{"amount":"+0.8474686145782471","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":"Q1040772$53E49ED9-A0B2-477D-A26E-B514496D79DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f827069f8467d68dea8fe588feb494ee45e8cf9e","datavalue":{"value":{"entity-type":"item","numeric-id":2867948,"id":"Q2867948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057728f1360bde89fce1a3d6cccba400f5d412a9","datavalue":{"value":{"amount":"+0.8456002473831177","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":"Q1040772$2D632A9B-ED6D-424B-A772-A8245711AA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9540d01c94d6496f77cc2ed5a824f585a544af3","datavalue":{"value":{"entity-type":"item","numeric-id":5434526,"id":"Q5434526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25768e4be99fea8722f82d32ec7982b5318b4d0a","datavalue":{"value":{"amount":"+0.8428342938423157","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":"Q1040772$D95DBF96-4684-4A5A-9658-C50311FE212A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040772$D2B0677A-9E99-4101-A572-5830A483FDCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Differential dynamic logic for hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Differential_dynamic_logic_for_hybrid_systems"}}}}}