{"entities":{"Q5239214":{"pageid":7268782,"ns":120,"title":"Item:Q5239214","lastrevid":55373416,"modified":"2026-02-17T14:43:43Z","type":"item","id":"Q5239214","labels":{"en":{"language":"en","value":"Inner and outer reachability for the verification of control systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120136"}},"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":"Q5239214$75D54912-1B95-4A94-9E1C-527B092EF299","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b907f32201aa275daf87ec939540ab2582c21f60","datavalue":{"value":{"text":"Inner and outer reachability for the verification of control systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5239214$9EDB328B-3E6D-4F9B-BB2D-4ABFA1232D58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30adbfffa215457da951259c9541c2e0ecf6be59","datavalue":{"value":"10.1145/3302504.3311794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239214$D4BF8C2B-2CF1-441C-B960-0166D29DD8B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d92f428d699274a229faa3ab95d1f469858165","datavalue":{"value":{"entity-type":"item","numeric-id":246147,"id":"Q246147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239214$80CF66C1-F4ED-4356-8CF7-3860B6A475EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6056005ef8a93d8e49d6cc037b0f0f5499413b29","datavalue":{"value":{"entity-type":"item","numeric-id":246148,"id":"Q246148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239214$D801B28E-9855-4932-A411-E781C1534E07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5836cbe288323d6943609762b2a41f27b0c712e","datavalue":{"value":{"entity-type":"item","numeric-id":5239212,"id":"Q5239212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239214$A40B46CD-9F67-4FD4-9042-07FB2F0E48C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5239214$27AC7698-F65B-49AC-B5FB-DD5B98C58714","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239214$68528CD9-255D-48AB-8027-B0F8979BD52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239214$F482F581-E686-483D-A882-D7CC0FEA79DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239214$E4364211-F604-478C-90D5-4A481A7CFD33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9660ceffaaca2bf72e8491ddc4ff7f7b6838d26","datavalue":{"value":"7120136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239214$57CB7E3F-C088-482A-B564-64C75CD900E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9504e450bb1c27816535de9419fff678d64e622c","datavalue":{"value":"Taylor models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239214$08C993FF-8444-4D87-9544-B3014A67AFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0292d7ae2b8e3a14fbdf5d645725bd7a994ae5","datavalue":{"value":"abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239214$007A9724-FE23-47D0-BC96-E42E465F7092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f3246ef0841b41386ea8cd57284552560cdd292","datavalue":{"value":"inner-approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239214$BF0F19A3-C5D0-406C-B5D0-882EC20591DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239214$7CE4D5F5-B4D3-49EF-B7C8-D1F396C74170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239214$AE4EF8B6-8C2D-45A1-B5D2-A45273E2D673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239214$11C7C766-7201-47AC-A9E9-EEFCC9B19C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220c90ff868b9bbe54e333a97627456654c26eb5","datavalue":{"value":"under-approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239214$DBE80D5E-9765-4D46-BB7A-1317B07F4DA3","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":"Q5239214$1663C2C9-E1AC-40AB-AD7B-C6D6AC8FC21A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b882de7f715d383dffc2b0995ac7f8ca405f4b12","datavalue":{"value":"https://doi.org/10.1145/3302504.3311794","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239214$FD9F82C7-A08E-4AB9-904D-6C8BA02B8092","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fdc259c1b6ae79a75ab72fc8d937d27c9c986c3","datavalue":{"value":"W2936781873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239214$996DDB86-B728-450B-95A1-069EFF4658E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c408b2e80baf43cae9ce5a3e4156e0d5f575af","datavalue":{"value":{"entity-type":"item","numeric-id":5275312,"id":"Q5275312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653987acb0d4c1019f0e0684ed716ed7c3986bf1","datavalue":{"value":{"amount":"+0.8080770969390869","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":"Q5239214$F9CBE13A-654C-478D-8C44-154AAE5E8A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8efefb118d14e357f9d71acd764563a83c4e4e89","datavalue":{"value":{"entity-type":"item","numeric-id":2986962,"id":"Q2986962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b19fe21a1b5e0a8f0684d0fe37bc207ca60af72","datavalue":{"value":{"amount":"+0.8011099100112915","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":"Q5239214$0A115FDA-1B94-4501-BED7-7897680497F4","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":"225d722806678e07fabbf1014c9ffbc3fc0a74c9","datavalue":{"value":{"amount":"+0.7576804757118225","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":"Q5239214$8773F57C-DD93-4FDC-9878-58C2539E60C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6773be68998ec6424b6d32878fbc638963e38145","datavalue":{"value":{"entity-type":"item","numeric-id":6567485,"id":"Q6567485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2933ffa85e8a1dcaa4b96bb30422ce57c6dabf7","datavalue":{"value":{"amount":"+0.7488703727722168","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":"Q5239214$43EC8467-2B3F-446A-92DA-3F95E3585EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c28fd90df3ccf244c4cc51887180a71e1fb441e1","datavalue":{"value":{"entity-type":"item","numeric-id":4503932,"id":"Q4503932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b1c7985466fa4b1a2069537a958792b927a9d4","datavalue":{"value":{"amount":"+0.7438651919364929","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":"Q5239214$E090925F-0065-49E8-AD67-569F71598977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5239214","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5239214"}}}}}