{"entities":{"Q2983163":{"pageid":2993888,"ns":120,"title":"Item:Q2983163","lastrevid":79657679,"modified":"2026-05-06T14:25:23Z","type":"item","id":"Q2983163","labels":{"en":{"language":"en","value":"Language-Guided Controller Synthesis for Linear Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6717116"}},"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":"Q2983163$498CA523-6490-4FA5-932C-E14EAD84E08D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5358d3f3d8c302841e9f57beaa2d2e733e8a5f6c","datavalue":{"value":{"text":"Language-Guided Controller Synthesis for Linear Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2983163$FEF82693-6230-4BA4-92F6-36A880680B22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d022f6b57d3b7f7a63fea4a3e1fcef06047cddc","datavalue":{"value":"1360.93424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983163$21D7E84B-390A-4DC5-9E8C-41F4CA44877C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a8fd30efa89f35a150d1eacbdb8e40ba93257f9","datavalue":{"value":"10.1109/TAC.2013.2295664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983163$00AA773B-D15A-49AE-B7EE-648911CA6B47","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":"Q2983163$AAB4AAD6-91E7-473F-A2FD-028B6D7C749C","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":"Q2983163$AB61E33E-7933-4BF2-8089-0EA30748A9F0","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":"Q2983163$7AAA09D9-E260-4C25-BB81-311878602B43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983163$0AA4DD8B-2E66-4314-AE5C-7E7DC3D753FA","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":"Q2983163$B21AC9B3-79EF-4881-B740-DA0C3901DDB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983163$60B035AD-5BE8-4A8F-AB11-53A6CD0A558D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983163$AB862BF6-C819-40B0-B27A-1DD5CEB36274","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93e975eb01cff453dbd3af48e32f4793533fbd2c","datavalue":{"value":"6717116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983163$03E8A8B4-65F8-4F0D-81AF-87C9D84ABAF8","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":"Q2983163$19FEC4D9-2BA5-4EAD-9306-F1FBA5E35F13","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bd65a14d6aa77df4c47619e27c407642364b98e2","datavalue":{"value":"Q58233173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983163$E04E5E62-9832-4869-A8BF-709A4C55EB7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Language-Guided Controller Synthesis for Linear Systems","badges":[]}}}}}