{"entities":{"Q3455848":{"pageid":5235248,"ns":120,"title":"Item:Q3455848","lastrevid":58178706,"modified":"2026-04-04T03:09:52Z","type":"item","id":"Q3455848","labels":{"en":{"language":"en","value":"Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6520043"}},"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":"Q3455848$7A7F88FD-BED9-4B7A-963F-EC2F1D195174","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6453b50b2344a81d42b8a9d967b571c45bf6921","datavalue":{"value":{"text":"Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455848$CA598E11-FA6F-423F-8419-715AA5AD8C31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31112b4676cc5be16f05cc8dfe7fe1065e96be99","datavalue":{"value":"1437.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455848$693E5EBA-44A3-4595-B2CE-72E2155AF712","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6adae7faa7cf4f73a5c221252c7ee13a94a955f","datavalue":{"value":"10.1007/978-3-642-35722-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455848$1292B13F-E264-48CF-A696-930625C27A6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"727393301d96876ba125e854671a1a21318d39b8","datavalue":{"value":{"entity-type":"item","numeric-id":1294995,"id":"Q1294995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455848$459D79A3-47A8-4FEE-8FD2-EECDCB169A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbdc97d78bde7b82669c123dbca1290c9ed3f4aa","datavalue":{"value":{"entity-type":"item","numeric-id":411718,"id":"Q411718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455848$035E545F-8DD6-4304-8DE5-11A76B45BBB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455848$8858EE8B-E0C5-41E0-8560-6E2C88B5A9B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455848$707A89EC-F6FD-4A12-838D-4DF1EF4EF378","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"400e8d36529c6fa43f1d05b0bd4f0d3c0b048d8d","datavalue":{"value":"https://arxiv.org/abs/1207.2531","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455848$9D71A6F5-2EE7-465F-BDCA-8A728E1CBDBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455848$B662FBCD-4B52-4605-AD35-DDFE021EA4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455848$EBE91A46-F6BC-43C4-B5C0-4C8C491FE24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455848$748F83F9-6D32-4462-A658-61C19180DE6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6971ab8259b2817b5b8615cff35ed92ae9a2028b","datavalue":{"value":"6520043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455848$0C9EF99C-4DD3-45F0-B277-8A160E9A00E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3e360969d6c2992082efc06684b005f7d5314857","datavalue":{"value":{"entity-type":"item","numeric-id":31580,"id":"Q31580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455848$142340D8-8A01-493B-AA48-B09DE1E35118","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":"Q3455848$C1F7A2CF-B280-4F3B-BC57-E41F586EE628","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba93e3056121a96b5623a054efeee149f05b160c","datavalue":{"value":"W1513198022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455848$2EB1BC19-F2CE-49DB-85DA-E2E2D3F3E23D","rank":"normal"}],"P223":[{"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":"Q3455848$50580A7D-AC6F-422B-B8F2-F1FDF9E8A99A","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":"Q3455848$64853B60-E154-4DA9-97B4-8DEE1186A81F","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":"Q3455848$B98323CB-F978-4F18-95C7-5449CF4BC01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455848$6F5781D0-6E74-413A-BF1C-4CBC407240CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21dde64b16abccffdee12515a38e7b2cf117681b","datavalue":{"value":{"entity-type":"item","numeric-id":3406693,"id":"Q3406693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455848$456D3BF5-2BA0-4BB3-8AC1-95E639122972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde6eb5b0e84675ef4620bb83bbe0e6ca273f1f3","datavalue":{"value":{"entity-type":"item","numeric-id":3586060,"id":"Q3586060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455848$DD893452-CD7B-45E2-B9C3-89995618ACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc75f98dab04a32e9ec813391cce25fef95a5a0","datavalue":{"value":{"entity-type":"item","numeric-id":4393077,"id":"Q4393077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455848$B3599D3D-411E-4E0E-954B-D2152C93087B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75f11361218ae773ab4b9dcbacb18b596e0c0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2368698,"id":"Q2368698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455848$8EBC0D3D-5898-448D-835D-21335DA6608F","rank":"normal"}],"P1643":[{"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":"17c73ea3ce906a93c82bb808598b413ad2e415ef","datavalue":{"value":{"amount":"+0.8553273677825928","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":"Q3455848$8DEBB170-BE07-4148-8F00-104F7CCCD542","rank":"normal"},{"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":"027d54163bfbec86fa83a596219b1620ddfe7c1d","datavalue":{"value":{"amount":"+0.8424935936927795","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":"Q3455848$F5F2ADF8-3859-4AF8-8BEC-EA1292B5C7B3","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":"4f9c8b94454350019a5354ee8f16742d62d0934b","datavalue":{"value":{"amount":"+0.8410073518753052","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":"Q3455848$2EA91C1C-9FD3-44A2-A45D-387DC77AD643","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":"1a1910c98c0df2bac3cb4a21d71f581acf41459a","datavalue":{"value":{"amount":"+0.7956774234771729","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":"Q3455848$A652D6EC-62FD-4E5D-8C81-4B575332FF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9e36f94de71ca95c2257b99eee573aaba78495","datavalue":{"value":{"entity-type":"item","numeric-id":3192200,"id":"Q3192200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad6b4851033154ed5a5fdcf8902a2bd7a7bd540","datavalue":{"value":{"amount":"+0.7890873551368713","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":"Q3455848$D71DE693-95F2-4762-9392-0099D22CD62B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455848","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455848"}}}}}