{"entities":{"Q3506535":{"pageid":5536439,"ns":120,"title":"Item:Q3506535","lastrevid":48811819,"modified":"2026-01-05T22:14:06Z","type":"item","id":"Q3506535","labels":{"en":{"language":"en","value":"Convex Programs for Temporal Verification of Nonlinear Dynamical Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5288513"}},"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":"Q3506535$A66BD376-3024-4F10-B31F-4EC5806D8A57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"305a4a735f885614276f29bcbdad0d05d8f308e6","datavalue":{"value":{"text":"Convex Programs for Temporal Verification of Nonlinear Dynamical Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3506535$9BA9F198-F9A7-407B-9C5B-A79B575AC7A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2fb380c8d26e6aece293894710998c4b1d14365","datavalue":{"value":"1147.93023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506535$A62E1E3E-BEEF-4D61-98E4-2061DB771DE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"877a9be0fa2ae572804eca78f7eb38f106bdb37d","datavalue":{"value":"10.1137/050645178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506535$F59D8050-5905-4CAF-B733-CDC0A83454D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeb72b6809a81bfe9d34eb88b2a22f70fff9097b","datavalue":{"value":{"entity-type":"item","numeric-id":1605404,"id":"Q1605404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506535$81B8FF29-B54D-44F6-BEBB-F9D5D5D1D0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a7a48785ec5252fcdc1ad885f82c52152f84116","datavalue":{"value":{"entity-type":"item","numeric-id":258404,"id":"Q258404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506535$4818CD15-AFC6-41DB-BF28-B3F46F42E008","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ce3126ac4b873d1435f3e6415d12d56cb56cf18","datavalue":{"value":{"entity-type":"item","numeric-id":2706140,"id":"Q2706140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506535$E387ED43-3600-4203-8807-8EBB18D909BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a19890e07aef42e7ab0a72d874170dbe9980a58","datavalue":{"value":{"time":"+2008-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3506535$391646BE-4CF9-438A-9F4C-6F5FA19E5A7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4ebbe49a074e35c1abf9274cf0f44b4ebf30494","datavalue":{"value":"https://resolver.caltech.edu/CaltechAUTHORS:PRAsiamjco07","type":"string"},"datatype":"url"},"type":"statement","id":"Q3506535$4775DD9A-F57F-4FA5-B5C9-FB28AAA966C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506535$9524535C-1C57-4B2D-9667-A1D9D9575740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506535$04598E17-CDA5-433E-B9EE-D29E6143E4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506535$BF44C624-C584-493C-9E9F-5E9E61BBC1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506535$F472E5EA-E59D-400E-95D3-6CC3BED91363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506535$AE28653E-D80B-4A34-9EAA-EA0E6E1316D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eabff21075bcc7ec1087b97c5e013b51bdb55463","datavalue":{"value":"5288513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506535$9D949CB1-A86D-48FD-8168-0B6A6F3F7F3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1125e3fda39332df1f0e96e9310992bd88b573b9","datavalue":{"value":"temporal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506535$E31BA1C3-60EF-429A-A9B9-E47B2A77F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506535$ED8A7A56-696D-4CD0-AF56-292505B0DA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506535$8E01581B-7346-4E02-82CF-7D6310446F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e04fbdd0685793ff9399d35eefaa19f37c3d6177","datavalue":{"value":"barrier certificate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506535$6452F448-4C46-49E8-B474-7C4D826C8922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84aed947d32e1fb3152a3196e6debf9578a5567","datavalue":{"value":"density function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506535$B1069D52-4B13-41F3-93A8-DE31B762F524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6967e67113aaa139c1c0b5c2a96849f0ad345afa","datavalue":{"value":"convex programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506535$E60A3D49-0C8C-46BE-B2DA-9482F014E84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506535$2DAB4BC8-6DA5-4D41-801F-C9ED31449D1B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"882a971f4991bcd3c0ef655b6f375f7a0214f07a","datavalue":{"value":{"entity-type":"item","numeric-id":22275,"id":"Q22275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506535$10464A2E-C24C-499B-9AB3-C93A2B507430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"586abd5aa3e73f6652a0a54ae2a02fc283d78be7","datavalue":{"value":{"entity-type":"item","numeric-id":13635,"id":"Q13635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506535$3F24A0F7-7B9C-4040-A67F-F5405FCF36A4","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":"Q3506535$9E16EDF4-33FF-4C3F-A67B-E28F0D325B6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e71d02f2bfd655391c90681865454846f4f5543","datavalue":{"value":"W2050383062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506535$4F5EB31E-2335-4A38-89BE-010ED4D78C35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b72f707fac48e18644bb2b96752dda7ad6c62434","datavalue":{"value":{"entity-type":"item","numeric-id":6116244,"id":"Q6116244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65ad59ed6bf8af05c42e4dd23614d5c7c79f51c","datavalue":{"value":{"amount":"+0.87022036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506535$B416C080-77A5-4342-B093-299747E4248D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fcc2c23dc69d83195cd4f74e72f83eaf6dc9e5","datavalue":{"value":{"entity-type":"item","numeric-id":2920146,"id":"Q2920146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf33a33a68cb5bb39f9277af00de6388156ea3e","datavalue":{"value":{"amount":"+0.86932516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506535$E391169F-90B1-4849-8C34-B6DF593FDB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310e121da59e1833516c63390a2478e486a4073f","datavalue":{"value":{"entity-type":"item","numeric-id":763240,"id":"Q763240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543430584cee9281ceb0011e489d5f465e2ba371","datavalue":{"value":{"amount":"+0.86845213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506535$BFEF4487-1156-4B1E-95FD-7673395432A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0367b111822f8b4415e6128c5d12e84f40d5f6f7","datavalue":{"value":{"entity-type":"item","numeric-id":4561425,"id":"Q4561425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d0f8c975dba92a10cce9d6b050ef9e29710db7","datavalue":{"value":{"amount":"+0.86628014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506535$72F1989F-41A1-4467-B846-251C69A21F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313c3cc62d8aa7169b46777cec3c0c8b0c7e7696","datavalue":{"value":{"entity-type":"item","numeric-id":3656877,"id":"Q3656877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852a3581cc08ff3d48ceed385496d56b2aca1ba1","datavalue":{"value":{"amount":"+0.86276555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506535$0EE3288E-DA77-432F-9144-F1B8B61E1BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa5dd2c9b7850609c1d59bea8a1262a6da3ab29","datavalue":{"value":{"entity-type":"item","numeric-id":2374566,"id":"Q2374566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c345f50f299f86dbfc5f9bf29d4d9db565b56f","datavalue":{"value":{"amount":"+0.86232483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506535$581B1684-C39D-4561-9808-464F9AE91097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7225ed373627b953248542332e60e825bd5ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1935781,"id":"Q1935781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800806b0428f833e05b03ef7cdafa943696cae52","datavalue":{"value":{"amount":"+0.8615222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506535$B5F50047-390A-4AB9-9FC2-A5AC906B6F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50392b5d6fb7b05c48fa63e4f9b6b69743843f1","datavalue":{"value":{"entity-type":"item","numeric-id":5925915,"id":"Q5925915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0b48f12bfb112f559ce5ad45eec3b925d341e0","datavalue":{"value":{"amount":"+0.8608139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506535$AE03C35F-7539-4FBC-8AFA-B9E36B5C7788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6448f0c1d21187e615a9adc6cef6b75a13eb0f","datavalue":{"value":{"entity-type":"item","numeric-id":450659,"id":"Q450659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128e59e7d612433c3aa10799f030b934f2fb9715","datavalue":{"value":{"amount":"+0.86039954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506535$F2B1F32F-6FCA-4215-BBF0-9563D9149AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d00c82ab606062335d575001a70b94a8d8149c","datavalue":{"value":{"entity-type":"item","numeric-id":2665419,"id":"Q2665419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7624851df0320235fd89c083115eb29136555cb0","datavalue":{"value":{"amount":"+0.8587938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3506535$774EADE2-CCF8-45FF-8260-36003D98D95F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3506535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3506535"}}}}}