{"entities":{"Q6077104":{"pageid":13211412,"ns":120,"title":"Item:Q6077104","lastrevid":58666899,"modified":"2026-04-06T06:10:52Z","type":"item","id":"Q6077104","labels":{"en":{"language":"en","value":"Reactive and Risk-Aware Control for Signal Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7741708"}},"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":"Q6077104$EBCE3859-7C54-4949-89C1-A7064CC65DA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af2188f8f4e8142d3acd1d40646efe8a9796700e","datavalue":{"value":{"text":"Reactive and Risk-Aware Control for Signal Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6077104$E6BD2211-4F6C-4B5E-AA8A-A7E9B2BDBEE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f31c5716068e1f3da5371bacc75650f190e0b352","datavalue":{"value":{"entity-type":"item","numeric-id":1737744,"id":"Q1737744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077104$08C25A17-9028-4BF5-8A1F-B2551827713E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab46375faf5dfaf24470278e369ba293e0a7afc2","datavalue":{"value":{"entity-type":"item","numeric-id":207162,"id":"Q207162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077104$841BBA05-3814-445B-B7CE-1071802ECD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe955b6b42974a970b73af02150e7e2737b8ec1","datavalue":{"value":{"entity-type":"item","numeric-id":290856,"id":"Q290856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077104$2479CAFD-98E2-48AE-AD5C-272F68A2633F","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":"Q6077104$5C2C57E1-33DF-4634-ADB9-B8C651C2891F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"802247e7cd8aa6e767376a099ca7544dd63eec7f","datavalue":{"value":{"time":"+2023-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6077104$DBA58B55-18D3-456C-AEAF-663992DB7CC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b98ac11d9e961491ef400c24d8bcdc5d0582e31","datavalue":{"value":"https://arxiv.org/abs/2108.13490","type":"string"},"datatype":"url"},"type":"statement","id":"Q6077104$B0AC01C7-D21B-42DA-A97C-0A95073F1529","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077104$51FCC1F1-D097-4520-8232-467C31D3F4A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fefefa6457af16850c9eff4b6cbfcec63905325","datavalue":{"value":"7741708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077104$E5C20070-9965-4200-ADEB-F447EC96D2E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077104$6830F3D9-DF3A-4C64-90E3-5F9D5CD9D6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ad04e63893fd4c19dcf00c65c9b9664a6b87b1b","datavalue":{"value":"reactive control","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077104$781C03E9-A6A5-4E5D-90EE-ED71347F91EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0026dc45421650c260376294e3c3bd947ff7cbc","datavalue":{"value":"risk-aware control","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077104$314C5E8C-E456-4DBD-B1B8-5232B41D36C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c11db938dbca321a8bc4eecd24e02a70c7a4a1f","datavalue":{"value":"signal temporal logic (STL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077104$7473E321-95EE-44F6-AC4C-E1E9AF9927DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077104$B58C4C5D-8FA7-400E-857D-7ED3F4AA7055","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":"Q6077104$440E3310-2C0B-471E-8CD9-3723C92CF0D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8dc8231b5b14d829bca1c9f74269eece5c6ecf3","datavalue":{"value":"W3207334744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077104$32E5E8C3-855C-42FA-AB44-3B8202FB0EDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b561e7fc31943e5ae941435a1b5f7e2c71aacea6","datavalue":{"value":"10.1109/TAC.2021.3120681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077104$2D62138C-6EF9-45E4-8249-F523D4ED8537","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6077104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6077104"}}}}}