{"entities":{"Q5222962":{"pageid":7252532,"ns":120,"title":"Item:Q5222962","lastrevid":58491357,"modified":"2026-04-05T11:05:23Z","type":"item","id":"Q5222962","labels":{"en":{"language":"en","value":"Experiments in verification of linear model predictive control: automatic generation and formal verification of an interior point method algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076874"}},"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":"Q5222962$03B534B7-5F2E-41E1-9BC0-34936446371C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0afa4e9c25898bbfe58584a5631f431dedfdbb09","datavalue":{"value":{"text":"Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222962$4662C063-6F41-4CFB-A262-6E73594C251A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c03d604924524fb43f5994e05babc011e7975bd2","datavalue":{"value":"1415.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222962$301B5543-5F50-450B-B486-B61C5EFF9195","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11601c0b8eb2f68daae17d1b47455ab4d4918705","datavalue":{"value":{"entity-type":"item","numeric-id":5222961,"id":"Q5222961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222962$DAE9D835-06A5-42AC-82E7-71E10A4E8818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d7d9335554c9a7856800d3e449acd3b42cd7a15","datavalue":{"value":{"entity-type":"item","numeric-id":1128971,"id":"Q1128971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222962$F10D13D5-80E9-446B-91ED-3D2CC0C447D4","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":"Q5222962$CF9E6276-4F81-4B66-8BE1-6DEA721E339B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cff0a2417d7693db5ef847bb34c831d5e919a27f","datavalue":{"value":{"entity-type":"item","numeric-id":248042,"id":"Q248042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222962$239FF026-3297-4FC1-8A16-5D5E84CC8FC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222962$576148EB-1C45-4640-83DB-180C1BC69445","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222962$F0E38270-F40A-4A4A-BB6C-A9142A2004CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffbbde3a84c60d430805e775ba69eb76c36adad1","datavalue":{"value":"https://arxiv.org/abs/1801.03833","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222962$058235BB-78E8-4BD3-B958-C3ADD79DB69A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222962$C4299D0F-D5E5-4548-B04F-341ED1087405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ac3edbc9a781214f87fc7c9c04c2c17e13b7ca7","datavalue":{"value":"90C51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222962$880CEF88-8FC3-4B9A-BA19-906F477502A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91c5c818950d550928bcc13c3fbcd6a1dbd604a7","datavalue":{"value":"7076874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222962$A0FE1699-DF70-4683-93A3-BAE22E60C83F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fa9082850ef5aaf62ad9291428eef26530da341","datavalue":{"value":"convex optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222962$AA1FAF05-09E4-4862-A7CE-8964B2657691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22cdef1ea933bc70a54e0c4d7527bfb3ea401ee","datavalue":{"value":"interior-point method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222962$9EDA4EEF-810C-48B5-BD31-275D53B40831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a676eed2045b791f06a3babf3451a28a80e8b312","datavalue":{"value":"model predictive control","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222962$E96B5447-60F0-4838-8BAD-555786C8A869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ebfccffe3571fb1759be3534fcf9224d36aeede","datavalue":{"value":"numerical software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222962$53DDC8F2-A62F-4CF4-B8E4-CFFB793EEA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222962$D174357B-5116-4698-9F9C-81647B3B371C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8daf9b2a0058692665d0c45ec7b53d7ff6b82e","datavalue":{"value":"satisfiability modulo theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222962$E1D19D3C-D42B-4DC1-87E0-E694229816BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dee6d695234cdfbc4a272f03f51845f9fcd03368","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222962$F92F7A25-1075-4DF3-9ACD-2328FBD6B8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d26a90bb3a05d74af035a6a134633d4dcdd5d189","datavalue":{"value":{"entity-type":"item","numeric-id":16765,"id":"Q16765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222962$F60D35DF-CAAD-4751-BEC1-1125B48B5B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222962$F087399F-4D27-4A3D-B035-E8526AC4ED86","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":"Q5222962$C52AC0D6-B665-4948-9DD6-385A5AE516BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4cb82786888923dbb874c8d86a03b3f91bd29d9","datavalue":{"value":"W2892600584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222962$050C8BBD-E933-457D-971B-213BC2A43705","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38a695135462ebf5e60b459bae9fdd5b81b5fd02","datavalue":{"value":"10.29007/QT5J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222962$EF9DFCE2-287C-4340-A881-156F4073B23E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075fe44ad05286c1cca7dd9a7e4555195dc5c9a0","datavalue":{"value":{"entity-type":"item","numeric-id":2358081,"id":"Q2358081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af16410d30a07f96872a98f76184918e7b648119","datavalue":{"value":{"amount":"+0.7465062141418457","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":"Q5222962$273D5B62-2658-4671-8406-CE0EC033F2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bdd10ad0bd5e52d4beec05dd420af17819b27da","datavalue":{"value":{"entity-type":"item","numeric-id":3550599,"id":"Q3550599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3feae00f3ddd4c32711230c603c993dd555f9de9","datavalue":{"value":{"amount":"+0.7097604274749756","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":"Q5222962$A9950BEB-1540-427A-956E-DA50012E62A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25dd98a44ce1b644e6dae27739b6833cbc180f10","datavalue":{"value":{"entity-type":"item","numeric-id":5198735,"id":"Q5198735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48368cd5d54aeebb383b8751a1b49a3e8d209f2d","datavalue":{"value":{"amount":"+0.7023056149482727","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":"Q5222962$BA97E744-CDCF-4997-84C8-2A6AEBA9B96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d9297bff4275ee9a310cdc44db66bca2988faf3","datavalue":{"value":{"entity-type":"item","numeric-id":399985,"id":"Q399985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f00e149001d3aadf10884dda39bb7f72aa574f","datavalue":{"value":{"amount":"+0.6946097612380981","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":"Q5222962$50C49A12-9270-454D-AB49-00F49F04716C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ab0acac8de02555270a9b6c7c9a5673cb59af8","datavalue":{"value":{"entity-type":"item","numeric-id":1969532,"id":"Q1969532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1dc95734d07d35ff31561b140b507e8f8f82614","datavalue":{"value":{"amount":"+0.691303551197052","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":"Q5222962$AF2B8A3D-2711-4AD5-A485-1D1E822B8741","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222962"}}}}}