{"entities":{"Q1026401":{"pageid":1028249,"ns":120,"title":"Item:Q1026401","lastrevid":66167787,"modified":"2026-04-12T08:00:04Z","type":"item","id":"Q1026401","labels":{"en":{"language":"en","value":"Tightened reachability constraints for the verification of linear hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5569648"}},"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":"Q1026401$CC4662C7-5E92-428F-881D-4B6622D80EDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79881d3626e6533931712e69f62b48d8b5c854df","datavalue":{"value":{"text":"Tightened reachability constraints for the verification of linear hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1026401$5C97C1DE-8B9B-422A-AA4B-0AB4271079A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38a5ab84dd195944b2bfbbf9cbbb3fc1acc53b62","datavalue":{"value":"1163.93006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026401$98513E41-2729-4357-B15F-CAC9F8D71C1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde4e3ec6ac72e6414a4a270d573ac1c4cd236e","datavalue":{"value":{"entity-type":"item","numeric-id":305004,"id":"Q305004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$EB9A7EDE-F81E-4016-888C-05DE1FD5AEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10a6b97798a2d30864bfbc004ce9829790dd0740","datavalue":{"value":{"entity-type":"item","numeric-id":1431995,"id":"Q1431995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$906981A7-9C3B-4059-9832-6F0658D14F14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$C7F90BF0-DF8A-4CA4-A2A7-B56D434137D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e338882137be263b39b6e51d9f6f4967ebc846d3","datavalue":{"value":{"time":"+2009-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1026401$6620E33B-F559-46E3-ABBC-54F1ED9AC3BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026401$E74E4721-B85E-4AB4-B411-0E6349B02F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026401$0CD202C4-9E3C-4E64-AF16-6A71189D468D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0865fb7043e066374ab3ed0ebe0fcf43197958c5","datavalue":{"value":"93B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026401$776A976B-1364-4564-A7F4-2B4B6DAFC01A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1f53201d890f3ca0de37476c83afdc746767fcc","datavalue":{"value":"5569648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026401$087009B2-1A84-4659-A2A5-49C84479C1B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1026401$1FAB3088-CAE4-43CC-982B-0F73AA004DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1026401$8CCA7EE4-5B89-4CCE-8C32-90541D73A816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fce95796d38547a36718ac5880f340fb068c7915","datavalue":{"value":"reachability constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1026401$BD7B10B2-0505-417D-85A0-CCF3EC642E20","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8c4e5ad6deb5e7808f1cb222bda8db7c643ff92","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$7AC8586A-33BB-4826-B3AC-FBA0F2965CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$F9DA5AA3-53FC-419E-AE57-77E7B56EECA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74709fe208fb3c9a7200c0f5d8fe8f5ccc4dd827","datavalue":{"value":{"entity-type":"item","numeric-id":16783,"id":"Q16783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$0EAE6F20-0861-4E90-842A-C7C0EAF774CF","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":"Q1026401$621BD0CA-91D3-4894-B6A2-960799A4D8AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7c480ff2a72dd13c3b4a067d8d1cc3f8d813b21","datavalue":{"value":"https://doi.org/10.1016/j.nahs.2008.09.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1026401$809FF9C1-46F8-4984-AAD7-FFB7776FD977","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eade33e62104be22418b26ceec082d60e09ff8ce","datavalue":{"value":"W2041656005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026401$A6BE8410-4EFB-4F84-9D2A-5A6F05378F3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1cc878a5cd0a7b7b8d5defd362ffac8f9311240","datavalue":{"value":{"entity-type":"item","numeric-id":5302913,"id":"Q5302913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$DD4B727C-44F8-4ED3-A85A-54C5914F52B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b055b28c3ecf01ed8cfc370eaa73dc48a2d0ca26","datavalue":{"value":{"entity-type":"item","numeric-id":5703953,"id":"Q5703953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$C0220183-0EBC-4FC7-8FE6-700D8A345684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a04350dc9480fc2452390fba22cda7f487634a","datavalue":{"value":{"entity-type":"item","numeric-id":4418865,"id":"Q4418865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$CBC4BF1A-CAC7-4A18-AD0D-50620E309D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c975eea4daa91fdcb1be1d6631efdb8342c19747","datavalue":{"value":{"entity-type":"item","numeric-id":4552457,"id":"Q4552457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$7E730264-08F7-42EE-88C1-BF0A73BC834C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3556ecbf0d73a14f4be4b022c9aaa15280e0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1101265,"id":"Q1101265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$4ED72F8F-83A7-4C2D-815D-D89C57F69B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c69fb6690ea12babf66d1056f6eb922ce4ce09","datavalue":{"value":{"entity-type":"item","numeric-id":4352540,"id":"Q4352540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$53F5FB30-BCCA-41BD-B603-D377DCAB8C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc5ee714d26686ac4bbfde3c0eca8a902955732d","datavalue":{"value":{"entity-type":"item","numeric-id":4413057,"id":"Q4413057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$81844EAA-0957-418C-B799-0DA17BFA29F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd173596d7a74de8f64338b828f706cbd4fbeca3","datavalue":{"value":{"entity-type":"item","numeric-id":5277761,"id":"Q5277761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$B050E693-305B-4310-A917-D6A2E5D7E5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e101bfbf06b622f6ed676449877c88e117d5513","datavalue":{"value":{"entity-type":"item","numeric-id":1805854,"id":"Q1805854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1026401$F2F7AA68-AC6D-4F2E-9486-60743B92856D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fe3f3a66a1264bcf5f2bfca2cde0453cdb62554","datavalue":{"value":"10.1016/J.NAHS.2008.09.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026401$9FAA0CBE-7872-4B32-A97B-10EAD0B649B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48903718c393abf54558f53c19b9a3639db54084","datavalue":{"value":{"entity-type":"item","numeric-id":5302913,"id":"Q5302913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2315b597606c65de3069e4f7e282b159d1ae18cf","datavalue":{"value":{"amount":"+0.8446334004402161","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":"Q1026401$17C3EF54-E3EB-4F39-A616-00E67C44AC39","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":"757c6eac6a96aea339ba870760c8e7eb9ba377ef","datavalue":{"value":{"amount":"+0.7747249007225037","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":"Q1026401$7C2141CC-AFA2-4657-A430-C8D3A3449E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ed970d72f8440b27e0323d2080af8bffa75899","datavalue":{"value":{"entity-type":"item","numeric-id":4931281,"id":"Q4931281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73ce4d8eb957333cf3078426a700a1464320992","datavalue":{"value":{"amount":"+0.7716841101646423","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":"Q1026401$55C3F72D-C011-43AD-9A48-12D50A96F58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7373f18ab8566ed3861a5edd074bf3f6069768","datavalue":{"value":{"entity-type":"item","numeric-id":4418865,"id":"Q4418865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f673394d785e63be4bed64884a817c3eb85fe7b","datavalue":{"value":{"amount":"+0.7614877223968506","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":"Q1026401$3F90EEAB-48AB-4754-AE76-4E77207E6599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9370bfab7f78eeb6f2fc4c20aa56511d34c82bba","datavalue":{"value":{"entity-type":"item","numeric-id":4899747,"id":"Q4899747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3310b3b9ccc21b05373fcb013c3c2b69022d5218","datavalue":{"value":{"amount":"+0.7549014091491699","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":"Q1026401$8D872EEC-4CBC-473E-B0DB-254792E747C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tightened reachability constraints for the verification of linear hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tightened_reachability_constraints_for_the_verification_of_linear_hybrid_systems"}}}}}