{"entities":{"Q2116657":{"pageid":2127400,"ns":120,"title":"Item:Q2116657","lastrevid":73448118,"modified":"2026-04-14T16:02:09Z","type":"item","id":"Q2116657","labels":{"en":{"language":"en","value":"Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7492906"}},"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":"Q2116657$1B4CE8B5-5A15-41CC-9563-78475FF0E5AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"712f27378e06af2e6d7544ba2b8496bd8e84a76e","datavalue":{"value":{"text":"Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2116657$0E746F7F-3AE6-474C-885E-F922A9FDE15D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a469be065da587846c82d1e5eda92c1c99299c6","datavalue":{"value":"1485.93338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2116657$748F0B6B-B4AD-47B1-A267-63C7DCA48CC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9cc9d8b702a3c0bb2325133c9264947bcb1be5b","datavalue":{"value":{"entity-type":"item","numeric-id":2116655,"id":"Q2116655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$E4F93B56-98ED-4322-8740-D565ECE679A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c27e4631b2c9b13c752eefec6794fe8a11e84f","datavalue":{"value":{"entity-type":"item","numeric-id":2116656,"id":"Q2116656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$83276376-1E83-47D9-A832-B515F075E721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07c5e313dd51ab1aed894a2b76df59a8e3b19f3","datavalue":{"value":{"entity-type":"item","numeric-id":988779,"id":"Q988779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$A5CDA449-894A-4B62-9B0F-A4C0B111F675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdbde22f209a451ce7b2a032d6fcff9e6eefbc6b","datavalue":{"value":{"entity-type":"item","numeric-id":533798,"id":"Q533798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$8D78F06E-7B73-4E51-A361-324CA3805E4F","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":"Q2116657$D56B6265-A464-4559-8EA3-BEAF4E530D4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3daa1be8d35620ab0439c973d40d1e05c2d54f9b","datavalue":{"value":{"time":"+2022-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2116657$F3DEDB67-8768-4714-8BC0-6DB6AE1A01F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4411bdc4b44bd8468dfad52d5fab3423c122eec","datavalue":{"value":"https://arxiv.org/abs/2006.04260","type":"string"},"datatype":"url"},"type":"statement","id":"Q2116657$9D218F96-C099-4E71-8154-338F00C512B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18457c8394a4b6201dcccd409d083d717a8c4e70","datavalue":{"value":"93C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2116657$CB189431-DE29-4BC7-803F-489E531D5A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2116657$283E6BC5-0915-42B0-B284-1F83B871EE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2116657$B5EACFF9-8B41-46EC-8624-6812995497A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"409b1ff00772ce0fe64b278a00bc4389738d2151","datavalue":{"value":"7492906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2116657$EB47CF54-DA89-44B7-8F74-06930C1E8EC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a18de3cc7ac7ab085ae2dabd3e1cfc0e5c6caba8","datavalue":{"value":"achievable controller performance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2116657$05C75A4E-B991-451B-B0E4-96EE3483B0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55cdc74bf8bad026cc2ea60d3b2b4c89699ddb9f","datavalue":{"value":"optimal controller synthesis for systems with uncertainties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2116657$38915938-0780-40AB-BA45-579C13126653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cc0921e528eb6e18c84e9b7097d68186cd07147","datavalue":{"value":"formal controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2116657$4DA260FF-A2FA-4F46-8AEA-636D9798C1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2116657$11F5ADE6-8740-49AB-9A10-6D29AD46993F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2116657$73670F66-E6BA-4195-AF7A-18FF66595301","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe3b952b514ee684410972a5effd2c1c47e84d31","datavalue":{"value":{"entity-type":"item","numeric-id":37397,"id":"Q37397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$B5C8BAAD-0AC1-4300-A03D-4B3851DBFB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$13564DEC-5BC8-4461-A7FB-10EFEA781FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2f61eeddf1828d82b7393c95d22003b9c58afa3","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$F331DDF6-7B8D-4B10-9A72-489ACEC730F7","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":"Q2116657$26D888E9-289E-4CAE-B39C-684706D5BF8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a286fcdac59484cbb0290c80fd6e48936ba2f888","datavalue":{"value":"W3033567324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2116657$44657E8F-827D-4709-8A3D-68B7E08936D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af755552f77a91e0b8dbebbef263c9d43f0978c1","datavalue":{"value":{"entity-type":"item","numeric-id":2986920,"id":"Q2986920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$D3AFA82F-9D10-43EC-B9CD-B02BE8805C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$579351C4-ACE8-4C64-A8B1-FC886AE11BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7311c2cc3ee6e63514aa6bee27428e1f9211cb","datavalue":{"value":{"entity-type":"item","numeric-id":2012356,"id":"Q2012356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$3B964BD8-D991-45B1-B649-AD23E470FD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408ddd20bf57c3863f4b16a72d48d54c185be0b3","datavalue":{"value":{"entity-type":"item","numeric-id":3309568,"id":"Q3309568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$F53A57CC-78B0-40A0-973F-EEF9316AC52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$48059B51-F485-409A-9031-B5013F810729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$3DBF8E32-15D0-4025-A74C-F7A21E3B02EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e33f415b292b1f9feeec7aefd60bf439d08b92","datavalue":{"value":{"entity-type":"item","numeric-id":2908499,"id":"Q2908499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$AB88FA8A-6629-479A-971F-955C604662E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$0D2320B7-1D73-4C3C-822D-670848EAD24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20088838b4f3ffa48f33c282f01143698cba154d","datavalue":{"value":{"entity-type":"item","numeric-id":4978661,"id":"Q4978661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$5FC18A0B-4A1D-447F-8420-67E4AE288006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c2d7ceb32c4c067a6e1ce53b9857a5f9be192f3","datavalue":{"value":{"entity-type":"item","numeric-id":5281859,"id":"Q5281859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$53458858-4D3A-4F29-B8AA-4DBCB85B15C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca02c48bbc5c6c9045bf62ee3dff815f6a3da63d","datavalue":{"value":{"entity-type":"item","numeric-id":4079017,"id":"Q4079017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$598EC90A-B32E-418C-B084-6B8757FA8E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c91fe8a80f6182bf82cf8c569e8bbd2b51d93d0","datavalue":{"value":{"entity-type":"item","numeric-id":5146360,"id":"Q5146360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$D673BEAA-1076-4AD6-AA06-19437E380F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74bf723af89a8168faa830fbea5b57ed346bb8e7","datavalue":{"value":{"entity-type":"item","numeric-id":4845469,"id":"Q4845469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$88D45777-9671-442E-8747-060A67D3F9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7b3409a5c576b7c1a3d70288c33d209b930d6b","datavalue":{"value":{"entity-type":"item","numeric-id":2280776,"id":"Q2280776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$128C481B-5A9D-4B8B-9FEF-C6BEBAF97224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8ad98750fcd08c9a8f3be99c0b013a08ae3ff9","datavalue":{"value":{"entity-type":"item","numeric-id":5353268,"id":"Q5353268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$0F90D134-A4F1-4D5A-AC27-F79225CF66C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$E2A4F632-E984-4898-A1B9-47ECF24C9FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3ce0f7cea267fed088d824a336dafe8e57f511","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$61A7E3E1-15C3-4B46-9FCE-C8E183F7C37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a43cd86c4e56de3188d95c3407dd857965f3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5282424,"id":"Q5282424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$CED3AB2B-48C4-442A-8FB9-F5B34DC3CC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3f42fcca75a7a8c6467aed91331be1686e2ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1990521,"id":"Q1990521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$72539FB1-ADE8-49CB-821A-0088405D154F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deaa9f7cc163d01368af5cdad8868e811294d93c","datavalue":{"value":{"entity-type":"item","numeric-id":4561447,"id":"Q4561447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$A969A247-1CFB-4483-9D51-5FE32A5A3ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"478379366d320c91c8927e43774dfa035cea874f","datavalue":{"value":{"entity-type":"item","numeric-id":2178184,"id":"Q2178184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$D908B12B-ED4C-4ED8-B39C-C19EFD19306E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$B2D3CE68-A2BA-4F4F-8209-70F313A2F158","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cbcdbe9871097f59e698f3c7db75c8f220e9ff3","datavalue":{"value":"10.1016/J.AUTOMATICA.2022.110184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2116657$F698E5EC-A893-4C4F-9E10-5FBEF19BA50A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d07f0fb0c3265995f65816bb21cddfe30d79ebd","datavalue":{"value":{"entity-type":"item","numeric-id":2123411,"id":"Q2123411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97684799fea200ffb95f7283aa364bec089db725","datavalue":{"value":{"amount":"+0.8297234773635864","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":"Q2116657$B09226A2-F852-4900-B8B2-13FED09D30C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b424b1afb6c618f3e364b42b5fc8c7830e52d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"309006bb904774e2b6678c30069922489044b123","datavalue":{"value":{"amount":"+0.7905694246292114","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":"Q2116657$2F14DA7B-D6A6-4F2D-B196-1D2BCBB252C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08efc1caa2377a150d0ad8101eb6cf5e821215e","datavalue":{"value":{"entity-type":"item","numeric-id":1631235,"id":"Q1631235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb604e8dd17b3a9a972730577a996c5cdae3d7f0","datavalue":{"value":{"amount":"+0.7791869640350342","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":"Q2116657$AF341598-5B00-4C4F-A35F-371422C1BD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100f990fbd0f4b1c2d21fa0d026beb39723c8444","datavalue":{"value":{"entity-type":"item","numeric-id":2665407,"id":"Q2665407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c4a7b9bf804d7964aee6fd31df585d2199a2d5","datavalue":{"value":{"amount":"+0.7725169062614441","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":"Q2116657$5591C351-A087-4465-AB2B-5B199FADE9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce6ee3fdae4900c85a0fceddf93c92607b5a4df","datavalue":{"value":{"entity-type":"item","numeric-id":4561447,"id":"Q4561447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ddae015b68f0f79e97208074c2585fd03123774","datavalue":{"value":{"amount":"+0.7571558952331543","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":"Q2116657$41F85966-08DB-4B17-B816-03C66966C04C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2116657$FE7D6244-B48F-428B-ABC0-2860FB05C0AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_synthesis_of_closed-form_sampled-data_controllers_for_nonlinear_continuous-time_systems_under_STL_specifications"}}}}}