{"entities":{"Q2165452":{"pageid":2176195,"ns":120,"title":"Item:Q2165452","lastrevid":54384401,"modified":"2026-01-26T17:56:25Z","type":"item","id":"Q2165452","labels":{"en":{"language":"en","value":"Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573579"}},"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":"Q2165452$95723B61-F68E-4046-8D7F-3644E7969631","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c34fed064fe53c12936a9b60c28ebefc3c59e56","datavalue":{"value":{"text":"Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165452$BAA4E208-C162-4876-8E32-DCA41695416C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fd12aa68ee680ad7b5c223b121031a7614e24b6","datavalue":{"value":"1495.93013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165452$B13541C0-87B9-4930-80D4-9FEE230A4C6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5884f60e294c0bbfc6a41fdd2027c40b47114bee","datavalue":{"value":{"entity-type":"item","numeric-id":553712,"id":"Q553712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$791B3A4D-ED29-46FC-8029-2DF26EAD7D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f92286191682914f0be7fb749cfc94b5e0bbdf7","datavalue":{"value":{"entity-type":"item","numeric-id":654029,"id":"Q654029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$F624FB99-4737-4DF4-B164-C0348347294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eab2fb15c9b93af32fa06584c147f6ef3ab99e56","datavalue":{"value":{"entity-type":"item","numeric-id":454906,"id":"Q454906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$78AC51A8-400B-48EA-B5F6-27633F10AECA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b71eb180126bfc863b84d620c8d007ebc4f3c390","datavalue":{"value":{"entity-type":"item","numeric-id":199332,"id":"Q199332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$5BE0892E-9F00-4A3B-B6C5-8F47A50EBDE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2165452$7C1A4957-3CAB-45E6-90B0-EA886E680683","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165452$692FD90A-D17B-4F7B-80A9-0D60C0A47AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165452$F8251481-F6EE-443D-A282-A16512D7A9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165452$C7F81041-0B13-49D2-BCD2-978BAF198D98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85662c337d6cc126df82f46c4b9472e2aeaf4656","datavalue":{"value":"7573579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165452$0E32EC8C-9526-4DE8-A509-331EFF7EAAEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da7186eeb0b943bb9139c862d5e2f7430658b2c4","datavalue":{"value":"computer mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165452$7E7043AC-1589-4EB0-AAE5-B4C8AFF403A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a7dbf940ce8ae18932bfda666873b3e56ce5802","datavalue":{"value":"reachable set estimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165452$8B96D9E8-2F6C-48DB-AB81-AD70F8E3033A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165452$D6ADBF56-28F0-4D3D-A150-297AB5436916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd6827acb4226cf03492a0986eccfcd6961a7704","datavalue":{"value":"sums of squares programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165452$3F1F0194-7683-4D8F-B30C-742E9AB336AF","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":"Q2165452$CECDF711-E1A2-47CA-8087-2703139DACFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0605ae50133e9e7c5ff32bf8adf99f056477cf9","datavalue":{"value":"https://doi.org/10.1007/s11424-022-1121-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165452$9D465570-C783-4111-A178-1FD98BD29631","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876a4b7c04b03313ccdff15de963e505ee2185c6","datavalue":{"value":"W4283529251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165452$307DC738-1B5C-42B9-B1DA-7318D5140912","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17638db1f144c3c0eb75314d4bcb89af51a3e82","datavalue":{"value":{"entity-type":"item","numeric-id":4953402,"id":"Q4953402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$8C244816-EA94-4CDA-943A-4A75AF97405F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8c00e6859456436b4dd4fd8d1212e545db8330","datavalue":{"value":{"entity-type":"item","numeric-id":4953376,"id":"Q4953376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$5ABBB8E2-C52B-4F17-A8E1-B9375FF59E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b08ade16234bfdcd11d4724c0270342ff0e9e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5282007,"id":"Q5282007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$5B837AE5-21AD-49E4-9612-9D4DE28BC43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d771fe4d67b7e62b1337b5ef67a0024cc8717a","datavalue":{"value":{"entity-type":"item","numeric-id":5703929,"id":"Q5703929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$1FED026E-2E0F-44BE-BD24-A8F9CDF1898A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054ea8f58ba45108d452657f9db815887ac8ece3","datavalue":{"value":{"entity-type":"item","numeric-id":4418863,"id":"Q4418863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$DB2F8CA1-110A-4737-8EF6-F261B472C6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afdecad2b2d16afdd7f9412e6fc8c70afd87b4d","datavalue":{"value":{"entity-type":"item","numeric-id":4463457,"id":"Q4463457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$DB91D0BC-7DC3-4169-A53D-3AB1B4D12C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af755552f77a91e0b8dbebbef263c9d43f0978c1","datavalue":{"value":{"entity-type":"item","numeric-id":2986920,"id":"Q2986920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$3B5D18CC-B690-4357-A9CB-AA72B7221216","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":"Q2165452$6D2F9763-1A52-4E2D-B3A0-4EF76B9ECC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7a095c5324affb0457dc3c701ea0f2b468905a","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$6BB179D4-D2DD-4E09-A2E3-BCFD38CFFA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8a0c7f69cc7b61244a88a3320724a7c0f897ae","datavalue":{"value":{"entity-type":"item","numeric-id":5282200,"id":"Q5282200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$C2BDA2CA-FB70-4736-A2FD-B0969F5C30FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017b08dbe8cbc692cacc21526128e74dcdf13be4","datavalue":{"value":{"entity-type":"item","numeric-id":2864837,"id":"Q2864837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$8439E1BE-D803-418B-A6E9-D2E701504BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a33ace715758bbd5e12a175666c687dc29f3c4","datavalue":{"value":{"entity-type":"item","numeric-id":6041129,"id":"Q6041129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$9EFC3C9D-B28F-4692-A941-552EAE4F0F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936405e003b52993b48c12ffcaeca0d897c2cd03","datavalue":{"value":{"entity-type":"item","numeric-id":5125565,"id":"Q5125565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$4572CFE1-B42B-4068-9AD4-A3E559A9C445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a4a6cae6038e3ea208b6908f7e4be96f46c2b8f","datavalue":{"value":{"entity-type":"item","numeric-id":5239228,"id":"Q5239228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$139923D1-DCB2-4B71-A21C-696B200869D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"493da7e0a28b6455a62749193751855e2bb4812d","datavalue":{"value":{"entity-type":"item","numeric-id":2983254,"id":"Q2983254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$CDE09996-2B89-4F5A-8DFE-83852682612E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"420a3e5a8d30ce63af64beb0dd9be2418c9b0b50","datavalue":{"value":{"entity-type":"item","numeric-id":4990194,"id":"Q4990194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$50636B9E-21A9-42B4-B6E2-532909DA4221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6470c9ae4f333b33533bbf05e8012455be4491f","datavalue":{"value":{"entity-type":"item","numeric-id":2203460,"id":"Q2203460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$9241F024-62E0-4714-853E-C71B125BAE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661a02918f6332dcd149528df7d232de9096479e","datavalue":{"value":{"entity-type":"item","numeric-id":5358637,"id":"Q5358637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$F2415B02-5AF7-48E1-B1D2-887218C5B4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523d111dff05b1c5a75102d6a411633b95028776","datavalue":{"value":{"entity-type":"item","numeric-id":394460,"id":"Q394460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$4938BA04-38FA-40CC-A362-5A1B3972878C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb5c4b86439c99a6d41978ddd51751a0bae1bb7","datavalue":{"value":{"entity-type":"item","numeric-id":4326600,"id":"Q4326600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$8539EB1A-CE40-4409-88C4-A3A9F32128E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5f4133e04bfc3c5f5a968116ba461a1733fc52","datavalue":{"value":{"entity-type":"item","numeric-id":4504796,"id":"Q4504796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$5EBAC810-B3F5-4127-A010-E7A2FA0FB6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683b0d1b9d23cf95e10d6f3555a884af1cc424e2","datavalue":{"value":{"entity-type":"item","numeric-id":5703951,"id":"Q5703951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165452$93763504-914C-488F-A7E9-1F637D6E93BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c08da5c5e44d0a7e9e72d9f3b0caa019ddc30811","datavalue":{"value":"10.1007/S11424-022-1121-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165452$90BD571B-A237-4627-9C1F-F8683C96126B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a491107fabdc68bb0ee36bcfd771c9649d46f636","datavalue":{"value":{"entity-type":"item","numeric-id":2203460,"id":"Q2203460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4488c5d2fa3424537eec4b21a2d4a46b944a873","datavalue":{"value":{"amount":"+0.7602502107620239","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":"Q2165452$8D2FDDC8-5B4E-4B08-8E06-A0C3A4081305","rank":"normal"},{"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":"47617646bd9f0152d8cd5b3c2b453ffd58780a65","datavalue":{"value":{"amount":"+0.7529788017272949","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":"Q2165452$367A509D-108A-4027-8552-8A4BEA602EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b20a97c91c442024dfd76fb547be0db2f963be8","datavalue":{"value":{"entity-type":"item","numeric-id":4561433,"id":"Q4561433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d365366b01d8f925548f15ce05a022d8f1486ff8","datavalue":{"value":{"amount":"+0.7431132793426514","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":"Q2165452$09B010F0-3CE6-402D-A1BB-AA2C0C766DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68b141dd9f765576cbdf415a9726759d0fc4c11b","datavalue":{"value":{"entity-type":"item","numeric-id":2986920,"id":"Q2986920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ffba7df19f78f93face773ffd3c6734e91c63c","datavalue":{"value":{"amount":"+0.7414528131484985","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":"Q2165452$C9E19C32-6706-48C0-9496-F42404D763B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01dbfa1b2e4d0eabd5b5821e6aaf2b05d094ba7e","datavalue":{"value":{"entity-type":"item","numeric-id":3711122,"id":"Q3711122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c955609353a72383161f423efcf73ffd23d744b5","datavalue":{"value":{"amount":"+0.7397089004516602","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":"Q2165452$2B7BF14E-74F8-4169-B626-A1E56ECBA34C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165452","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2165452"}}}}}