{"entities":{"Q5239213":{"pageid":7268781,"ns":120,"title":"Item:Q5239213","lastrevid":55373395,"modified":"2026-02-17T14:43:43Z","type":"item","id":"Q5239213","labels":{"en":{"language":"en","value":"Falsification of hybrid systems using symbolic reachability and trajectory splicing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120135"}},"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":"Q5239213$E20C0016-78B8-4F16-AD1B-C884F3D587C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06603676a82a94215faeee10817cdc800ddd958a","datavalue":{"value":{"text":"Falsification of hybrid systems using symbolic reachability and trajectory splicing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5239213$7D6828B0-D889-4D47-8961-D3A04F4E6CA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dae633a2c394b7d0746e12870c2a5cd752b45fbe","datavalue":{"value":"10.1145/3302504.3311813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239213$D4595FB7-1DF6-4E6C-A58A-166B6927DBFF","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":"Q5239213$81D186D0-1945-41EF-85D2-3CF3091EC5D8","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":"Q5239213$AF12CC15-E8FD-48D7-98E0-1A31D0E1B842","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":"Q5239213$27E93E29-E55A-4BD5-BC8C-433D7D9862FC","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":"Q5239213$46483F4C-3231-44B6-9BBD-5184B2AE3FE0","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":"Q5239213$F1E6EFF1-4365-4238-BD28-4721EF4D491C","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":"Q5239213$29DB813C-7B14-40E3-B10B-A05E7E9D8409","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":"Q5239213$60D45271-1211-4DE6-9741-B0DAEEA56147","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":"Q5239213$121AF312-CEB5-4305-9F41-A0201080CD4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239213$7BC519B7-F7F4-4307-BFE2-6DED7A8257E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239213$379969E9-7B34-4FD7-AF49-4A08EA157FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239213$316BF0C3-6C57-4A99-9FEB-AE9869EFDD71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44f6c323a464dca4b6d98a2c5934c2371f5acd31","datavalue":{"value":"7120135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239213$B69B8DD9-AAE6-41C0-ABF0-6864FE7618F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09b5eab8cf742fa233b593eaf44f82dd384d365","datavalue":{"value":"falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239213$DA8414E3-CA8D-4E9B-A883-81580728E2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239213$5024C694-DCE2-4F1F-805F-968CE76D6042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a5f4fe9583eae81dbeae7617a4d0e2cae15b79","datavalue":{"value":"non-linear optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239213$E4252642-74E1-468B-9D66-63D85B431C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239213$3AC883E7-C751-4FF9-9130-2D9B946D6499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239213$944D8ACD-85A7-4D60-9D4B-938D031F656F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a8094242028f7f7b2e2dc1449c47174ce7ae00e","datavalue":{"value":"trajectory splicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239213$30F3DDBB-1530-48CD-BA21-CB51B510CAB6","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":"Q5239213$5FF5031D-8061-4340-BCC0-7D92CF9F9854","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e780a5be2201e6ff0e07ac3ef435793976e5bea5","datavalue":{"value":"https://doi.org/10.1145/3302504.3311813","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239213$4DB7863C-6171-4A25-9031-48DB3A2F8C2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e4d35426446570370374397f986fc7e240a3aac","datavalue":{"value":"W2939295339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239213$B0062258-45C2-43D7-BBB4-C7653EB15F25","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"42057e23041f5cce86f72677256c2df830e7c54b","datavalue":{"value":"Q131116380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239213$8A24F16F-D556-4030-A94E-9736ECC07C48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f884b566028f8de7a9fec3d95cc2df4c52c5492","datavalue":{"value":{"entity-type":"item","numeric-id":2060886,"id":"Q2060886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f12d699e24a12557e31badfb0f620a257a37c3","datavalue":{"value":{"amount":"+0.990126609802246","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":"Q5239213$D98A81B1-CFC8-4913-991D-E87C8DC39C12","rank":"normal"},{"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":"08066c803680407a260257a18a6ffb37c2cd7469","datavalue":{"value":{"amount":"+0.7921381592750549","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":"Q5239213$518F9CEA-D249-402C-970F-B75D5D66D614","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":"27beeeb097e8fee92ece80ac3e39a6c4ca04a87b","datavalue":{"value":{"amount":"+0.7915299534797668","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":"Q5239213$2CFDAAB3-837E-45D7-B438-FF620552113D","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":"d9643c3bb92804cc9c3169b9426c2861a1c98dab","datavalue":{"value":{"amount":"+0.7909079194068909","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":"Q5239213$C8B91339-D4A1-4365-A26F-2AD4F8E08604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8be01fca1e94018cbbdaaf4f253d75a8b27998","datavalue":{"value":{"entity-type":"item","numeric-id":6584559,"id":"Q6584559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5ba6b1f91acf0ee267ef623a85a7fc4cfcd437","datavalue":{"value":{"amount":"+0.7844473719596863","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":"Q5239213$F8C9887A-8942-4DD7-A134-4EA93FB7333E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5239213","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5239213"}}}}}