{"entities":{"Q5358637":{"pageid":7388211,"ns":120,"title":"Item:Q5358637","lastrevid":96295202,"modified":"2026-06-05T10:52:56Z","type":"item","id":"Q5358637","labels":{"en":{"language":"en","value":"Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6777921"}},"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":"Q5358637$DBDE5833-230F-4356-871D-DA0D70F5F4BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fa4adcd1d28a1cb87fa8a69f82af98e67098496","datavalue":{"value":{"text":"Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5358637$4FCED434-B19D-45B6-856C-62AA81E7FD9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22c81421e9163bb48a5253e7af48f9e1ec009a86","datavalue":{"value":"1370.93045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5358637$F4BC933A-0194-4E9A-A224-2EF9F8E9C488","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28a18fa2ec798a0374d78d0d4c2d87f220453b11","datavalue":{"value":"10.1109/TAC.2016.2615599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5358637$52EB4B9F-921C-4DF1-911F-505035F4CD62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a157e506fc5c10d64914a77b9c6ded9494fdd3f","datavalue":{"value":{"entity-type":"item","numeric-id":832193,"id":"Q832193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5358637$AB2D37D1-3ECD-47AE-A405-D1BDBFDB1091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5058558f37a66c4e327842b939d2b7e53f3d9d8","datavalue":{"value":{"entity-type":"item","numeric-id":601052,"id":"Q601052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5358637$3E0BBC6F-77E7-450A-AD1D-21ACBB9A1F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8096bd10749955e98fdccc52eef3437cf31e2ce3","datavalue":{"value":{"entity-type":"item","numeric-id":343068,"id":"Q343068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5358637$4F0389F9-93C1-4372-87F3-FC267673E547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5358637$80D4FE89-7AB4-4D37-9301-1065B4C9CDBE","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":"Q5358637$98C42AF1-3A79-441D-94AD-2DBBED016797","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f36926d0e8ecb0aa6e5c43f48d167063fe25ab3e","datavalue":{"value":{"time":"+2017-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5358637$E1A93EAD-F049-4435-89B4-D7BC5F2EF6FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5358637$3F030E81-A4A3-4C25-970B-EC83680E1EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5358637$C73951DF-A085-4435-933F-E1FBC1F1288C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3dbd9499b37b085d2c4838c8e16a8d0747cef3a","datavalue":{"value":"6777921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5358637$37376B3D-9F34-4C6C-B72D-31A1A41C5D6A","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":"Q5358637$2F732217-2A2A-4A63-8861-CF321726F852","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42cb12d717c2fba50dee596b2df0bdf884d73b99","datavalue":{"value":"https://doi.org/10.1109/tac.2016.2615599","type":"string"},"datatype":"url"},"type":"statement","id":"Q5358637$BCC1FD9D-358E-4312-82DF-25F9A81FE3BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ab9dfd4fa20c560c34afaf4be649482b64147f4","datavalue":{"value":"W2528933731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5358637$2C359B38-4220-4050-B9F7-74F667B6EA56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reach-Avoid_Verification_for_Nonlinear_Systems_Based_on_Boundary_Analysis"}}}}}