{"entities":{"Q3523135":{"pageid":5553039,"ns":120,"title":"Item:Q3523135","lastrevid":80636366,"modified":"2026-05-06T16:39:23Z","type":"item","id":"Q3523135","labels":{"en":{"language":"en","value":"Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318906"}},"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":"Q3523135$D5736C46-73E6-4F85-A318-A5427338E4DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ce20ad1f1e2dd4c30f011a8561ea5f382eb3cf8","datavalue":{"value":{"text":"Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523135$8B2E2593-4BB5-46A9-B1C7-EF26EC171C94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"554401d2a053c4e20bd77a4d1ad40a4837ebfc80","datavalue":{"value":"1144.93321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523135$4D39FC25-5182-4F91-90EF-6C226BBB9C7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d96c4592b84c1e5da983b9b8d165e76d00f3539","datavalue":{"value":"10.1007/978-3-540-78929-1_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523135$618601DA-FD7C-4038-B0A4-E27894A7301A","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":"Q3523135$E6C0ABED-7B42-41A2-8F56-A35263CBB724","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":"Q3523135$913D8511-7BC2-4084-A27D-9B0F3D3BC3EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b27f91d5f92a7b342f46c3feaedd58c7e5b09ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523094,"id":"Q3523094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523135$0558392F-A127-44CE-ADF0-D4DF7DB30E78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523135$8AF746D1-F967-4D9F-AFEC-9DFBAC7C7303","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"135781118dc2933c1f9d2e0a6913db02c2f6d7fa","datavalue":{"value":"93C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523135$3BD331B4-A786-44FA-8B1A-53183222B8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523135$E188BD67-D19B-4178-A7E9-052A45317417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523135$421AB22A-050C-478A-8BE7-CA85AE04B7B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b0238f9f622a04418ae08990e18b8c64c26979e","datavalue":{"value":"5318906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523135$99490823-1DFA-4084-9C10-51E0A1FB15E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c8fd1f1ad8cb5341cbacf1eaac411aaef1e8b7d","datavalue":{"value":"piecewise affine systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3523135$B785F12E-067D-4CD9-AA8E-A9CE8F953D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3523135$FA11D7DA-0C7A-4128-B243-B4A22D6040BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"81eb3eaf3d767243a419862033175f8a5191a27b","datavalue":{"value":{"entity-type":"item","numeric-id":22906,"id":"Q22906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523135$4E4175F4-02B2-4A6F-BDD8-5A5AD12510CF","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":"Q3523135$FD306C98-24F8-452A-8478-7082FF6957CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2f2c494d6d5fcb139c7f1ea2c1924ed6b5edefa","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78929-1_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523135$3F299731-6638-49C0-9E20-25CF0D921A14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c651ad6e1387bed6d861902475d418783c4ef6da","datavalue":{"value":"W1568845987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523135$873EF16C-A6AF-45BF-A8AE-47CA759B6EF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635341fe2b70c65723ea937d500700ac72e18697","datavalue":{"value":{"entity-type":"item","numeric-id":5206952,"id":"Q5206952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cced1357ea918c584db8154eec6bbd82b9129c60","datavalue":{"value":{"amount":"+0.9191846","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":"Q3523135$2E7FF8E9-F8A0-4C7D-A1F1-F15AAD234ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b438ce7898730dbac2e6044ad27361ef1bf9b92b","datavalue":{"value":{"entity-type":"item","numeric-id":5352845,"id":"Q5352845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5249f598f4ab530c5a84693bfea1d241159ce49","datavalue":{"value":{"amount":"+0.89681315","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":"Q3523135$CDF744DE-B1AC-4B09-BFDC-3196A695AE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3525b396911526382ca172344274aba8bfce0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4571131,"id":"Q4571131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8fb5ef2be67f78f45aecc0a4f66eae998c48e7","datavalue":{"value":{"amount":"+0.8794553","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":"Q3523135$BA4B6665-CF56-4C45-BFAA-58DE88787E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49ca578dfccb4c08dd3820577fa1a5cd2342ed75","datavalue":{"value":{"entity-type":"item","numeric-id":6053240,"id":"Q6053240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923f0920fd75c37eb1f27dc48408000fbeba8f2a","datavalue":{"value":{"amount":"+0.8702904","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":"Q3523135$3C39D2E9-30F5-4EEF-9007-FD4A0888E10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf74bfc70089b0193f8945067a6efd15d74c2305","datavalue":{"value":{"entity-type":"item","numeric-id":2934895,"id":"Q2934895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b808d8e20db76c08fce556c09901583badffafb","datavalue":{"value":{"amount":"+0.8694637","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":"Q3523135$BB0B6E9B-E42E-4E12-B312-15747F619494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3655ddc9825124373c1409c2e1d9bf84caf378f7","datavalue":{"value":{"entity-type":"item","numeric-id":4256654,"id":"Q4256654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82950d824572a2b9b1935dd0b1fb7ad737d00fa5","datavalue":{"value":{"amount":"+0.8688797","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":"Q3523135$E25760E6-151A-4BA4-BB6A-61B65F466A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa825c76b95eecaa7b92a45286a26fc90c32dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3612972,"id":"Q3612972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe2cff2694821e195570b3f09b05b724ede832b","datavalue":{"value":{"amount":"+0.8647088","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":"Q3523135$61976CFB-9A31-404D-9971-33837CC324A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de66d1720d475dde031e95e925994e54d2d6f11c","datavalue":{"value":{"entity-type":"item","numeric-id":2252961,"id":"Q2252961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c483ef360b3eb89d3a00dea1908ce6f5592a2ec","datavalue":{"value":{"amount":"+0.86221164","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":"Q3523135$1D8EE640-DCC6-4DDA-8AD3-7A4D71577E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91afdef5f86e28345974e672e2dec8bebda1f3c","datavalue":{"value":{"entity-type":"item","numeric-id":2986938,"id":"Q2986938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584e485c3424743a9c8d91e8dbbea7bbb6742481","datavalue":{"value":{"amount":"+0.86047506","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":"Q3523135$BD129BB4-AA93-44A8-B3E1-7DCEB5AC3AC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications","badges":[]}}}}}