{"entities":{"Q6053240":{"pageid":13187396,"ns":120,"title":"Item:Q6053240","lastrevid":58653042,"modified":"2026-04-06T04:50:21Z","type":"item","id":"Q6053240","labels":{"en":{"language":"en","value":"A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7742228"}},"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":"Q6053240$379A1C06-9F4A-4685-8B26-B604EA17935B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f64097a6c8f77c63eea11574d57afc8b86ccbcb","datavalue":{"value":{"text":"A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6053240$15981A1F-9177-4DC1-85CD-9A92774F5D20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c391da7ab7f9bb8488569ad571ac6e7b7b668658","datavalue":{"value":{"entity-type":"item","numeric-id":1679670,"id":"Q1679670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053240$6E11712F-F91D-41E0-9C87-4371DC8FBFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ae4e23801f19aacdefb55c3a258c8b07338c056","datavalue":{"value":{"entity-type":"item","numeric-id":6053239,"id":"Q6053239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053240$3826F095-3E3C-4BD8-8F3D-26FA9E99F205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cf8233021b2c25675741f57523e378ff38c575a","datavalue":{"value":{"entity-type":"item","numeric-id":286068,"id":"Q286068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053240$B829421F-046A-41D9-B9A7-1B880C675593","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":"Q6053240$03F94901-A03A-4D30-A4BB-0F315E74B7BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d95608101c82af7e26ddad80938d3df3b590c29b","datavalue":{"value":{"time":"+2023-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6053240$5866791E-21C3-4A5F-B004-B88FCE793B71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c80c71a78923500aa0213ff81bf925da7e31579","datavalue":{"value":"https://arxiv.org/abs/2104.01385","type":"string"},"datatype":"url"},"type":"statement","id":"Q6053240$365A6636-8342-46E1-B3D2-FC5305BD3805","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053240$A20AB22D-B353-479F-83E5-5D77D70CF5A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c8e9345858b807bca0034ccf9739421eafb443c","datavalue":{"value":"7742228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053240$ADEEBBDF-99BF-421B-99DF-FB38A0D5D4DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053240$136CED51-7C69-42E5-87DD-06720E74A267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f9664a92e1dda2e675ee3135774b494cc63b1f","datavalue":{"value":"interval analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053240$CFCF1DE8-D007-4ADB-88CA-23434B8912EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78d3c6259b58913a193d027f5d54d095c8f9d3ee","datavalue":{"value":"linear temporal logic (LTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053240$680C8466-9F2D-4687-9223-304A2651D47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1099d3774835e99f71b0be7ad3c7400fded8078a","datavalue":{"value":"nonlinear control","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053240$E897B784-97CB-41D4-A420-09BC78DE9113","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":"Q6053240$5CA14926-4E64-4587-A0E7-F5B5514D2F23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"459af61f561b75e57adcda9e044210f078fec343","datavalue":{"value":"W3151231919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053240$38DBBB18-3C52-4ECC-B410-F93A77A02C49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f89fb116b177068d40c923106bc6adf34f998e6","datavalue":{"value":"10.1109/TAC.2022.3168489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053240$2EEB66D7-27C9-4074-B3D8-CC9405253987","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6053240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6053240"}}}}}