{"entities":{"Q1939637":{"pageid":1950379,"ns":120,"title":"Item:Q1939637","lastrevid":43434967,"modified":"2025-07-25T19:48:20Z","type":"item","id":"Q1939637","labels":{"en":{"language":"en","value":"Formal analysis of piecewise affine systems through formula-guided refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6141178"}},"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":"Q1939637$8656297A-AB96-4A89-B88C-2A2881BF670A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21897292e97a659cc016015b6dc8e479375a6ab7","datavalue":{"value":{"text":"Formal analysis of piecewise affine systems through formula-guided refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1939637$84822506-BC14-4AEF-BC5C-66450810CFCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a91c0dbeb656ae097cdd2b5e63c1d64aa62b0eff","datavalue":{"value":"1257.93030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939637$2D2EFAF4-720C-4276-8A3A-EA2A9DCD06BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebfa13f628d7f1d845dc7a2ea3f944ae6ea71672","datavalue":{"value":{"entity-type":"item","numeric-id":1796494,"id":"Q1796494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1939637$2D238A69-095D-4A80-ACFF-620A7D9ACAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"212fb0c4514e893fa07e5fc554f3883bf3b7eb76","datavalue":{"value":{"entity-type":"item","numeric-id":290877,"id":"Q290877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1939637$D9801017-4EC4-439D-A9C9-831C46186B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1939637$68CC7480-E298-4A7D-B99F-BF6081ECC477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b119b02feec4741f0c136f459ab9afd7603e153c","datavalue":{"value":{"entity-type":"item","numeric-id":282090,"id":"Q282090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1939637$98BF1A36-53D7-4B58-9BF3-A5182D843E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72a9bc0dd2218172a714bfff2e47becf5e5a96ec","datavalue":{"value":{"entity-type":"item","numeric-id":184778,"id":"Q184778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1939637$0542E4A4-AD8D-40D7-8F4D-481F47982C23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1939637$43B69DBD-3C0A-429A-A1C5-1085E94955D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32836873df0c40f57cb1a44db33702027712a230","datavalue":{"value":{"time":"+2013-03-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":"Q1939637$155CFC12-6E7D-431C-A283-DB12B2A02848","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47b8551cfcd2e27e18ae083a8521741e193efcd","datavalue":{"value":"93B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939637$F5665240-CEF1-45C5-8BDF-EA2C51F64A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939637$5F44CB0D-6CC7-44B5-A186-5CA415FE722C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cc6a2d1a81aec0cb5abdfe44055f934ac25329b","datavalue":{"value":"92C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939637$609EF281-32CF-4D90-9E77-0F2C0755F6DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3244b7c83bb4578192ebcd7c6ac2276f94ecd7c","datavalue":{"value":"6141178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939637$ACF0C53A-F721-4890-8B5C-6462A6A26BD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acab0ab602b6687011b4a9714adf92e599157730","datavalue":{"value":"piecewise linear analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939637$73BBAD59-2A8C-4562-88B4-6E16FA5D89E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939637$2C483538-46DB-439B-850A-6DB2E4852189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939637$75C32CA8-832E-4430-B441-DBE64A97E6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"169e03f599bda5bd05cc5284670bd5715f412231","datavalue":{"value":"biotechnology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1939637$6B652421-C0A0-477E-8276-BC3231E41FEF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1939637$D3DE5809-B46C-4D75-AEFF-D153AFF52E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"350f43bff0b7e748f3eb0c56ce715ce1197dc884","datavalue":{"value":{"entity-type":"item","numeric-id":22909,"id":"Q22909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1939637$FFFB4721-12F2-41B8-928E-C4E8B15593C3","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":"Q1939637$DA4ED1F2-9E77-4FFD-8B5C-29AE276457FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60c070290df3ae4994a434c3a2fc042484f9cd14","datavalue":{"value":"10.1016/J.AUTOMATICA.2012.09.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1939637$94F7D7E3-3767-4F60-BB32-2FA3D704420F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0aa675117d1a96eaed61e3ecb939f8c45effef","datavalue":{"value":{"entity-type":"item","numeric-id":5347552,"id":"Q5347552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d8020f3ec05985a30290963dff5a9f36df7d67","datavalue":{"value":{"amount":"+0.94452405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1939637$3853DB41-55F4-437D-A90F-E5AD71F17423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b54e4b57176522274ed1554a1dd5375c5c3bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":2518996,"id":"Q2518996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee4371ffc114732eac5f57fda9a07e58e68321ac","datavalue":{"value":{"amount":"+0.8865573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1939637$3D201734-7C5E-4904-B825-8F20C6343031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94bb6d11c8b07d377ccce7d4868bf7e6bbcb0d04","datavalue":{"value":{"entity-type":"item","numeric-id":2636516,"id":"Q2636516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3bd5baccfd8fe5b55df0921e46965cef42000c","datavalue":{"value":{"amount":"+0.8623636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1939637$0DD9FB53-DEF8-4334-B221-66A497CFF134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e666a079d33de73ca60a627c302c5258c7a98d0","datavalue":{"value":{"entity-type":"item","numeric-id":5273772,"id":"Q5273772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76e010b1075a3e615612f6c07acc95ff9acfbe0","datavalue":{"value":{"amount":"+0.8579478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1939637$8B5BE4C8-040B-402A-A4EE-33BA4E5B487C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567983f4994e77c8aae39e4f303fd8d32b6c905c","datavalue":{"value":{"entity-type":"item","numeric-id":5898989,"id":"Q5898989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0a46a518e677cb30999140e142ec86139746a0","datavalue":{"value":{"amount":"+0.85761166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1939637$F81BBEF3-91BF-4CF2-89E2-34F7FB05C8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c2d64e33520f2fec728dcfd702b9c84d8fc17e","datavalue":{"value":{"entity-type":"item","numeric-id":2103705,"id":"Q2103705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f42794f6fbbd4f06e16f0b66189100130aad9d","datavalue":{"value":{"amount":"+0.8563911","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1939637$C26C2CD8-0B5B-4DFD-B870-6F66338F312D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d3663d7b9a077a3a384ff1a18d64ed1342dd97","datavalue":{"value":{"entity-type":"item","numeric-id":3447692,"id":"Q3447692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcdb6a6a9d8b8c3f862fa12538471c44c9e5e178","datavalue":{"value":{"amount":"+0.85395956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1939637$38ED177E-A973-4353-9FF7-E8DD34C5ACD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a9e34e361a434e6c4298cf4a16cc019a729bcc","datavalue":{"value":{"entity-type":"item","numeric-id":1040418,"id":"Q1040418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1706005540dbb7f245c810fe7428d1827ecb10","datavalue":{"value":{"amount":"+0.8529959","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1939637$7ACF3B76-03F3-4781-9305-74BE47F872E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd9f30fb235dd442cc2a02a3d61e499e38410649","datavalue":{"value":{"entity-type":"item","numeric-id":5347811,"id":"Q5347811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427a08798f64ed3ae7062add8db86e13e1d42c86","datavalue":{"value":{"amount":"+0.8501824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1939637$FAAD228A-201B-4738-97EE-295CD6179423","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1939637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1939637"}}}}}