{"entities":{"Q763240":{"pageid":765089,"ns":120,"title":"Item:Q763240","lastrevid":64192905,"modified":"2026-04-11T18:15:13Z","type":"item","id":"Q763240","labels":{"en":{"language":"en","value":"Verification of continuous dynamical systems by timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013419"}},"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":"Q763240$64B5035F-BF3E-4F4A-954B-FA5700D1F02F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"627a7c424ad24c6bc3b291f7ec2a4d248d11498e","datavalue":{"value":{"text":"Verification of continuous dynamical systems by timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763240$672C8333-FBDA-47F8-B5F9-2481E28D5073","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"414a5d972757737b5e884d56ced691d0bddedef2","datavalue":{"value":"1233.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763240$47E30065-D7D4-4E67-8C3B-42DCB15E1D19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91adaddf910c4daa4989816802f1fbfa45704385","datavalue":{"value":{"entity-type":"item","numeric-id":360649,"id":"Q360649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$749A6910-B289-4B35-9F50-9EF3BD307A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5948c28bf532afa2376a508acea87a18459815d","datavalue":{"value":{"entity-type":"item","numeric-id":340657,"id":"Q340657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$45A10FAA-E8F1-4F95-A10F-BEBAB7F09F56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$C45F0C20-F593-470A-9151-0E0EC8A3B43F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"644c8340ebdd907b25449e0ddfe634a742ba671b","datavalue":{"value":{"time":"+2012-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763240$EE1C73FE-4E71-4C51-A42C-4FDF4D8CF57B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65f990734a37894918614b494b76cef887cde083","datavalue":{"value":"https://vbn.aau.dk/ws/files/56661348/Verification_of_continuous_dynamical_systems_by_timed_automata.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q763240$99C63DDC-9959-4390-8EEE-634B7248712F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763240$3EF4EE74-8FEE-4AAD-B3D2-8AE1F6B0EF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1deeb735ab866f634fcd22213e8687bcdd332aa","datavalue":{"value":"37C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763240$CCF8E382-41AE-45D5-A06D-B2FA5DC2CBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763240$48828C87-BDB2-43A1-873D-C4172CF44AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f2e2aa6001d11b695af88b00cb27c445be12f90b","datavalue":{"value":"37B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763240$B239D13B-E2A1-464C-8E64-6733B62572D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdb6e7b3891368a068f80a4891af1f5e89e05788","datavalue":{"value":"6013419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763240$73C265D0-B3CA-4495-9589-42F2A85982F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q763240$71C1D5E7-A79A-4177-B3AD-E3BD47A39ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q763240$4444FFC3-7550-4303-8DEB-5CE5569DC93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q763240$58569390-6F3A-4A0E-BFEA-33401E74B73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc67b2f3cea0284732f172d4f8e51d8a3ae449ab","datavalue":{"value":"Lyapunov functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q763240$458B4060-7F4C-4D9F-BD52-761B391592A6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$3CE73228-3F25-4E02-ABF0-DAECE0DC4651","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":"Q763240$3819FEA6-2B1A-466E-907E-97DD635FA5E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5662fcf941259b78519b60948843637090168165","datavalue":{"value":"W2072215604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763240$1FDE3B4A-06FE-49B9-8C77-932951AFA377","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e9707197bbe478638106ece823cfeeb58420e","datavalue":{"value":{"entity-type":"item","numeric-id":4791854,"id":"Q4791854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$BB6CBF79-72B3-4CC3-A52D-309503EAA3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$97DB5C58-EF71-4114-9807-438A931406C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8640ba806094304a5f9c7054dc7ad06372457b7","datavalue":{"value":{"entity-type":"item","numeric-id":4417973,"id":"Q4417973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$D31F71CA-10EA-4F15-91C5-E6F5CAB50142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$94495C14-DC7E-44F6-88A9-6BED0DE9AB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb5c4b86439c99a6d41978ddd51751a0bae1bb7","datavalue":{"value":{"entity-type":"item","numeric-id":4326600,"id":"Q4326600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$CBE3B51E-615C-49A4-B030-28D457F89EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82458c7fca43c772877911a8d656a7e00cf72207","datavalue":{"value":{"entity-type":"item","numeric-id":3136738,"id":"Q3136738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$84D7CC47-C897-41CA-830F-A21102116242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5acf58cbf8e3da53f8da1e739cc425d31326ddbb","datavalue":{"value":{"entity-type":"item","numeric-id":4375488,"id":"Q4375488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$58BCC676-8252-4B23-B23C-C1D5B2B3A9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb9d25e90862779d1b16a7045413a0012ae81c0","datavalue":{"value":{"entity-type":"item","numeric-id":3400913,"id":"Q3400913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$875446EA-D301-422E-A730-D35AEBAF74C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d771fe4d67b7e62b1337b5ef67a0024cc8717a","datavalue":{"value":{"entity-type":"item","numeric-id":5703929,"id":"Q5703929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$EC08C010-A77C-42E6-BAF2-7C0FE8F2D9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9a6a461b2ccd538643a884f98ffc0a3baa8e60","datavalue":{"value":{"entity-type":"item","numeric-id":3523108,"id":"Q3523108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$C04E35B5-7C68-4A10-89A5-ECDCD3158C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3f54c2c3d004bd3bd633a983b866b463665492","datavalue":{"value":{"entity-type":"item","numeric-id":5708363,"id":"Q5708363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$02FD3DC3-4106-429F-944E-281B399FD5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215ff90a1f6b945ed71698931968313767295791","datavalue":{"value":{"entity-type":"item","numeric-id":3506869,"id":"Q3506869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$6E1C626F-318F-42E1-9D94-FFD768290689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed1072e97585a6a4c0daa7104bbede68defd3a0","datavalue":{"value":{"entity-type":"item","numeric-id":2778313,"id":"Q2778313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$ED841912-BAB6-4614-A8E3-0927EA228F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd16017e61d67ca822aa20cfe2ea0d0705862b6","datavalue":{"value":{"entity-type":"item","numeric-id":5624429,"id":"Q5624429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$C3DDD7DD-5932-429B-9684-4500F62FF824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a706ee1077a0c4d5875aaefaf25bedcb8d09cea6","datavalue":{"value":{"entity-type":"item","numeric-id":775744,"id":"Q775744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$1D52AB0E-A1F2-4A36-A3C2-5AE8452E759D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e581de2eab09c924ee255779128b4867065bcb9","datavalue":{"value":{"entity-type":"item","numeric-id":2475634,"id":"Q2475634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$9174EBEA-A7E1-47F7-A65F-1F64AE8F66B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37b37b1bda4fa58a3869e59552d1d96e0cad2ac","datavalue":{"value":{"entity-type":"item","numeric-id":868434,"id":"Q868434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763240$0B3441B8-C08B-45FA-898A-B112B98E6350","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"650f9a284f399f6351ea37085820085f703fc945","datavalue":{"value":"10.1007/S10703-011-0118-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763240$38B6E4B9-5017-47A6-BC5F-9BE1E3730EFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86653c1a6f9fb39c6539fbfec8e1a89b6441148","datavalue":{"value":{"amount":"+0.93052226","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":"Q763240$D55BAB56-D0A1-44E0-A7E8-09FDC7759351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60657b20b22812b44b4c584e5f556a3cc0b4eb6","datavalue":{"value":{"entity-type":"item","numeric-id":3506869,"id":"Q3506869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ec3f665516fe25d7cd55cd0b427cfee78f5ee6","datavalue":{"value":{"amount":"+0.92865753","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":"Q763240$FFB7CC7B-FB38-44FF-A57E-E43EA5DF217A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5854f3b66832ae6ef86a0d98a294c4e85b1c87f6","datavalue":{"value":{"amount":"+0.9267202","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":"Q763240$4DEE649C-74F3-41DB-A7DF-6407ACA9761F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5937426ce6aed06b43d4abc59f202933bd2fa85a","datavalue":{"value":{"entity-type":"item","numeric-id":5209966,"id":"Q5209966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67a8e600222743e106c156d5d60d75c8c631ef9","datavalue":{"value":{"amount":"+0.9254354","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":"Q763240$62A26CD3-2F7E-4B17-9B4C-0E4F32FD83F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1cf971686a7a945b060610d34e6358f37746f9","datavalue":{"value":{"entity-type":"item","numeric-id":5039522,"id":"Q5039522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42d71e9acf079a3dffa9bdff7f048693263b2e7","datavalue":{"value":{"amount":"+0.923844","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":"Q763240$DFE47DF0-B3AA-43D1-B0F5-30E7CFDB10D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123e937c53af54b9fceb23f35b3fc65fe9959e73","datavalue":{"value":{"entity-type":"item","numeric-id":5897956,"id":"Q5897956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58dc3f56838b4a96789e69efebd3a3b3e2d2af2","datavalue":{"value":{"amount":"+0.9141922","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":"Q763240$1F28B06B-1261-412F-A6E8-5AA1CDAE5838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c2fec342ecb4e94948044b707e10f884767beb","datavalue":{"value":{"entity-type":"item","numeric-id":4508304,"id":"Q4508304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1bd5f825712417134436a7a8ab31213acb9b7ce","datavalue":{"value":{"amount":"+0.9133729","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":"Q763240$868B2E33-A131-4B7D-A0F6-5387C50499AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f1b33f15eb6e4d4160b3b76fb3b95ae7110252","datavalue":{"value":{"entity-type":"item","numeric-id":3510840,"id":"Q3510840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4d4205e6966e271028358218f89dc0dccdea6a","datavalue":{"value":{"amount":"+0.9120969","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":"Q763240$D565FF81-9BA0-4C14-80CF-932A4ED8F500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c91107db671e873d357b5eb026a65ddb762267","datavalue":{"value":{"entity-type":"item","numeric-id":4649386,"id":"Q4649386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af99a384123562d7b9a16364fb731cd13d492451","datavalue":{"value":{"amount":"+0.9114828","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":"Q763240$EC1CFE3B-9F80-4060-9FEC-7E20CA00ABF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of continuous dynamical systems by timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_continuous_dynamical_systems_by_timed_automata"}}}}}