{"entities":{"Q2060886":{"pageid":2071628,"ns":120,"title":"Item:Q2060886","lastrevid":54175391,"modified":"2026-01-26T10:00:19Z","type":"item","id":"Q2060886","labels":{"en":{"language":"en","value":"Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7443275"}},"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":"Q2060886$BD3D3DFD-E033-47F3-84DE-A082B7DB9A44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c98ba01c3d4e83bdfd9d6fceedd22ec5a2c790f","datavalue":{"value":{"text":"Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2060886$DB08C882-BB09-4D62-BA3A-C0988265AE80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7f8b1745ab39d639cc47b57f733f709c1a353bc","datavalue":{"value":"1479.90044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2060886$A802398D-CADA-437D-ABF9-94BBCC4ACCBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb437ea5b8672cde24df14f00f6f0a6c774b0f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1683443,"id":"Q1683443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$F1D1A7EF-1C8D-4EE8-8BD6-CAECB6CCF66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31cf09ec1b4ecf8f762196d1f0c8d36bf8ee9ab2","datavalue":{"value":{"entity-type":"item","numeric-id":2060883,"id":"Q2060883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$E189C760-5D54-461E-83E4-52D34AEF273A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ede496bc66168d224074572eb35382c5b2bf676c","datavalue":{"value":{"entity-type":"item","numeric-id":2060884,"id":"Q2060884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$E7FACEFC-92B1-4976-943B-212F664B07A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce2e60583eaf62b917afcc80d2a9d1d05fef072c","datavalue":{"value":{"entity-type":"item","numeric-id":649874,"id":"Q649874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$F64FAE35-13CA-4215-8553-7B8A2609486C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcc3ecf2d293b82aacccb6438948566a51caff8d","datavalue":{"value":{"entity-type":"item","numeric-id":2060885,"id":"Q2060885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$823C36D2-A922-4AD5-A481-5FE7F1C0556E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bce01673066ff0bcd53d8cf6baa82adc967dac2","datavalue":{"value":{"entity-type":"item","numeric-id":266026,"id":"Q266026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$9644225C-746B-4957-98A6-AA43EF2E3120","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":"Q2060886$10BEF35C-C248-488C-BF4C-2FE300DEFEFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc2f398aa9daa1fa90afc5483e8dfc2d20856f45","datavalue":{"value":{"time":"+2021-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2060886$422EAE42-3046-4998-A330-3480806329EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9cf44d503e7d4771a74e60c8b165d38259abcf57","datavalue":{"value":"90B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2060886$7CE67780-D273-4609-B360-0A17AA3673AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cb186f7c907ca60893d849df7e69a98dd343f1b","datavalue":{"value":"90B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2060886$05806E2F-6734-4C07-8BCD-3D17859FF8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2060886$2103E19F-A249-47AC-B435-6E6902036F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2060886$6F2E0AF3-DC49-4463-9A81-FA1CD55D203B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71d5e1f404d01ee98af3263256fd8cf76f9c7df7","datavalue":{"value":"7443275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2060886$ACCCC16B-7696-4FB4-80A4-1CE9FE5CCB45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a8094242028f7f7b2e2dc1449c47174ce7ae00e","datavalue":{"value":"trajectory splicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2060886$D6F4076E-C21C-46DB-8A2E-5A30B9699DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09b5eab8cf742fa233b593eaf44f82dd384d365","datavalue":{"value":"falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2060886$568703E4-3AEA-407D-94CB-1678313BD46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2060886$52530CC4-DBA3-4119-8D08-D88CF75AFCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f1637059600dda27f3a7d7eb32818e6afe98a8","datavalue":{"value":"hybrid system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2060886$ECACB88D-993E-4896-878D-934B05237A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2060886$713271BA-F56C-4536-A262-A9FC7E44B210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a88b421280b34f481da3439bc42bedb8032702","datavalue":{"value":"nonlinear optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2060886$E6641714-39EA-4E11-89BD-B160AFD9C665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2060886$18F25BCA-C8F0-4921-80BB-B74776EC0E25","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":"Q2060886$F1BB15AC-3B7C-433F-A5B0-A816A05410E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9563a72c83ae0bc260dabcecc4177f7f5a904c75","datavalue":{"value":"https://doi.org/10.1016/j.nahs.2021.101093","type":"string"},"datatype":"url"},"type":"statement","id":"Q2060886$C5B396FA-63FF-45B3-8D63-204C2CB38EAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd05d2e45c95269b1a84dda86cfc2eb09b5b306b","datavalue":{"value":"W3198670034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2060886$BEE933EE-1170-49B7-9F1B-43077E755FE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$4F1C7A05-AD4E-4E9D-A185-188757B416C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6718e41d4e26b21b04e76a329f84fefa265f58fc","datavalue":{"value":{"entity-type":"item","numeric-id":988780,"id":"Q988780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$1C4E55D0-27CB-4212-9D03-66FD89833197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1325c4639b585435a83282a6bb4322e7ba8d4692","datavalue":{"value":{"entity-type":"item","numeric-id":4561431,"id":"Q4561431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$47FADEE7-BE31-4CE2-B5E0-DE63A6FDF052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1aa8941a9714affaf65c52158d6b08a8d5f30ee","datavalue":{"value":{"entity-type":"item","numeric-id":5239213,"id":"Q5239213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$6BC1C9B2-91E8-4406-8AF4-783EC8713985","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":"Q2060886$06C9CA66-EEBE-4ED1-9CF4-5250E1DF7C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80563aa2a53c69a48fb355c7b30755fe0ec51a8d","datavalue":{"value":{"entity-type":"item","numeric-id":3636880,"id":"Q3636880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$37204199-039B-4E60-83F6-B2BC66BBF2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28e11599fdd1f647685b3844fd11d8d0539850b","datavalue":{"value":{"entity-type":"item","numeric-id":988781,"id":"Q988781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$AD912A78-967D-45FD-9448-AEC0E0E65EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139332cdbf81cdea811deb62b49f6c8c5954e9e3","datavalue":{"value":{"entity-type":"item","numeric-id":3151174,"id":"Q3151174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$7175ED34-E2B6-41F9-AEFF-F192ED8B3145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e958689f7d9dabbfa572244742afed969201a5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5716589,"id":"Q5716589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$7DB89367-E9BF-4F84-ACC9-8C049F84B26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302b9295da263b6bbb8375d832b70c6344095a10","datavalue":{"value":{"entity-type":"item","numeric-id":2322312,"id":"Q2322312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$36BE1DA6-5DE4-40AB-9ECB-DF5B7A116F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24353926af3d0312cfd8c0145391dc10105aba50","datavalue":{"value":{"entity-type":"item","numeric-id":3738710,"id":"Q3738710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$9C9A189E-4839-4705-8726-22FEBDCDABE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36883030cfbe7504efa1a529decfce95f5779b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5307932,"id":"Q5307932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$A3610CE1-FF74-4B2E-B1BD-3A8C702D33F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d37d7fbb1b1a42c7ffe78e48324b87d4e69fee2","datavalue":{"value":{"entity-type":"item","numeric-id":5500561,"id":"Q5500561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$0F6994B9-2036-4A46-821A-8197812E2050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08cf68b4d3007cf9ef994f2115ac055c797d0b2","datavalue":{"value":{"entity-type":"item","numeric-id":2184551,"id":"Q2184551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$FB1C8F23-E957-4330-BFA1-2D2B18281873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9c649238a9af9af82a0b97158cae4122c8636b","datavalue":{"value":{"entity-type":"item","numeric-id":2905379,"id":"Q2905379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$F57F7054-6FA2-457B-8072-57395AF69FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3e0f406ca5c053e943d93211f84d7fa0405f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4576198,"id":"Q4576198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060886$94CB0F34-13E0-4C6B-830E-DC7EB3EDCE71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"626f83a803b03fcc69e23148e34c8c9eeabb7b7a","datavalue":{"value":"10.1016/J.NAHS.2021.101093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2060886$2B2880A2-4933-43AA-B8E4-CA6DB8A92411","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ab08b62b0a6e9049b3c85e3b67773a96cf16be","datavalue":{"value":{"entity-type":"item","numeric-id":3172941,"id":"Q3172941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce9c21330d53195387ce5b20cc7c59c7044e08f","datavalue":{"value":{"amount":"+0.7878179550170898","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":"Q2060886$92012DEC-04A7-463D-9E74-CF6223ED2FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73d6303ae62c20e2c1cd56dbc8affc68eb299212","datavalue":{"value":{"entity-type":"item","numeric-id":1039839,"id":"Q1039839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8651a5a130a3bcf16443c71f20455bd4cc04003c","datavalue":{"value":{"amount":"+0.7842556238174438","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":"Q2060886$02F876F9-8894-425C-8262-E3B42B361C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef51496ddbb60778e4fdf08f32808ecb316e5e9b","datavalue":{"value":{"entity-type":"item","numeric-id":5500561,"id":"Q5500561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d439aa1b7e8691d4115f76642810fc723e4a1e","datavalue":{"value":{"amount":"+0.7811293005943298","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":"Q2060886$7E1BC357-0368-4B17-B178-36C1DDF56657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed91a48d11db7f4ee0942145d6c97715ec481d3c","datavalue":{"value":{"entity-type":"item","numeric-id":3617769,"id":"Q3617769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee852f0724a30ef153a7804f383e61dcd755224","datavalue":{"value":{"amount":"+0.7763604521751404","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":"Q2060886$5AEF72F3-1EEB-41A4-91A9-731AD7C21FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17831ea23df7b0ff0d7be157675ed197cda2b85","datavalue":{"value":{"entity-type":"item","numeric-id":4982085,"id":"Q4982085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c27b92faf64a6306459cd034fa205cd80d740b8a","datavalue":{"value":{"amount":"+0.7683677077293396","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":"Q2060886$AC4039CE-92F5-411D-9F75-987EEEFB85C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2060886","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2060886"}}}}}