{"entities":{"Q1702902":{"pageid":1713643,"ns":120,"title":"Item:Q1702902","lastrevid":57485976,"modified":"2026-03-31T03:23:08Z","type":"item","id":"Q1702902","labels":{"en":{"language":"en","value":"Time robustness in MTL and expressivity in hybrid system falsification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845642"}},"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":"Q1702902$D3F4AEB6-C513-4B45-B3A2-0071868D300B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbb2cae19c80872604ec426fa4e87183e56be12b","datavalue":{"value":{"text":"Time robustness in MTL and expressivity in hybrid system falsification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702902$71AFE22A-2ABF-4E3E-9FAD-066AD1EE4919","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c41b2e53f4d304ade9530716b65eee064fe5ee6","datavalue":{"value":"1381.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702902$ABC90C02-E762-4B62-A9E9-5A8FC82E347B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5b36461098a0406e10e7b2a11d9c223c1471831","datavalue":{"value":"10.1007/978-3-319-21668-3_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702902$20F2184D-4A67-4C29-AAE3-25B921C73B3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a2e367bec1d8a1beb2cf7124a29d775b08bac6f","datavalue":{"value":{"entity-type":"item","numeric-id":1702901,"id":"Q1702901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702902$4A6C41EB-494B-43E2-AE5B-AAC8DFA99991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702902$420D3AF6-27E5-4060-A7E4-5357FD975A2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702902$4E1F4808-8F6F-494F-8EBA-F8F9BB9CF2D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"215a2b1660a47641c635ad758284d75e5b91a8fa","datavalue":{"value":"https://arxiv.org/abs/1505.06307","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702902$B68C9937-4592-4D78-9659-C331C1DE6282","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702902$2B36313F-63BF-434D-88A3-EDE1C29CB02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702902$65753AD7-1A18-4C50-876B-CC252C9C93D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30c44de7be251b06c724a821bfd07428e2a12118","datavalue":{"value":"93B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702902$514B7506-D9E6-455B-AA7F-E2E34AC536AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702902$A5C9D349-DDF2-4EA2-B97C-26CB9DB3D044","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b20727f1ab529ea61baade088edf0fcc1072588e","datavalue":{"value":"6845642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702902$28100650-B9EE-4581-BA8D-D8FFF68C80E7","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":"Q1702902$9491C438-D7EC-467B-9C85-ED6307EC9A02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8273b088b6a3feccbc865987bdc1e51791aecae","datavalue":{"value":"W2167799541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702902$F3F3DADE-4468-4F5A-9DB4-C1AC6281646F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bea21104b4e4e70e8430a318a310b77397b05c7","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1b118661e452d38470cb63a6c724fc01520cc2","datavalue":{"value":{"amount":"+0.86885536","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":"Q1702902$EE39C892-3092-432B-A2A8-98094F094158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29186789c435b5ba4d4a2088f19670a05f3a8c20","datavalue":{"value":{"entity-type":"item","numeric-id":4953389,"id":"Q4953389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cdd022b99f054c9ac966c0697bcad2e5adb8902","datavalue":{"value":{"amount":"+0.85427773","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":"Q1702902$D0D39836-B1EF-4B92-A1F9-7B142005A061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48905b098e15d151884e506599b88002aabb0091","datavalue":{"value":{"entity-type":"item","numeric-id":5239213,"id":"Q5239213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b701aea0546a0a8b8ecceac231ad659bd46491c","datavalue":{"value":{"amount":"+0.84580904","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":"Q1702902$742C85E6-C6FE-45B8-ACEC-C63CD7AC044C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adeb43e44b2ee645443d1c9235356e0e2e9c8412","datavalue":{"value":{"entity-type":"item","numeric-id":5429337,"id":"Q5429337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804863cdf947cff0f0e3137c077b09bd495aa845","datavalue":{"value":{"amount":"+0.84318364","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":"Q1702902$B4B19FAD-316D-440D-B34D-10B24A0A2D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f884b566028f8de7a9fec3d95cc2df4c52c5492","datavalue":{"value":{"entity-type":"item","numeric-id":2060886,"id":"Q2060886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e0bfd0f476f9019dd846c82983e8301a6f4366","datavalue":{"value":{"amount":"+0.8392013","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":"Q1702902$22310156-DBB7-447C-8343-397B6A7C2E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31984a3b7cab027282720c38ff387d42b1f4fad3","datavalue":{"value":{"entity-type":"item","numeric-id":832206,"id":"Q832206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65cbdac75fd8dd0f0de6c202cded0d44bfcb1137","datavalue":{"value":{"amount":"+0.8352978","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":"Q1702902$5D6F445B-FF38-48C5-B838-C4D4CDA4243A","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":"4633a904312d348b1c8b3b537c55afa8fc726c1e","datavalue":{"value":{"amount":"+0.83435833","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":"Q1702902$81092E27-FBE6-4514-95A1-5DD55E097B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1372bdb69ffda7f6288354b2e25e1c88d3694f","datavalue":{"value":{"entity-type":"item","numeric-id":2766550,"id":"Q2766550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332a14ea7fc7adaa6da05b55f65f92ea8ba66a87","datavalue":{"value":{"amount":"+0.8342333","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":"Q1702902$0329B32C-C3C8-47B6-83F8-E9083199F1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e2fe6104df3343b854e489aa765fe082425704","datavalue":{"value":{"entity-type":"item","numeric-id":5034230,"id":"Q5034230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a66572351dcc7ba1af518602d1ecc2086219cd9b","datavalue":{"value":{"amount":"+0.83324176","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":"Q1702902$2694CA1B-5E92-4693-8077-21CDF9DB1979","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1702902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1702902"}}}}}