{"entities":{"Q2986756":{"pageid":2997480,"ns":120,"title":"Item:Q2986756","lastrevid":52804427,"modified":"2026-01-23T13:18:12Z","type":"item","id":"Q2986756","labels":{"en":{"language":"en","value":"Language-guided controller synthesis for discrete-time linear systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718029"}},"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":"Q2986756$15F5AF18-C6F2-477D-8863-52FA8176CA12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3468a72d819d994b5f4d3e027792a2298f0922f9","datavalue":{"value":{"text":"Language-guided controller synthesis for discrete-time linear systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986756$AF671FAA-2E19-4DDB-91DC-BC0508B2CB13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e5c555d9cdc38b03b4f0bfabb21eceea3c8430c","datavalue":{"value":"1361.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986756$DDB688D7-3469-4F74-AC81-8F5F9AE64C65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4581dc7912092dfa671782f5145aac873e9f8a1f","datavalue":{"value":"10.1145/2185632.2185649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986756$CC2799EF-7419-4830-9E78-A2D75D2CFD13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"931831a3ed1a298c970ccdda8fbf5e7cb412d3f0","datavalue":{"value":{"entity-type":"item","numeric-id":889005,"id":"Q889005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986756$0C764AE6-473B-43EF-829B-A7A826E7FC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6730c6653375d94ba45e7f8017d6c9bb5315cae5","datavalue":{"value":{"entity-type":"item","numeric-id":361054,"id":"Q361054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986756$80BB7B54-D28B-4315-B53E-722B85B1C90C","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":"Q2986756$39CF7589-14C3-4480-B1B8-7C40137B0C8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ac4eb98cd212461f5ff58ad0e77202dc879157f","datavalue":{"value":{"entity-type":"item","numeric-id":2986746,"id":"Q2986746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986756$E7C01198-D3FF-4086-8091-82C838779677","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986756$FF3392B7-D0BF-481F-882F-8FD8328D6645","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986756$36399A24-2D2F-4F7A-A677-F5BFD9138C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986756$64DF1726-A2F7-443E-85D5-0BE246238ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986756$92E040D4-50C6-44D7-8853-EC84006CF5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986756$0B8D08DF-5300-4387-9673-7DB2091EBF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986756$B33F10F9-617C-4FDC-BFD8-3A35117C35C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4c39d960485a30c03d0629c92318a40487035c0","datavalue":{"value":"93D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986756$F5B6B993-40DA-47A3-A6E4-288E353934A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c5d8a1bf9b7d32dd6787144be7136a720c58f33","datavalue":{"value":"6718029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986756$3D2C21DD-2925-4214-A44E-8275C0F7904A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986756$20C76DCF-FC8D-4451-90F0-0F9AF905161B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc25adadd7834a1dbe8ebe1633024ef991c2242","datavalue":{"value":"constrained control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986756$EE3613CC-1A8C-42EB-B8C3-3CF9B0C54F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986756$3DCB8208-CAF0-40FC-A193-F4DA1BF478EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1ca9ddc95ec4e71b296082ce22b9bf8e14da2f","datavalue":{"value":"polyhedral Lyapunov functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986756$57B4530C-81B1-4322-93FA-55AA31963EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1162503bb1fbb94349e8c6751b21c360689f29e","datavalue":{"value":"polytope-to-polytope control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986756$6068024F-4179-45A3-9F38-F21CEBF2853B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986756$E64C06A7-2AE1-4F19-ACF4-9258BD52BD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d85edb3ce99122a91874624562aa066c820faae3","datavalue":{"value":{"entity-type":"item","numeric-id":22907,"id":"Q22907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986756$ED8EDEE5-989C-479E-B4B3-4DF8E798CDB5","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":"Q2986756$1C628AB6-284C-48F1-B466-54C22D116320","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6c0031d7b1653bf555429d565123ea82a67e194","datavalue":{"value":"https://doi.org/10.1145/2185632.2185649","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986756$2274A0B6-A39C-4A26-A7D5-5B6958A4D188","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6132a114d94369cbf203f774f2427e9ae3abfdf2","datavalue":{"value":"W2110915954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986756$28A51AA1-839C-4C70-99E5-C830BB2DCDBB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2bffee5d74f5046473a40f57756170b2481eaefc","datavalue":{"value":"Q58233208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986756$BC4970E0-2B90-45C8-92BA-462BF75F4B11","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"7340b0be35e1fbbca2f9d28118d775e32c030360","datavalue":{"value":"conf/hybrid/GolLB12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986756$3DBD53C0-DC68-438C-8645-80DB67509032","rank":"normal"}],"P1643":[{"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":"2228c94aee739ce79c7e231180b6addc35fa3c3d","datavalue":{"value":{"amount":"+0.8651214241981506","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":"Q2986756$6E23CCD5-0245-47F0-9E82-8A4492AA428C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f754f3330ba03c8f731b8d73c1ec0e4e816233c","datavalue":{"value":{"entity-type":"item","numeric-id":5898988,"id":"Q5898988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f0aee19ffc4a6747d576500a847e8686e4576c0","datavalue":{"value":{"amount":"+0.8310076594352722","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":"Q2986756$38A5F19B-3622-4B4D-AD20-C641C47B1E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ca38605e2403b0f741c8814ca4f78de65a1698","datavalue":{"value":{"entity-type":"item","numeric-id":3523118,"id":"Q3523118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37fc42652b090eaf111298399305344499169579","datavalue":{"value":{"amount":"+0.8088695406913757","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":"Q2986756$11A814FF-6A44-46D9-8271-7A1BEA4A2F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d707412c020563091d3c4cf69f7ed09d9e70e0b9","datavalue":{"value":{"entity-type":"item","numeric-id":2986939,"id":"Q2986939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d916c0a55f29aeefc785fa302965503e44ae724","datavalue":{"value":{"amount":"+0.8068217635154724","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":"Q2986756$8F2CFFD8-2BCE-4742-ADBE-5B1983F0DF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c1c81809ee9cfccafc4a087d552d45e1db5412","datavalue":{"value":{"entity-type":"item","numeric-id":889006,"id":"Q889006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aabaa181853860041f43e5ed323958304a3a0bb","datavalue":{"value":{"amount":"+0.8037093877792358","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":"Q2986756$72C6CB2B-B8BC-48F2-8479-EA474FA57BF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986756"}}}}}