{"entities":{"Q2864385":{"pageid":2875105,"ns":120,"title":"Item:Q2864385","lastrevid":51886628,"modified":"2026-01-20T11:42:35Z","type":"item","id":"Q2864385","labels":{"en":{"language":"en","value":"Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236394"}},"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":"Q2864385$336F2C34-D9FF-4D2F-9487-6B52A5CD2FC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"682032dcae8ef6bb302886bec31e1f7dd77c37f0","datavalue":{"value":"1277.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864385$CED6ADA6-88EA-4188-99EE-135EE412B671","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a98e6614f60f23515bb13872cde66e70c4c6c9d","datavalue":{"value":{"entity-type":"item","numeric-id":182347,"id":"Q182347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864385$2C78C7B4-F210-49A9-985F-96FDC90DBA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"429affba31c404f2ac4da7a0f75da250d00fba3c","datavalue":{"value":{"entity-type":"item","numeric-id":2864384,"id":"Q2864384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864385$EBFD964F-8AFE-4410-97FE-CE47257CB6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4eecd1bf09871cf5088edd74c4caf08d2cfdc3b","datavalue":{"value":{"entity-type":"item","numeric-id":479817,"id":"Q479817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864385$D49F0531-0177-420E-B111-99FB91691216","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864385$9C738D15-65D4-4D88-903D-275D4584024A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864385$A795D126-45BB-4B16-A9A4-352A397A1ECC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864385$F1218DBE-7586-4E45-9723-2861053BC27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864385$DB692CB5-B9F1-4656-A57A-FAF98416E12E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd92e3382ed2c8bf3f087f1f83d406221ea10a30","datavalue":{"value":"6236394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864385$F5C365CE-99E9-427C-8EDB-83D526FA1ECB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4f4c6f22735a50175f03e5056e3b26acd23404","datavalue":{"value":"linear hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864385$F511F9F2-871C-45E5-8BB7-CB6415E019DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864385$93D6F0DC-B076-45FC-B6E5-2068E3F063EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864385$70EE5D8E-91DB-4FD9-A11C-0377BC1BA260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864385$E6ACA727-90F3-49FB-8D0B-2277BBCD0C59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864385$AAF14067-F8A9-404F-A6B6-0113927C2E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864385$3D037ABB-FD74-46DD-A129-16EF0B97DCFB","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":"Q2864385$56A5F545-B81B-4B6B-B814-FD881D0FD1A7","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":"Q2864385$F10C8C82-15C2-4711-BF94-70E93AA79C7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffc8057c6a422cd8700f93c5c13db777316a3c4e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.12.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864385$C0A5D0F3-061F-4B0C-8AA7-F10CD25268B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7edd5c1a5e428d3d24148ff4a257ab86178d524f","datavalue":{"value":"W2025886420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864385$C1692F87-B908-42D9-9573-60F886888F3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864385$40BF5E27-455F-4C1C-9C1A-695A86F6B76D","rank":"normal"},{"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":"Q2864385$1258B2D9-4FCE-4A29-BE60-DCA6E443B9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864385$B0CE472C-5D48-41FA-86C0-55B9562AA799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e668b6f805cdbc09b9399ccf1d56f2a981c7e2","datavalue":{"value":{"entity-type":"item","numeric-id":4393079,"id":"Q4393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864385$91CEC97A-37F7-4F85-B8A0-1F56669AF6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf5667edd20bf607f41849b86ac22a0984c3e35","datavalue":{"value":{"entity-type":"item","numeric-id":883144,"id":"Q883144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864385$89DEF6D0-6E52-4753-9F1F-D889B6AD4006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca50b56de23777ce618ce7b9747f11712b65365d","datavalue":{"value":{"entity-type":"item","numeric-id":2849590,"id":"Q2849590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864385$1EA29E22-6BC3-4E7D-8522-7243189F336A","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":"Q2864385$15A4F316-EC5B-41D2-95AD-B7D69DBC3C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864385$554715BA-3EEF-40E4-81F0-E452EBF57B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6325fde99fb766a7e1490d36deeba9d7dd8b10a","datavalue":{"value":{"entity-type":"item","numeric-id":1858439,"id":"Q1858439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864385$22653946-3830-4350-AEDB-BE711E0441F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"944316ca24649ca9257979f26a5bb290bfccc80c","datavalue":{"value":"10.1016/J.ENTCS.2006.12.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864385$DA952862-B975-4FB5-8FE3-9EBFE1F1E08E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64fa31c087af2374ac0ebc1d71e3e33ec254f166","datavalue":{"value":{"text":"Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864385$D8D6D8D6-DAFA-4294-8845-3D15EB0BF993","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f2cb779e50d13cea7655b85aa0ff9190ba9c77","datavalue":{"value":{"entity-type":"item","numeric-id":479819,"id":"Q479819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ead08851ac6ca2c57ae6dd6fb7c923f9d3c363","datavalue":{"value":{"amount":"+0.8007755279541016","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":"Q2864385$8D86EC85-947A-453B-B7D7-2737734FCB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313c3cc62d8aa7169b46777cec3c0c8b0c7e7696","datavalue":{"value":{"entity-type":"item","numeric-id":3656877,"id":"Q3656877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1911d6176d0d5d4f2d909e6bc17ce507aa4372cb","datavalue":{"value":{"amount":"+0.7879148125648499","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":"Q2864385$148AD3F9-B17D-4FC2-BD72-1E07CB3C34BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ec7866f7d50d75152ca45ca722e4c2b9caebd3","datavalue":{"value":{"entity-type":"item","numeric-id":3510848,"id":"Q3510848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520150d0c568fba7d2e69601b26f23086ceb02c5","datavalue":{"value":{"amount":"+0.7659585475921631","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":"Q2864385$19DB501C-34D9-4271-AD36-AAC051F391CA","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":"211e2bc7df9bfaf4bfb4738eb3a781dd5e0d205f","datavalue":{"value":{"amount":"+0.7596601247787476","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":"Q2864385$0693A9FF-988B-4F90-A4CB-D9BFBA3BB0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14ad7c2b436480479f01d829aea05fd0672aeaf","datavalue":{"value":{"entity-type":"item","numeric-id":4736572,"id":"Q4736572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8739ec4ab166dfd1a1e140768c7c6b6383d1ef","datavalue":{"value":{"amount":"+0.7490173578262329","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":"Q2864385$2A6DAE69-8A54-4B75-838C-D5CBD6CE5F84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864385"}}}}}