{"entities":{"Q6199955":{"pageid":13334843,"ns":120,"title":"Item:Q6199955","lastrevid":58765152,"modified":"2026-04-06T15:37:53Z","type":"item","id":"Q6199955","labels":{"en":{"language":"en","value":"Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7811000"}},"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":"Q6199955$0AB11A9A-CA83-40B1-967F-E506E86F1870","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56d54abdb9ba9b43c3b4a63fc2b3602dcf48186d","datavalue":{"value":{"text":"Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6199955$E7795127-2A27-4B45-84BE-FA90365D3D28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c1df4b389883cab0f6da8d8312690f996b51ad7","datavalue":{"value":{"entity-type":"item","numeric-id":2085158,"id":"Q2085158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199955$8CC35379-1196-4175-B129-1455E10776D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c27e4631b2c9b13c752eefec6794fe8a11e84f","datavalue":{"value":{"entity-type":"item","numeric-id":2116656,"id":"Q2116656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199955$5221CF91-9087-4054-91DE-71247EC2DB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b477b5658b51465a1d02c115134f329e7a04eb9","datavalue":{"value":{"entity-type":"item","numeric-id":296101,"id":"Q296101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199955$B657482B-3EBD-435D-AD2F-91D8642B41FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07c5e313dd51ab1aed894a2b76df59a8e3b19f3","datavalue":{"value":{"entity-type":"item","numeric-id":988779,"id":"Q988779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199955$B076D11C-4440-4AB2-8D63-CFB29FACB6BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199955$067720C5-25B6-42C2-BB86-DED474DC4012","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b970591b68566c443b1d8071359abaf71557caa3","datavalue":{"value":{"time":"+2024-02-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6199955$1E51465C-847F-45BD-BA63-8EFC0E4485A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5740b3f135abe01a36ba28b00623d58f662d3dab","datavalue":{"value":"https://arxiv.org/abs/2209.09321","type":"string"},"datatype":"url"},"type":"statement","id":"Q6199955$172A5B32-9917-4B77-A7EC-A6E132FF7F2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199955$579666D8-2B13-47E0-A72A-0E035FAEFFCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cacbbb7a2ecaecf55d11ad0d41132adf00c9b749","datavalue":{"value":"7811000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199955$1F4B735F-86B6-4E62-8002-8D6661665F09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6199955$C221443F-2696-4ECC-A107-1FE7205E87B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f05c896821d42b58d4a4b5240cb0f1ccdd6b927","datavalue":{"value":"linear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6199955$2F069805-AA70-4011-9805-EE2DBEA9B2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6199955$887A8EFD-3B04-4164-A3F5-ECD4F03DAE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"130a536c24357d7379924eb2c42cf71e5361b31b","datavalue":{"value":"set-based computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6199955$930E6B90-1B1B-47CC-B712-7149D49BDF26","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":"Q6199955$974D0C55-69A6-4D7E-812A-C9B624B233CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4190b9f163f04d022cbf7f935045b2143d61e5e2","datavalue":{"value":"W4383112775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199955$AAC93A92-C7C0-4B39-9C43-5616F73EA207","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f600cd1a119241c929ec49321e5e06f1b751e084","datavalue":{"value":"10.1109/TAC.2023.3292008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199955$DB72274C-09B9-4F94-B9F4-5F7D32D074A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6199955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6199955"}}}}}