{"entities":{"Q3586060":{"pageid":5615964,"ns":120,"title":"Item:Q3586060","lastrevid":49622680,"modified":"2026-01-08T11:13:05Z","type":"item","id":"Q3586060","labels":{"en":{"language":"en","value":"Quantified Differential Dynamic Logic for Distributed Hybrid Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779265"}},"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":"Q3586060$BA239BCF-33F0-435C-84EB-431450FC13AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7778de5ae02cc625f0547d3c300c631139b9f1d","datavalue":{"value":{"text":"Quantified Differential Dynamic Logic for Distributed Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586060$4BD88BBA-3AFA-4E35-8F00-D7CEAD98C252","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4fe55b09a01fc7a5ee63d8bea2edbadbc387979","datavalue":{"value":"1287.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586060$4D07695C-8194-4D8E-8D92-910EB1A0A1B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61e88d036d76b3bccc05a944b940ccd0584ec145","datavalue":{"value":"10.1007/978-3-642-15205-4_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586060$7F723C92-B288-4A31-B9AE-06F592A46A0D","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":"Q3586060$57090A4B-3B68-4566-9072-357873461C9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586060$6D99B833-2641-4302-935F-84DD6247EBD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586060$9810D7ED-AF3C-401D-8E5B-5BEE54DCAE06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586060$EE1DC233-4787-4C23-8756-670505F731E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586060$E6959C1F-14DD-4EBC-9575-1C5E0D17B680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586060$56B810DA-2D48-461E-941D-78E9DEF01B40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c642bbb7a88380e16b0c73725f0a6864b5636aa8","datavalue":{"value":"5779265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586060$A1CBE78D-B162-4C06-A3A2-04E83F2C792C","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":"Q3586060$4115D2A0-75C2-4D93-963B-25A6077984C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4b86318863d7cc9ab143bd750d56718fcb2a4ea","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15205-4_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586060$1EB6FB60-75F7-43FD-9982-D4EC2A0D18A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c62304000dba24aab370ed00580dc6db824d35f","datavalue":{"value":"W1590730808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586060$6B67EDC1-356E-4A89-9A7D-F67EBDFA1DEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00bb929f1fe32b34d3c4a6bf0f2f50334a257a01","datavalue":{"value":{"entity-type":"item","numeric-id":4899117,"id":"Q4899117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702957e5661f82b103d877ce95dbaf6e96af74aa","datavalue":{"value":{"amount":"+0.96913904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586060$9A7B0E39-EFC3-4FFD-9EC5-CCA5E4CAD15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d41d96466245c466ed9ebfec1cb8b28af8867e2","datavalue":{"value":{"entity-type":"item","numeric-id":3455848,"id":"Q3455848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17afb2aaf46e04e49d057cc54b24bdd1a1cfc3bd","datavalue":{"value":{"amount":"+0.9511846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586060$B88A80A6-5C85-490A-95DB-2A9C1736D9DC","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":"d9a162932b19897b4a196bd0b9634d644cb46321","datavalue":{"value":{"amount":"+0.94564533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586060$6275167E-6E35-4023-8740-0B2E5C247305","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":"1374500f4bf44d8540ae3dbd251f37ab9c972e1a","datavalue":{"value":{"amount":"+0.929536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586060$CA30FA1C-D7A9-4E4C-B7D1-D11689D5411E","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":"7ea385dc6189db0c652abfa6df733dfc37852276","datavalue":{"value":{"amount":"+0.9276469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586060$F747EBC1-4B8B-401F-B9E7-A3E5DF28D87C","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":"2624031533c63ca66cbffbaf35760910d90d8800","datavalue":{"value":{"amount":"+0.9112313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586060$35A6A8BB-07E5-4172-9382-9FF1079CB7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc61d4ec91ff48a6b31851916e896fe4ddaefc6","datavalue":{"value":{"entity-type":"item","numeric-id":5200042,"id":"Q5200042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c08b596b1dfd3cdb0fa26a22b36a9d9192f3c2","datavalue":{"value":{"amount":"+0.8860513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586060$9A6D00B9-0EDC-4B14-AF52-EFEFE4847BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e14fcfddd32101da3cb1ac19067d4dc000fda2","datavalue":{"value":{"entity-type":"item","numeric-id":3004589,"id":"Q3004589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6634e41f468e8a86a146a506572d95692e081390","datavalue":{"value":{"amount":"+0.8813682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586060$1778F51E-42C8-46EF-819F-BBDC9169001A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6794cd6b9be522fc29a0b21007b701ec2ec8ffc3","datavalue":{"value":{"entity-type":"item","numeric-id":2855751,"id":"Q2855751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6634e41f468e8a86a146a506572d95692e081390","datavalue":{"value":{"amount":"+0.8813682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586060$6E4F58E8-117B-44A5-B06B-F8FE359F7D03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586060"}}}}}