{"entities":{"Q3447004":{"pageid":5178834,"ns":120,"title":"Item:Q3447004","lastrevid":50123330,"modified":"2026-01-13T05:26:39Z","type":"item","id":"Q3447004","labels":{"en":{"language":"en","value":"Reachability and optimal control for linear hybrid automata: a quantifier elimination approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5167913"}},"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":"Q3447004$A7918A59-402B-4388-A65D-49AC8D0EDAB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"764a46e03c5f310fd7814469b2c86871c2b1ab91","datavalue":{"value":{"text":"Reachability and optimal control for linear hybrid automata: a quantifier elimination approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3447004$22BE561B-454E-4A9D-A3BB-6D7B931651DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48c97ee5620a80b6088b12f08c28825bd69b50d6","datavalue":{"value":"1162.93338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447004$BED4BECF-AA81-4447-A170-A7265DD1031C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b2d9111fdf5aaeec87b67937e7dcc7840ff75a3","datavalue":{"value":"10.1080/00207170601143482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447004$049F00C2-6ED9-4AC0-B86F-45C8925C0A0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb6733437aa5c1a644ed6ad08a922a10d07cc82","datavalue":{"value":{"entity-type":"item","numeric-id":314714,"id":"Q314714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$FF693840-72F5-4A53-BB23-FBD4CACE45AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aab928ea98533065c47c797ca3f8710c986833d","datavalue":{"value":{"entity-type":"item","numeric-id":2496815,"id":"Q2496815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$E6812663-6872-4854-88D9-62C2980F13E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"369474845bfa269e426f8e99d5ecf00825ade3f7","datavalue":{"value":{"entity-type":"item","numeric-id":431882,"id":"Q431882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$D5EA7068-B046-433A-8E7B-CC9AD643374E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fd1f09f03b2151af9bae64b3990df459d820d19","datavalue":{"value":{"entity-type":"item","numeric-id":159993,"id":"Q159993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$FAB081F5-F9D6-4E5D-8B32-C52A67227C47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"804c0136e50e65130130ab45b25813d5ebc3f24a","datavalue":{"value":{"time":"+2007-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3447004$CF458610-13DC-4193-87F4-40FAF04BBE34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447004$3B9A87FA-AE76-4BE4-A6DC-30AFB05D3BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447004$1D373F79-F6A2-403C-92E0-2730AA1FCBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447004$57A805A5-494B-4A1A-AE47-0667DA93A094","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f875ea4f4f5f06e3d28859fe637dc60474d24e38","datavalue":{"value":"5167913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447004$99BC95DF-8CE0-4B0E-A2C6-7761D03D4B94","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$ED918DA9-DE24-475B-97C4-A756178CA4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$701E94A3-66BD-4873-85B5-BEB99F388665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$22F408A8-00E5-4F11-8D72-8CB65B05568C","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":"Q3447004$9EB7C12A-24B6-4179-B050-9C80CC5E866D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b503df909ed0bdb1fef49bc6b182fbc2b99ee50c","datavalue":{"value":"https://doi.org/10.1080/00207170601143482","type":"string"},"datatype":"url"},"type":"statement","id":"Q3447004$B7579884-7B5F-4008-99E2-5DB260C236CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfb1a9e9fa6cf5a6d9e492b3e0762e1467131893","datavalue":{"value":"W2001129306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447004$C1A70C7C-3A5A-48C7-9F07-A3AC37CB6BC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$B7FBBA19-F6F9-467E-8309-06289DD232D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2978624eff08bc07780874cfe7fa6c72513337f9","datavalue":{"value":{"entity-type":"item","numeric-id":4395811,"id":"Q4395811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$2C04BD8D-AC15-46F0-AD3D-978F6BDDF02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"675b8bbd24e65dcd04b769537588956e062e3173","datavalue":{"value":{"entity-type":"item","numeric-id":3140557,"id":"Q3140557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$FA67CB14-8E28-4B8C-B726-532B01819318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08eaa6c03390b94af9efd4280f970d5d0809ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$B926777F-49BE-4A03-B1D4-9E56D6A70487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5700efec721b832c832e97fa829b80bac3a15","datavalue":{"value":{"entity-type":"item","numeric-id":4253028,"id":"Q4253028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$E3259E79-D7A0-4DC4-94B0-00C1BB118A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$3E4DEF11-C9E0-4B38-8AB6-DFB4E656E744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fc00745ec3d767981805e52c2b6fd5aff5863e","datavalue":{"value":{"entity-type":"item","numeric-id":5945290,"id":"Q5945290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$4C2566CC-8598-47C9-9BEA-134431BC5925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a8ada5c9f86c0f2bb45d7ee82b212da8a2b110a","datavalue":{"value":{"entity-type":"item","numeric-id":5707981,"id":"Q5707981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$A27F23D6-EAFA-47E8-8414-AFF0894E370E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$147971E4-FC89-46EE-BA14-1E0FE9CDFB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02e52274b753e2d5c8258edc83ccea98b0e311a","datavalue":{"value":{"entity-type":"item","numeric-id":4393075,"id":"Q4393075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$8FBBFD73-FC18-4454-B65F-964AC161038E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a652e7f1851c0f172296def55045551cb0457c","datavalue":{"value":{"entity-type":"item","numeric-id":4454760,"id":"Q4454760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$9D28E7DE-D8A8-4C88-B13F-0D609B796531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca2578a00387859d0f7bca547625df517b3ed00f","datavalue":{"value":{"entity-type":"item","numeric-id":4459051,"id":"Q4459051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447004$A3DFF9E5-4FCD-4E92-B388-1A20F94E84D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c05e6f5c65422658b4017b658d1d9979723ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":5707981,"id":"Q5707981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da4bd3f3966f3b79019178411179650a2e7cab4","datavalue":{"value":{"amount":"+0.8027682900428772","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":"Q3447004$E4D0584A-9451-4C08-A65D-EA5919022210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8600a907ce6e6c6c6b7c6aab56f8348498ece9d1","datavalue":{"value":{"entity-type":"item","numeric-id":1321153,"id":"Q1321153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce44d48c31f80c4d01c6f3827d2b6080c6a479a","datavalue":{"value":{"amount":"+0.7787603735923767","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":"Q3447004$1D41A001-4AAA-46DA-820B-424B5894002E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a87d7b3029b20b70299b6564dd73d769f1349929","datavalue":{"value":{"entity-type":"item","numeric-id":1301405,"id":"Q1301405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c21fadb2ebfa2e6047ca37dd7c7643a0261b76f0","datavalue":{"value":{"amount":"+0.7688286900520325","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":"Q3447004$17CB809A-5ECA-4B7F-BBCF-0AFD10A58588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f54c01e02f60b9dcc3351447163c2fa1457ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4953385,"id":"Q4953385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db57a2f96c5a702e2ab710b20da8a2ce001b105a","datavalue":{"value":{"amount":"+0.7688285112380981","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":"Q3447004$7C82BF40-B2BA-4360-9E8B-51C775DB00BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b3274e5b746c0d81096b12cd2799d2941fddad","datavalue":{"value":{"entity-type":"item","numeric-id":4647861,"id":"Q4647861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006491e9b6b69d38ee7497845d29515b3cb5dab0","datavalue":{"value":{"amount":"+0.766172468662262","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":"Q3447004$0A07FFE7-C618-4FB9-BB19-7103481A9471","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3447004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3447004"}}}}}