{"entities":{"Q2988970":{"pageid":2999694,"ns":120,"title":"Item:Q2988970","lastrevid":85813127,"modified":"2026-06-03T11:37:32Z","type":"item","id":"Q2988970","labels":{"en":{"language":"en","value":"Formal Analysis of Robustness at Model and Code Level"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721661"}},"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":"Q2988970$0DCCEC1C-9C0B-4F19-B9DA-135402A78C16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"224d0df29a56918e014338da1583516447ee21a1","datavalue":{"value":{"text":"Formal Analysis of Robustness at Model and Code Level","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988970$7B4C4060-956A-43CB-BBAC-B048EE53A6FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9df18e7e32547de84632b0845d1a60797b7e2836","datavalue":{"value":"1364.93249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988970$D9009B21-DE9C-4BDC-BC30-D0E01D3BCA10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c555db3cde9559dc85baa4166fc0e543bbf9d002","datavalue":{"value":"10.1145/2883817.2883824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988970$B525C9E3-C1CA-4FA3-9E0C-78883BDA884E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"614dd981950be8545b32ba57aaf81af0bf231246","datavalue":{"value":{"entity-type":"item","numeric-id":2358079,"id":"Q2358079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988970$2BA8F3A3-329E-4DD0-9186-CCF5903A1D16","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":"Q2988970$6D090E9F-C059-48BC-A587-36BD419A98D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5979152cca5de810ef5e74808ba838cbede6b12","datavalue":{"value":{"entity-type":"item","numeric-id":888468,"id":"Q888468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988970$70C1BF2C-8F36-46B5-A511-7262335A1303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a89298df4fb395c8a2896b55cb50484348a5481","datavalue":{"value":{"entity-type":"item","numeric-id":2358080,"id":"Q2358080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988970$203C101B-C8E9-4BD0-9EA6-8DE5FAD80FF3","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":"Q2988970$0D64B91D-E42E-4BAE-84E7-0BAC563D254A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"84a0ad62c508a284f139cafb8f4d1fe4b4e06dae","datavalue":{"value":{"entity-type":"item","numeric-id":2988953,"id":"Q2988953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988970$314B71D4-CC66-426A-8E74-77473D510D36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-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":"Q2988970$9EEE4324-63BE-4BBF-BBA7-E2E50EEC40C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988970$5B85A63E-D37D-404E-8438-A120CA3B6896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988970$05493FD8-FC2B-46D2-A950-20603AD1C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30c44de7be251b06c724a821bfd07428e2a12118","datavalue":{"value":"93B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988970$7462B7D6-60E6-4333-9800-EA9CA3540724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988970$7D937E66-F715-4EA9-8BFD-11D1989D6ECD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59cbe271dd0e589aadb7e4035cc57539f239caf1","datavalue":{"value":"6721661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988970$C00DCC8E-82F6-4215-9ACC-E3ACFF79970C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31c16cc9b6a8f70841652132c26d8fd4413055cc","datavalue":{"value":"control software","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988970$264789A5-E84E-4E3D-9E8E-2CC29E71ED69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988970$70FED6CF-F71E-4A9D-B4AF-6322CE784BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04b3e15a933412d01338b6ccc61bb741dc5d7a50","datavalue":{"value":"robustness margins","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988970$9CFE84AF-F90B-4486-805F-6E54D4D6FCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0145dbb175f229104a70deaeffc1099143a20d","datavalue":{"value":"semidefinite programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988970$CA79805E-5BD6-49BB-8287-DD463BC9F759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988970$94CD6911-FB27-438E-A092-D04D6DD1B207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c2d9467b05c7b3a16a29ffcc0a617aceccfedef","datavalue":{"value":"single-input single-output (SISO) linear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988970$2E12E96A-E05A-45BF-9B3D-0F60633B1BAE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988970$CAA4482A-711A-4CAC-B404-4C9EC3B10EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02d32efa4caa2abb72a4e6348351cc4a9bcbccbb","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988970$BE949D47-C414-47A5-AE6B-E7E5C07461F8","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":"Q2988970$30529F2C-5F57-4339-9500-12F402BA0FFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0539ae57f34acb434037fff063bc2f1856e85a9e","datavalue":{"value":"https://doi.org/10.1145/2883817.2883824","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988970$50CF0284-85B0-4B51-86AD-10B0770563F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94ed91fde176039df9f116929fe705d5bf7cfef3","datavalue":{"value":"W2337445953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988970$4DCCF743-7C8F-475D-91C4-F0658A4599A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6577e5f3ee02f8c9a03227cb33820412bb3615","datavalue":{"value":{"entity-type":"item","numeric-id":453480,"id":"Q453480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47649b7fa5438eaced5fb825a66d024c1f189cc0","datavalue":{"value":{"amount":"+0.88833356","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":"Q2988970$DFD44AB7-9156-40EE-BD3B-88CD53BEAE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3453dcd3f5c94aba4659ee803c984c4ff77882e6","datavalue":{"value":{"entity-type":"item","numeric-id":2817299,"id":"Q2817299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef8e9f45c86828679700c417a42d80ad2be5557","datavalue":{"value":{"amount":"+0.86326015","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":"Q2988970$4BC09DC4-C5C3-405B-90C0-6E70CEBA9818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70bc4462f9f5b986a54f6858a1b6740ca88887a4","datavalue":{"value":{"entity-type":"item","numeric-id":729374,"id":"Q729374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a8a638239a35b50358b55fd9ea117fdba8b689","datavalue":{"value":{"amount":"+0.86273843","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":"Q2988970$D160080F-2A8F-4FFF-86F3-46A52DC2ABB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06223ce6c30de96db9bfdb1003f697a31f52e6ea","datavalue":{"value":{"entity-type":"item","numeric-id":4444738,"id":"Q4444738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79838a73a125e7de7605aa78276d20ea69bac4fb","datavalue":{"value":{"amount":"+0.85541266","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":"Q2988970$D64F69E4-AC27-464A-B954-AB3AB8656F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6548b02881863d94a9c89cfb407b59322823e2","datavalue":{"value":{"entity-type":"item","numeric-id":4551641,"id":"Q4551641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b7c687d628bad79d2688c02330db1eb6dfdc9b","datavalue":{"value":{"amount":"+0.8516563","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":"Q2988970$571A744E-9EA2-438C-A612-85D724420182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1bca09ec366e8289cf8d5cbe3e326096d8f99bf","datavalue":{"value":{"entity-type":"item","numeric-id":2783115,"id":"Q2783115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f60081cd4006f54c2967ca9b3a16548e33b5ddc","datavalue":{"value":{"amount":"+0.8509193","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":"Q2988970$18A0DF86-7224-4EFB-A7AD-BD5DB0BD2A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18bbba9e9db4c56c7b50435f4eb53f0876798a2","datavalue":{"value":{"entity-type":"item","numeric-id":4806203,"id":"Q4806203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc1f2167fe0decb179002e63996b17fa4092708d","datavalue":{"value":{"amount":"+0.8501227","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":"Q2988970$FA006228-6CAD-4356-9067-49C59D9BF625","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Analysis of Robustness at Model and Code Level","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Analysis_of_Robustness_at_Model_and_Code_Level"}}}}}