{"entities":{"Q832194":{"pageid":834042,"ns":120,"title":"Item:Q832194","lastrevid":64706733,"modified":"2026-04-11T21:40:58Z","type":"item","id":"Q832194","labels":{"en":{"language":"en","value":"Synthesizing invariant barrier certificates via difference-of-convex programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498150"}},"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":"Q832194$41B263D8-74C7-40F7-B247-14926BCEE6F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddec8797e579b63b926e22ab4ac50d2b2f751274","datavalue":{"value":{"text":"Synthesizing invariant barrier certificates via difference-of-convex programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832194$705E3AAE-7188-4569-BE5D-D955A8EF0D1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef2d3f6eedbb90573222bbabe86c4c4c039818c7","datavalue":{"value":"1493.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832194$C78D1049-F470-49CE-9D8E-93A66B7C50EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a92cb75391bce9707bcc4bd7ff521b31e635e785","datavalue":{"value":"10.1007/978-3-030-81685-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832194$2B53F5E1-3F2C-4CD1-89C6-3025E6D670F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c2f420dadf11f0ce1a92c96e2c4254650f297d","datavalue":{"value":{"entity-type":"item","numeric-id":832191,"id":"Q832191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$C4B8456F-102F-4EBF-96B7-5E7D975E4EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cef1e06d83a491a0b29b5580590e2cd4ce05dbe","datavalue":{"value":{"entity-type":"item","numeric-id":832192,"id":"Q832192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$AE1673C7-E450-47DF-AD03-0E4C72ACAC49","rank":"normal"},{"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":"Q832194$B910D532-D172-4772-BDB2-22EF8AEDC276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$C2DAD373-8A0C-4016-81B0-28068DB03C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$49F445AF-795A-4185-8CD1-580A7FEB6B1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832194$0749E440-DDAF-401F-8FBB-BE1FDED0D74C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5993696fe17c51b7a6828aad9f504d044c0c55d6","datavalue":{"value":"https://arxiv.org/abs/2105.14311","type":"string"},"datatype":"url"},"type":"statement","id":"Q832194$77AB7B8C-887B-46D5-980E-91BC563941C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832194$91069C1B-66BA-45BE-A66C-CACA260D10A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832194$7C91D1DC-4A79-4BE3-9A70-E7DBF8EC853D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fe66bc430b0023da3a854776fe1ec5808322435","datavalue":{"value":"7498150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832194$E398EC9F-9A50-40CD-BDB0-A4D37AC6D1C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$0A98B42C-90C0-4B61-96C8-E7E268BCD98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74709fe208fb3c9a7200c0f5d8fe8f5ccc4dd827","datavalue":{"value":{"entity-type":"item","numeric-id":16783,"id":"Q16783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$DE071B34-D9EE-4C97-BFD8-505BAED6B65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$1CBF37A5-99A2-4E5A-9355-1BF04E075055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85259fe7e0ac60cc97d45980316c5b33b5c8a4c9","datavalue":{"value":{"entity-type":"item","numeric-id":30630,"id":"Q30630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$1210E700-2120-4C39-A52B-9971B8E0C711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"800c7525067572e6d9663c777180dfb7653bd7b6","datavalue":{"value":{"entity-type":"item","numeric-id":16983,"id":"Q16983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$FF950871-37A8-446A-9229-B70D6890D5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8114ee6db0aaaacc1dd5bfbe568c53840e05fc3","datavalue":{"value":{"entity-type":"item","numeric-id":17337,"id":"Q17337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$FDA245B1-026F-45C4-BA01-8ABFE0F7D3F4","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":"Q832194$6CB5CF61-383E-43EB-B777-09C513932282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80f714a56e3bd4579ddfe5655d9f075e9a46c6e2","datavalue":{"value":{"entity-type":"item","numeric-id":18376,"id":"Q18376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$797AA474-057F-4A75-8810-A85B34BD7E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8c4e5ad6deb5e7808f1cb222bda8db7c643ff92","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$E6C6E4A8-16A5-41D5-B44A-412552029A3B","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":"Q832194$AD80A9A3-0764-4944-85A5-52329AF63F4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b13bc73918fc629ec3a8bc11282b5e559e8673f","datavalue":{"value":"W3185235159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832194$54AD6A1D-EB17-4909-BCDB-9DEC6151A665","rank":"normal"}],"P223":[{"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":"Q832194$3495F618-71C8-46A5-B53E-72A3771B184C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31dd9f64c94fd08956e719c65473ec5f6d138cb5","datavalue":{"value":{"entity-type":"item","numeric-id":4329974,"id":"Q4329974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$3EEBF014-E0A4-4007-904D-987993A379D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f51123d4849920c0bd477136f67ae685bea6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4821526,"id":"Q4821526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$2DBCB311-3F1C-4534-8461-3CBAE8D71701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44ce745cb91c9b463912308ba51a7efdfafca302","datavalue":{"value":{"entity-type":"item","numeric-id":2225128,"id":"Q2225128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$61435153-4D9E-4652-B8F5-3D8C5DF98589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bcd10e7c376737aae0f20cb899a27a9b0ba054","datavalue":{"value":{"entity-type":"item","numeric-id":4698624,"id":"Q4698624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$93403C9E-2BEB-465A-BDB7-F8E70025F4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fd9d14862780031db45432049ced484e957b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4652006,"id":"Q4652006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$6179B84D-B1B0-462B-B48F-BF3A28CD38F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1fcf06ccee920490b3d66824e63f640f0869afd","datavalue":{"value":{"entity-type":"item","numeric-id":507352,"id":"Q507352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$AF793CE8-7489-4449-8F92-91D55127F66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d3da3799834232bae1f95e1bf089124ae6bc1f","datavalue":{"value":{"entity-type":"item","numeric-id":4210186,"id":"Q4210186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$03775AF3-4CEA-4993-8379-E1B6CC90ECDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a6825465f7afaa4e7fadb30e3ad81cc3db93f5","datavalue":{"value":{"entity-type":"item","numeric-id":5352836,"id":"Q5352836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$C129EF13-C797-4ECF-B30C-DB434EEBF0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bb226811329d6404760983330b254675bd6901","datavalue":{"value":{"entity-type":"item","numeric-id":518335,"id":"Q518335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$3CD89620-5DF4-4526-BA61-7C00950E8B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2da99207029d9e49e37fabb5c05f510a3c285ba","datavalue":{"value":{"entity-type":"item","numeric-id":499743,"id":"Q499743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$570CF48B-9137-4632-9357-51C48C251942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5652b003afea7489d1943a5fdb38b175dda26332","datavalue":{"value":{"entity-type":"item","numeric-id":3460586,"id":"Q3460586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$782E08D1-9536-433E-89ED-C9D73AEBAB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f0f63012bd8a792f6bfe8c36d172c7ab45bdf7","datavalue":{"value":{"entity-type":"item","numeric-id":4682245,"id":"Q4682245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$22BA7E0E-C11E-4301-B421-A419FCF72C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231ac24afd5af8b56dcd6fc428b4d39686467395","datavalue":{"value":{"entity-type":"item","numeric-id":1913606,"id":"Q1913606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$F029BC90-8D5A-4C8C-90CB-C2CD2606FE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb860ace0e36c82a8ecef7053057816d881aacc0","datavalue":{"value":{"entity-type":"item","numeric-id":3512493,"id":"Q3512493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$E8959F83-ABED-4869-AC60-089738DFB06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e18e18325ba17767d014c682b9fb6dea5f2abed9","datavalue":{"value":{"entity-type":"item","numeric-id":812426,"id":"Q812426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$1B3A0E2F-60F0-43B7-BCDE-3F0886378642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fcad4de67a0b259d2e18b6ea1f1cf2651bec37d","datavalue":{"value":{"entity-type":"item","numeric-id":2986958,"id":"Q2986958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$44944711-A8CD-4DBF-A303-450E295AE232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0f4ba49720ff9f540019f20faf7257a7d2f0a5","datavalue":{"value":{"entity-type":"item","numeric-id":4693714,"id":"Q4693714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$372C677D-02E4-4555-8003-301F67A9E7B6","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":"Q832194$2D234B1D-562E-4D40-9017-9B9160170F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fc00745ec3d767981805e52c2b6fd5aff5863e","datavalue":{"value":{"entity-type":"item","numeric-id":5945290,"id":"Q5945290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$73D7D94C-4AE7-43D7-AE98-65FACA3EF1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7576506839763f84fe3beeb06ce75a8ed60a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3395491,"id":"Q3395491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$810C8ED4-E5AF-4BCB-9C3A-CEB9068B9668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0c25daafeb74b86b1dd7f4fa08ac79fa916735","datavalue":{"value":{"entity-type":"item","numeric-id":1749443,"id":"Q1749443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$A5A3A121-6B48-45F0-90CC-2F070275228F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4221dc9fb447397731609ce2c4a58680120671e","datavalue":{"value":{"entity-type":"item","numeric-id":4785861,"id":"Q4785861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$9AC2B34C-39AF-4C94-A93C-01CEFA0ACEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3211a290c1f78dbd5124a17bee7b696fb30cf081","datavalue":{"value":{"entity-type":"item","numeric-id":1741120,"id":"Q1741120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$199A58F4-7711-4D98-83A5-3D11B9D6166C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"253fce1263e2d062c35445e25300a51ae20c3075","datavalue":{"value":{"entity-type":"item","numeric-id":880379,"id":"Q880379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$88111C60-0C39-4F7B-BAA2-5FE6E4101CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daec60642aab6d1ca47f7b469286c97e73cf0ce","datavalue":{"value":{"entity-type":"item","numeric-id":3512492,"id":"Q3512492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$099B009A-97FD-4B1F-BB36-0263DEBA4C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad41628e5c514648aa3055d776621cc63b95ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$ED9A7E6F-EDE6-4536-896A-02FC69595158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1cc878a5cd0a7b7b8d5defd362ffac8f9311240","datavalue":{"value":{"entity-type":"item","numeric-id":5302913,"id":"Q5302913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$6B86A649-3AC4-4AC2-832B-9120FD66B935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423a8be0980ebaa01d852c56c93e10a96852834a","datavalue":{"value":{"entity-type":"item","numeric-id":3083226,"id":"Q3083226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$B39ABECA-FE56-4103-95F5-D50795B880D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9d0ddb37d523af0c0834265d31bef8c20ef92b","datavalue":{"value":{"entity-type":"item","numeric-id":3586174,"id":"Q3586174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$65924857-1837-4ADC-A7D7-214FF3A68FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3933980b8109f0ae19c58483ed8b9de03b9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5307949,"id":"Q5307949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$CC1CD681-6F98-4612-81F6-7C469755167D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d131407dd464aa6cd6451be9ab423bf4c278cb5","datavalue":{"value":{"entity-type":"item","numeric-id":2988950,"id":"Q2988950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$597431AB-31D8-4041-9E37-4B4716348F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d53d5ddd250ef06cc1c824efbb5783e46959ab0","datavalue":{"value":{"entity-type":"item","numeric-id":2497884,"id":"Q2497884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$7C5F232A-DF87-4962-A300-D255BEC40A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3656338d0a5ad5d017fe5dab07b98b541dd32622","datavalue":{"value":{"entity-type":"item","numeric-id":2281654,"id":"Q2281654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$EA2596D2-2ACF-4BF5-93A0-F112F67D7F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2f54ebc2c78782209de3b57bb281b1445e958c","datavalue":{"value":{"entity-type":"item","numeric-id":2024361,"id":"Q2024361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$EBBFC861-02FC-44D4-8144-E94231193C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25451e509d8bef1c9d30cb653b82e600bec9a18","datavalue":{"value":{"entity-type":"item","numeric-id":3780016,"id":"Q3780016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$70B20FF2-0042-45C7-8850-63294C47BCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$16B6C571-27CC-40E9-BBB1-1B4EF4D119F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a04350dc9480fc2452390fba22cda7f487634a","datavalue":{"value":{"entity-type":"item","numeric-id":4418865,"id":"Q4418865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$1AC5A2D1-E748-49B3-A2D1-A041257FD06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb86ce1e7d545bd55c0e727a6f6deed363d8e03","datavalue":{"value":{"entity-type":"item","numeric-id":4498100,"id":"Q4498100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$8CB3FFA9-F001-4E80-9EE8-8D1C18C22AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f923bede9f74e6ac0aa49e069c2f1b4af7c8cf9","datavalue":{"value":{"entity-type":"item","numeric-id":2429462,"id":"Q2429462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$D73103BB-1AE1-448A-BC78-2A7F7F48BFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8337f90ab6df03507b612b9b2f5b9956dc9653","datavalue":{"value":{"entity-type":"item","numeric-id":2281664,"id":"Q2281664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$82C69E6D-E90F-4131-84EE-CF0256B24E28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a080c12259b7c84608e693a624ae52bf7b840044","datavalue":{"value":{"entity-type":"item","numeric-id":507352,"id":"Q507352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f572dd1b54605a66a08611972798723ad226435f","datavalue":{"value":{"amount":"+0.8033015727996826","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":"Q832194$CBD43DA7-E58F-4FB2-B9B7-6011A5826432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c5136aee46e995505c9e9526b90164781e361d","datavalue":{"value":{"entity-type":"item","numeric-id":2864837,"id":"Q2864837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089b3793d8da7ab4eec3ccf13eca019d662b4ea5","datavalue":{"value":{"amount":"+0.7995017170906067","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":"Q832194$49C33FFC-6743-40BE-940B-339B04CAB05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acc402274078797c1441eae0ebf295aff08063c","datavalue":{"value":{"entity-type":"item","numeric-id":1683459,"id":"Q1683459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22b9c1dd5a1d852992dd2fb66c5ec4bed648fd4","datavalue":{"value":{"amount":"+0.7832631468772888","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":"Q832194$A704F726-46ED-4940-BA52-4DCD8DC2FE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b55209ee41e179fcdaaec302fa853e7c5c6a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c262d5e117d92af38d7c35e22572d92331e81abc","datavalue":{"value":{"amount":"+0.7808688282966614","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":"Q832194$87C3302E-29EE-48D6-8190-7BE81A65F543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5bc005bac200025ad22b7ced535518ea3c16fe","datavalue":{"value":{"entity-type":"item","numeric-id":3506535,"id":"Q3506535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b87fad071dc19ccad65ad68ac7b5b4c17a898a","datavalue":{"value":{"amount":"+0.7791775465011597","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":"Q832194$BAB5D492-BD75-475F-89BB-8B45CD710BED","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832194$70A3CD54-2F49-4701-9C59-8AFB59875477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesizing invariant barrier certificates via difference-of-convex programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesizing_invariant_barrier_certificates_via_difference-of-convex_programming"}}}}}