{"entities":{"Q2986715":{"pageid":2997439,"ns":120,"title":"Item:Q2986715","lastrevid":45200725,"modified":"2025-12-02T13:27:28Z","type":"item","id":"Q2986715","labels":{"en":{"language":"en","value":"Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6717990"}},"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":"Q2986715$F7D081B3-AEC8-4FFC-8417-31BA714EEC2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"900278dc6045c5ab8b9f799752cbc0ed3b064876","datavalue":{"value":{"text":"Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986715$0762440C-433E-45F1-8078-6C63672094E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d49d41ce14aec9fbb88b2f0b256f15493148cad","datavalue":{"value":"1361.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986715$4AC260E7-BB73-467B-8047-EE553A31A18C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99825df28c1a3e3701556539583e333f16e52884","datavalue":{"value":"10.1145/1967701.1967714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986715$DE251612-2D79-4433-A3A8-DD8FD9115D9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcbdb18b8f9d60686ea68fcc5d8c76e0868dec3d","datavalue":{"value":{"entity-type":"item","numeric-id":209472,"id":"Q209472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986715$97443531-13C6-4FD8-A9AA-4DA7047BEE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09ae57a93bf70a9983b828e2db53ab609a97231e","datavalue":{"value":{"entity-type":"item","numeric-id":1949770,"id":"Q1949770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986715$C7E0140B-1592-4D54-A1A0-044847398958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986715$0E2D4782-6ABE-4C68-992B-A298B9E21F61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984d74fbf1f2dcac2a23d24afac7178667c2dabe","datavalue":{"value":{"entity-type":"item","numeric-id":2986705,"id":"Q2986705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986715$3FD917F2-2801-45A0-9D74-985745AA4D63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986715$B8D7BAA2-439D-47B4-A304-32893B42FF8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986715$E45CF307-39F5-4309-B1B4-F44E5C43B557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986715$96C26DB1-6DCA-42DF-8A61-01B50E0B5B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986715$151EA3B8-128C-431D-B82D-94C80B2DC355","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cd5ca83e0b365ca69ef04f6a79d507e5372aa62","datavalue":{"value":"6717990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986715$E1C47E1E-F245-49FE-BC3C-26ED0D24AB89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986715$5F9EAB2C-E8A6-4CB6-969C-17139D5DD69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986715$07334C56-44A7-47C4-9DBD-CDC966FBF1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986715$0913C644-752C-4ECA-BEA0-84C80C179B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986715$62E85772-262E-4360-A48F-2D6E4CED3FEB","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":"Q2986715$9315C6DB-7F3D-4462-92E2-823808C9A60F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"548cc3e2f28ca8880874a6f92c77ae2816001d86","datavalue":{"value":"https://doi.org/10.1145/1967701.1967714","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986715$83C6BAE1-20C8-4DC0-B676-298DACFCA1BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7859de9c9db3bf4feb67318de4793a63cafbcd4d","datavalue":{"value":"W2056195475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986715$425343BA-04DC-40F7-A5F9-9A221135C327","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7b577435a318b330959733d2733684f0084b0f","datavalue":{"value":{"entity-type":"item","numeric-id":2964462,"id":"Q2964462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347a883916429bdbe2f7621091b74f6fa0aea8d1","datavalue":{"value":{"amount":"+0.9544017","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":"Q2986715$9F37DA43-98DB-4362-9634-064C05C81589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b358e140207b41bb70612e09a861ca36038541","datavalue":{"value":{"entity-type":"item","numeric-id":2248097,"id":"Q2248097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7dd8bda4b1f7b7746f2bdcc341ecdfc25829224","datavalue":{"value":{"amount":"+0.90841806","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":"Q2986715$7D891F7A-24D0-47AE-B378-3607BF002DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b45da3e6fbedbe847c9328ae20195cadec3837b3","datavalue":{"value":{"entity-type":"item","numeric-id":1949771,"id":"Q1949771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18943c04127eecc001942984786edb88d8c7fe99","datavalue":{"value":{"amount":"+0.9049547","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":"Q2986715$9D83281D-199B-471E-B713-8C67E1B12B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"307d5bfdb6af94f2dc83a912280825a0941683dc","datavalue":{"value":{"entity-type":"item","numeric-id":3569093,"id":"Q3569093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64caf57cd292988376c27e32f4cad22351a87d72","datavalue":{"value":{"amount":"+0.89692205","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":"Q2986715$5A99B446-7998-49EC-8BC6-BCB52B23ABA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37c1117908aa534dbfbee5c102190b73aba8741","datavalue":{"value":{"entity-type":"item","numeric-id":4787254,"id":"Q4787254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7309cf5ae2a55a74863533efb0da46f8616499b0","datavalue":{"value":{"amount":"+0.8908272","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":"Q2986715$FA6E768C-DD6A-4240-B7CA-F84B912D367C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de4614a9dcd717ef3baf964e1d7eec90a3843e01","datavalue":{"value":{"entity-type":"item","numeric-id":3612979,"id":"Q3612979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6dc9ff07dabd1d7ab6f479a515847298310d62","datavalue":{"value":{"amount":"+0.88203526","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":"Q2986715$A3549F6E-C8D2-4682-B7EF-2853D51614D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9968e936c48054e81c3fd1b90019dbc19e7029","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a0df1fc019e1cca019ad81912e423e8c600113","datavalue":{"value":{"amount":"+0.86964834","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":"Q2986715$15A371A4-FE10-4794-9250-17512EF4C999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb964de034de371cd048d49626debebe234a8eb5","datavalue":{"value":{"entity-type":"item","numeric-id":436418,"id":"Q436418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ccc41cf756a4287ea6ba1959c0a61429f59840","datavalue":{"value":{"amount":"+0.86871153","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":"Q2986715$92391BED-D682-45F3-BD84-D161866AF263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c5411feb8333a08a2285d9738f5ab8403db6cf","datavalue":{"value":{"entity-type":"item","numeric-id":1026401,"id":"Q1026401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d6423156363471833720a9dc4fdb67a02c8624","datavalue":{"value":{"amount":"+0.86841863","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":"Q2986715$6E45BB2B-2B62-48DE-9047-7D688A6792AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41584cc5ec5f7b7ffe1ca42bad9b02891030d68d","datavalue":{"value":{"entity-type":"item","numeric-id":5703953,"id":"Q5703953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f036823a44af305393a4c06ec2af9950f7911d2","datavalue":{"value":{"amount":"+0.8671892","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":"Q2986715$DBDFECEB-E35D-49D0-B032-23DCE6048A70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986715"}}}}}