{"entities":{"Q6152567":{"pageid":13286883,"ns":120,"title":"Item:Q6152567","lastrevid":58727025,"modified":"2026-04-06T12:01:14Z","type":"item","id":"Q6152567","labels":{"en":{"language":"en","value":"Model predictive monitoring of dynamical systems for signal temporal logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7803905"}},"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":"Q6152567$AC6E53B2-FA35-4A4E-8F61-F91A0FE5BD90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fe2940d84b7f11aa3510d2fb9713ce0b2df2793","datavalue":{"value":{"text":"Model predictive monitoring of dynamical systems for signal temporal logic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6152567$369DD308-E247-4380-B206-81C73236CD35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fa3ff0a0cab3eba68fd3f4f41db9e5b8b973ada","datavalue":{"value":{"entity-type":"item","numeric-id":4556484,"id":"Q4556484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$B81FE5F5-D8DC-4D68-8DD0-33F5A09E977B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3ffff6bca0457b86ec77faf548cc45b0669a671","datavalue":{"value":{"entity-type":"item","numeric-id":6152566,"id":"Q6152566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$9CBE99E3-170B-4DD0-BC74-680AE17D451C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c92db78770141233beab957e551b50c90b014b","datavalue":{"value":{"entity-type":"item","numeric-id":690903,"id":"Q690903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$3B48CA7D-43A8-428A-A826-C2C957C47F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae766f32955aa7d2690d09de2d7f9a1e0e586835","datavalue":{"value":{"entity-type":"item","numeric-id":286343,"id":"Q286343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$1B1EE3FC-FF83-4CCF-85C0-C7E2EB096F07","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":"Q6152567$14CCE557-A0C5-4C9D-8B5C-B1A7CB7D19F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2abacca2785e0f856eeb85daaaa1e38f0cc185f","datavalue":{"value":{"time":"+2024-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6152567$395A620B-872D-4048-AE66-22580BCB72F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50a05843d3c75086ea1fae66ff84b1c5c035eb9c","datavalue":{"value":"https://arxiv.org/abs/2209.12493","type":"string"},"datatype":"url"},"type":"statement","id":"Q6152567$A7E68C89-D2B5-4D73-9C9D-8F913AB863CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152567$E1E00191-5899-4FEC-9CAF-8B64AB8CA53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4db3fc3244f368e49336c7e23443d11b7d69297d","datavalue":{"value":"94A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152567$412DED2E-1619-4356-897F-E9B856A184F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152567$78AF8F95-12E9-4384-A959-AA0C8328D206","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38b672a44ace0af0d4c588a051bf7166d807305c","datavalue":{"value":"7803905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152567$ABD83D36-165D-4168-A7FE-E802F383E9AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4eb58354b3c549322771087f8738a33713616b","datavalue":{"value":"signal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152567$C351F101-BF72-4485-8330-FE1CE85A4915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f783bd2e479849f032b497f2dafed105fe57da","datavalue":{"value":"online monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152567$A2C2D24D-9D88-4963-906B-A6158F9BCE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c5d74cbc48f78c21fdeedf2d8a802828ae30f1f","datavalue":{"value":"feasible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152567$D5070230-A4E3-4B19-B6C7-9F3AD951A302","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":"Q6152567$ADD625CF-5702-4116-906E-1139370BA933","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82613031e78fe17d1896ff9521cf24a8fb9342d9","datavalue":{"value":{"entity-type":"item","numeric-id":2960399,"id":"Q2960399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$95553D78-D2AC-41BE-AA17-E1D96B0CC6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da84a4924b34d191fc74320ac4bd4a5f593da8e0","datavalue":{"value":{"entity-type":"item","numeric-id":4297274,"id":"Q4297274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$B4F1A864-601C-4C97-88BF-2BC2BCCC5F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d8ba3ba2675e44b8c6482a3ed62cae39ea4709","datavalue":{"value":{"entity-type":"item","numeric-id":5239217,"id":"Q5239217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$7327905C-2FD4-4FCB-BFED-7ED27EEE3D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39631f4724f9a80fe35ca66c8f8c7b0e88a80c27","datavalue":{"value":{"entity-type":"item","numeric-id":2576114,"id":"Q2576114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$BC6C534D-1DED-41C2-87F6-78D0C358928E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e41591e2aa20f46c06f1b6046faec0a95fa730","datavalue":{"value":{"entity-type":"item","numeric-id":2402548,"id":"Q2402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$1B98CBE1-51A9-42BE-A093-10B4F28E3E9D","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":"Q6152567$012CD59D-68E6-439D-8001-54E43A9FA05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e10b94faed1369f0d6cedaf8543971a89c594ce","datavalue":{"value":{"entity-type":"item","numeric-id":5900668,"id":"Q5900668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$00FA032E-3F16-46A2-B5BB-C1BD5C208718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73112da7148a5ff51a53ab44175db79aac77a49d","datavalue":{"value":{"entity-type":"item","numeric-id":1754455,"id":"Q1754455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$A2AA90CC-C574-4EAB-9807-F19D717D91A3","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":"Q6152567$E8FA7121-8C37-45C8-9F03-9F04C5D769CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2431008e0337b77fffc5f411eea2fa7ca394424a","datavalue":{"value":{"entity-type":"item","numeric-id":5002121,"id":"Q5002121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$9829159C-073E-4311-817B-895FF5F4DA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085940acdbf1762ffc2c139ffa77393af87eef04","datavalue":{"value":{"entity-type":"item","numeric-id":1667648,"id":"Q1667648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$439BFF80-6878-4C6D-A21A-85D22BC09E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60360b25c9ab3c23b9a3a37d70792afe6dac64d9","datavalue":{"value":{"entity-type":"item","numeric-id":1737745,"id":"Q1737745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$3FADADDC-215F-4555-8872-538626696050","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":"Q6152567$9F33AD2F-F839-489D-B992-B3AF6BB37C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c772f38628c7ad325401f5459cc5ad0de41724","datavalue":{"value":{"entity-type":"item","numeric-id":5146368,"id":"Q5146368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$B5C69B09-D38F-453B-99E1-C7F59BABF068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da2fa9cf689e3b589fa059a6ea47dd5dcdb98f0","datavalue":{"value":{"entity-type":"item","numeric-id":2512139,"id":"Q2512139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$EEDCF002-B27A-4260-A9B0-453BA3E2BAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc817731114a50dd90568b00d808795ed6f44da1","datavalue":{"value":{"entity-type":"item","numeric-id":1418889,"id":"Q1418889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$CCB00C90-53F4-465A-A943-6506A4A7EC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28aa06ba8c86cc86704d044cf109916e258b923c","datavalue":{"value":{"entity-type":"item","numeric-id":1996026,"id":"Q1996026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$505D24C4-EBAA-440C-A971-609093EB3BE5","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":"Q6152567$751717EE-4F75-496D-BCEE-8EE95CABA532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11687a117d1fb6c2565b8a81586cdc44fb603099","datavalue":{"value":{"entity-type":"item","numeric-id":2665419,"id":"Q2665419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$83E68668-F0C4-45EC-9605-73D4C31ECC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8689f215713c08e53c4b0d27980cb6d3a89c96a8","datavalue":{"value":{"entity-type":"item","numeric-id":6080183,"id":"Q6080183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152567$F41E24FC-BB1B-4B69-BAC3-C39208E92B99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67d4c5ac1744737fe4abb5618ddf32adc690227d","datavalue":{"value":"10.1016/J.AUTOMATICA.2023.111445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152567$98022089-300C-4CF5-9BF4-6E275F9D9276","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d736724e23994b00d486c282b4d29ace85a886","datavalue":{"value":{"entity-type":"item","numeric-id":2402548,"id":"Q2402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b428e3ece82c2952382f10c160431905670ada8e","datavalue":{"value":{"amount":"+0.8500463366508484","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":"Q6152567$1325308C-8C35-4262-BA59-9F7E6E47C219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"180c869e6c275dbdfccf6cac0fd0e834675e12c5","datavalue":{"value":{"entity-type":"item","numeric-id":6535627,"id":"Q6535627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdcb252955527e34926e54fe4c46d39eb98283a3","datavalue":{"value":{"amount":"+0.8142898082733154","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":"Q6152567$B4844B7F-B1E1-4B5A-B5CF-B087E0D3AE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f325d08f0efe5b4aa3c48bc6a7d8db0c61832141","datavalue":{"value":{"entity-type":"item","numeric-id":6091405,"id":"Q6091405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c70cf872579cc3b3316ec2fae1062c12e79b2b6","datavalue":{"value":{"amount":"+0.8094011545181274","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":"Q6152567$953EBA5A-EE71-44DC-A5BC-3106DED4B1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da514cef9ccbe6bf41412a800d76ac6fcb88d596","datavalue":{"value":{"entity-type":"item","numeric-id":4561452,"id":"Q4561452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a268f35a390f880c7f86764f1f34f65a628913","datavalue":{"value":{"amount":"+0.8076578974723816","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":"Q6152567$BAE0B6CE-9F35-49F0-B81D-24E2931C0CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47eae304c14a62ec405de6a705270a1d4bf90c7","datavalue":{"value":{"entity-type":"item","numeric-id":1990521,"id":"Q1990521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a12e4659920fd28bf0daf85e5cd8e53b769788e","datavalue":{"value":{"amount":"+0.7524528503417969","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":"Q6152567$CFDD1D12-FB81-4225-9766-A5716C2E1690","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6152567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6152567"}}}}}