{"entities":{"Q681342":{"pageid":683191,"ns":120,"title":"Item:Q681342","lastrevid":57116169,"modified":"2026-03-26T16:41:06Z","type":"item","id":"Q681342","labels":{"en":{"language":"en","value":"Automatic synthesis of \\(k\\)-inductive piecewise quadratic invariants for switched affine control programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6832418"}},"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":"Q681342$E3B0BAC8-5823-4BE5-926E-0C4DECB05925","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dbdc274f2b90cd08b2e3f292b204ecbd2e84010","datavalue":{"value":{"text":"Automatic synthesis of \\(k\\)-inductive piecewise quadratic invariants for switched affine control programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q681342$72973942-C69F-4B61-B7BA-19ECBC7D24C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"181e3dac72705f3f50582aa63f9c6fe4caf0b47a","datavalue":{"value":"1379.68234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681342$1AB4C0B9-3FA8-4B9D-A96F-283AB1811884","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a9f9b026aed956f69b957af2adffe02034d4c67","datavalue":{"value":{"entity-type":"item","numeric-id":435968,"id":"Q435968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$BD81A847-B93D-464D-BA2E-24AF4A4667DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fedef0ca27b62e01c90e6910e47dfd182898de65","datavalue":{"value":{"entity-type":"item","numeric-id":681341,"id":"Q681341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$CA2AB260-85D5-4247-89CD-48860590A092","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$64D094D3-2A84-44AD-AE91-E46DD9801325","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee1298fdc8d29584d7dbb02d41e73b7c90698eda","datavalue":{"value":{"time":"+2018-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q681342$773F4B4D-A58F-4D36-8129-5DA038DD2429","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52eb11eaa9a70aaabe43f815dd6ab3e6e77eac1e","datavalue":{"value":"https://arxiv.org/abs/1409.5089","type":"string"},"datatype":"url"},"type":"statement","id":"Q681342$810DAFEE-91BF-427F-B7E9-40271428FD45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681342$B898B68C-7182-4262-BE6C-1DFAD34498A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681342$3D7BEDE5-C021-4443-8FEE-D4B5452F0CAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05ae9209f634de4a15a2abebf7dc39ba639d42ad","datavalue":{"value":"6832418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681342$3F75F94F-2EA3-4652-BFA0-A9310F7DB0A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q681342$C8BA991C-B922-4734-86A9-2E55C8D2B71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q681342$7E565D87-99D2-4F21-963E-5BF930537512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c8fd1f1ad8cb5341cbacf1eaac411aaef1e8b7d","datavalue":{"value":"piecewise affine systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q681342$CDCD53DF-1ECE-47B7-8A4F-EB1CCC74D0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e10b010291ad744e9ff2fbecb4cf7e33662ad3","datavalue":{"value":"piecewise quadratic Lyapunov functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q681342$D6D0B7A0-6E8C-4878-8A83-80B0042CA19C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c2e88c3e093f252840def020d846265cb56777f","datavalue":{"value":{"entity-type":"item","numeric-id":32840,"id":"Q32840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$2216C521-453B-4D70-B528-03E36EFC3FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$F6384112-DF34-4EF7-9EC3-3982CD25851C","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":"Q681342$BC4172A5-4B0B-48E0-A0F7-3B3875F5A684","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9ccae0ae3976efe333d51bb30527c0a6c090faa","datavalue":{"value":"W2240178388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681342$F756FFF2-4758-4DD9-BD64-12BE0CEE7E11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9038852701f9ef09e166d7111bbf0050ba626051","datavalue":{"value":{"entity-type":"item","numeric-id":5941097,"id":"Q5941097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$0B6D3E4D-D3B3-42B7-B1AA-5250650B9ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a241433536f87efe1adc8934fa021ade16d8890","datavalue":{"value":{"entity-type":"item","numeric-id":3000579,"id":"Q3000579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$58566F0E-1D77-48D2-80A6-511FA2C1F729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$4F6CF117-B66E-4134-BBEA-FA7A3A4829BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"586fae6e49225b59a9454fd3e5d7bea4f9f2b19c","datavalue":{"value":{"entity-type":"item","numeric-id":5308687,"id":"Q5308687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$96CF9900-2BF5-4A94-BFD9-B0C26BEF0532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c3cdd80631a131eec05eb83578a90b834811bb","datavalue":{"value":{"entity-type":"item","numeric-id":435969,"id":"Q435969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$9EA080D4-1435-4FEF-9348-991337B11312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a930d8d0eea7b149890267ccb0479b7a5097a2","datavalue":{"value":{"entity-type":"item","numeric-id":1576008,"id":"Q1576008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$1CC95061-C1C7-46D4-BF55-4F5EC1B89EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ddb7600e4e071ada860e8770cfa5a0113bcd181","datavalue":{"value":{"entity-type":"item","numeric-id":5282116,"id":"Q5282116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$48B48C18-D226-4C9F-9157-D064B692D442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$5124A49E-A2FE-4EF4-8508-525D3E55F837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bf7e9058da6e96064ba96bd5d1c8ddb0b28c885","datavalue":{"value":{"entity-type":"item","numeric-id":1147775,"id":"Q1147775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$3B5D2533-23BE-4046-A64B-641280682588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43b75b21de13dd62714d1854203622d30a3df7d","datavalue":{"value":{"entity-type":"item","numeric-id":5803259,"id":"Q5803259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$38F1B4BF-9838-4078-AD00-BAF8212DF8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f83534acff7557ca7afadfadbacf1e5d1c1492","datavalue":{"value":{"entity-type":"item","numeric-id":2986910,"id":"Q2986910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$3B7EF5F8-4098-40EF-AB4E-85A15EFA9E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd2c11b2a2bcd992c004f592e948dc3927627ea","datavalue":{"value":{"entity-type":"item","numeric-id":5166691,"id":"Q5166691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$465D0AF0-0C16-4AB8-9511-78FF65D67B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c054fc1f950332403c28b78ce17eaf7686f690a","datavalue":{"value":{"entity-type":"item","numeric-id":4507112,"id":"Q4507112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$C1E1B282-92EC-475B-88EE-B9AA19D4D080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b17b8424fba5b6374a2c090ac13311642ae02f6","datavalue":{"value":{"entity-type":"item","numeric-id":2986757,"id":"Q2986757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681342$21C9C38C-1928-4064-91C9-ED4A3CB227BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab5e3503a3827e02d287e97009e0174552f3273e","datavalue":{"value":"10.1016/J.CL.2015.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681342$FF6442B6-2131-44C4-98A1-FCA84195D051","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551b772d5571323c466ea3df07a77cd74b736649","datavalue":{"value":{"entity-type":"item","numeric-id":5172637,"id":"Q5172637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba4ea57f337f05b2b73f27004d8c8c28b251bc1","datavalue":{"value":{"amount":"+0.9391927719116212","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":"Q681342$344B0B81-8E77-454C-B9D6-D69FE9A1C3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21c68619a1943c765230102b079d482383cd79be","datavalue":{"value":{"entity-type":"item","numeric-id":391117,"id":"Q391117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96202637a13bd40b912379c77bc5ae99f5d4b5f","datavalue":{"value":{"amount":"+0.7407152056694031","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":"Q681342$E912425D-9209-4540-935F-87DE6AB48211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062b4d0f1d85ac0932ba924065863be450c6830c","datavalue":{"value":{"entity-type":"item","numeric-id":2986757,"id":"Q2986757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7911be33608bf7890d2c719773324ec82acb6f8","datavalue":{"value":{"amount":"+0.7346574664115906","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":"Q681342$F5738984-36EB-409E-BBA2-7B2C510F0229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2005c18e26e95e7d084c958ad5ae06c5ac3c7795","datavalue":{"value":{"entity-type":"item","numeric-id":4561462,"id":"Q4561462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a252020fff61687488326c24f224c14f45c6dacb","datavalue":{"value":{"amount":"+0.7236941456794739","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":"Q681342$F5B5DC99-D790-4830-9BA4-61D7397C430C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17253a2e26ea37f981eb5399876e3b2747a5e4e0","datavalue":{"value":{"entity-type":"item","numeric-id":5275324,"id":"Q5275324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63a20295ff6bc7f4f96c293ac2ab016d8da152d","datavalue":{"value":{"amount":"+0.7222275137901306","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":"Q681342$243D3E08-26CF-4556-8F88-3DD86EE65366","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:681342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:681342"}}}}}