{"entities":{"Q2402548":{"pageid":2413291,"ns":120,"title":"Item:Q2402548","lastrevid":57889950,"modified":"2026-04-02T23:28:36Z","type":"item","id":"Q2402548","labels":{"en":{"language":"en","value":"Robust online monitoring of signal temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6770890"}},"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":"Q2402548$E4633CFE-417C-4D28-91A0-3E73735671C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c026cbbe748c2c280e7a165a684ce9b032afb281","datavalue":{"value":{"text":"Robust online monitoring of signal temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2402548$F686FDC3-F0A6-40C3-9599-718089EF8C01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fc4e61f1a9fd640fb740d911777b347e2839fd1","datavalue":{"value":"1370.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402548$5A881AB2-B975-47D2-A88B-7EF72CB3C976","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10bfeb6e5c3c1810665b004434819ea4b3dc39c2","datavalue":{"value":{"entity-type":"item","numeric-id":526756,"id":"Q526756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$55203340-2803-4DEC-8A73-4E332A9DDA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2421cbdcf69fc46f7e1ab053bd39b93ffdc36187","datavalue":{"value":{"entity-type":"item","numeric-id":243963,"id":"Q243963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$B9294DCD-AA88-449D-BDE8-69F729E4078A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9384f62631fc2eddcb832fef444627708f2ff5ad","datavalue":{"value":{"entity-type":"item","numeric-id":2402546,"id":"Q2402546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$B8A1C957-5DDF-49D7-82E2-153F2374D4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f970d3bdcd553f35ca32f04fb06e0de95979801","datavalue":{"value":{"entity-type":"item","numeric-id":2402547,"id":"Q2402547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$78B8D9E1-D51C-4CEA-A99B-07CCCC5E69DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f249f40c4f258debe6dc3dacc160f2e23026fd","datavalue":{"value":{"entity-type":"item","numeric-id":557794,"id":"Q557794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$F11AE1CE-C59F-4C37-84FE-ED0DB70EF02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f44f768c24bbb69aa562f594bffbf9e5c61424ed","datavalue":{"value":{"entity-type":"item","numeric-id":1406261,"id":"Q1406261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$B9BCFDE3-21A0-498B-A1EA-D41BA4D380A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$1FEC5375-9217-4D01-ACFA-11949C2B1EC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c67d8078e1a5d9d2033371c1c5369954e233b550","datavalue":{"value":{"time":"+2017-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2402548$0EA3AF34-0083-4E50-BF15-945E056DBFF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b08edca27a85e4b55f7e53109dcf94d2db40514","datavalue":{"value":"https://arxiv.org/abs/1506.08234","type":"string"},"datatype":"url"},"type":"statement","id":"Q2402548$68FED0EF-CC38-4238-AA48-1CB1EFEE0184","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402548$981C410C-639F-4539-83AF-9FF629181687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402548$DB1ED4E5-D365-4417-963A-5C400FB0E1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d5a866d412ef8af951814448fda0a03016cd3a5","datavalue":{"value":"68W27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402548$1079295D-33F0-4E9F-92F9-81DB6B361E99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b299087804d685a725f5a09a3cda0177e471ae3","datavalue":{"value":"6770890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402548$67AA49C9-38AB-4EB6-BD31-12490F625EC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f8be661f7334effea48460bf8998249a2a7920","datavalue":{"value":"cyberphysical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402548$3DDE963D-7B78-4D6E-B6AD-9460DDB71BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402548$C7266A89-4258-47C0-9E89-9CE5D2A2123C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f783bd2e479849f032b497f2dafed105fe57da","datavalue":{"value":"online monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402548$EF638111-4828-460A-B93A-7513ACB8FB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4eb58354b3c549322771087f8738a33713616b","datavalue":{"value":"signal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402548$80F14B58-BDE8-4D31-8027-2FC958F72002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6557f96c7331af6f8acbd886ca6331ad8977db4e","datavalue":{"value":"quantitative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402548$BB683FA3-2A2E-4B40-ADBA-2EB070D5B92B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b424b0f4cf122cdeae51acafebcdf4dbab7ee597","datavalue":{"value":{"entity-type":"item","numeric-id":21754,"id":"Q21754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$944B0E5D-421B-4709-BF34-A14030D89CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d9e99ba00e34f37c24789403266fdea35d3843","datavalue":{"value":{"entity-type":"item","numeric-id":53745,"id":"Q53745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$389680D3-8CEB-4014-B338-C98C8DA281A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df9f46973d8c78aa3238ba7e8fb358838da0670f","datavalue":{"value":{"entity-type":"item","numeric-id":32636,"id":"Q32636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$2509CF2B-275E-4713-BBCE-3D8DA7B2AF30","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":"Q2402548$3B4A58A4-3604-4050-BF48-A0A89BFAE950","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"159d3ee37b9d9fc5fd32f0e049a41c8af6e66bb0","datavalue":{"value":"W828139470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402548$36639F2C-8A70-4CB9-8AB2-5199E345BCA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$6E61A56C-2EAE-4042-98CB-6393F63CF3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263914100d05dcd941f2066b9f17d0b8e7e88611","datavalue":{"value":{"entity-type":"item","numeric-id":5500551,"id":"Q5500551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$2BA7A6F5-91A5-403C-A157-0F6FD9A5B2CE","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":"Q2402548$4429F45A-4271-4CBA-A152-9A4F99CAC3DE","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":"Q2402548$DF46B381-06AE-4EB9-B7D2-9A173287FB05","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":"Q2402548$BB73F509-6D17-4382-A066-FDBF1BBCFE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d19111515839f0eb5f409844a189f4b2c55492","datavalue":{"value":{"entity-type":"item","numeric-id":5376664,"id":"Q5376664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$2FFA05D2-80E8-48AE-AD7E-1707C0ED7DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a8d3cbf8b30575281bc4e243acae569110ac19","datavalue":{"value":{"entity-type":"item","numeric-id":2986973,"id":"Q2986973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$BD683C04-B738-45A0-BF63-74966979120D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ef40209070f53c5b819652f794f4a0ab042bfa","datavalue":{"value":{"entity-type":"item","numeric-id":2986909,"id":"Q2986909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$4C6B5BE1-598B-4A01-B797-6031585FF008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1020a25302dded7f0dbae26657068b57f1932cd","datavalue":{"value":{"entity-type":"item","numeric-id":2986980,"id":"Q2986980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$A92E0A89-B77A-4A6C-8FA1-755E75ACB6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c99e53aae1cace6d53edca951880ac70d45bb6","datavalue":{"value":{"entity-type":"item","numeric-id":5757091,"id":"Q5757091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$8760F902-1C07-4161-A94B-F880E6AF1883","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":"Q2402548$DCF6EF5A-3578-42AA-8FDB-7A650077CAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af340eb6bf175d471510207aa798e0d3300a162","datavalue":{"value":{"entity-type":"item","numeric-id":2988956,"id":"Q2988956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402548$DDA33A3C-812B-4234-8EE7-6CDA61D88C98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9326c2d6f5d59cec64e0d15bda2d0b3bc2d671e1","datavalue":{"value":"10.1007/S10703-017-0286-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402548$CBDFD267-71D0-469E-9749-2329930791E6","rank":"normal"}],"P1643":[{"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":"2c86307973d15b8cb1bcde154174ca4cf072a960","datavalue":{"value":{"amount":"+0.9145303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402548$3149F8E0-25D0-4A34-B093-641636804CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc66f6e3803d30633b9b69b627bb5c7eff4b12a","datavalue":{"value":{"entity-type":"item","numeric-id":5239219,"id":"Q5239219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45e0f401fefec4e45e4722dba7f5933bdd60c0d","datavalue":{"value":{"amount":"+0.88787276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402548$C17F178C-AA3D-4250-AF58-D390EA2C7F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02573e29b41a0176f3ef90ff19314c3addf01f74","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d841927aba1e81f821d1ad13edf8d89e828045b","datavalue":{"value":{"amount":"+0.8857521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402548$E2379E81-49F7-4DC6-8A86-768F1C9FF7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7510a157bcaa18f709ba21a31557a7fe635a8280","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5c39907b33685a133781bf6468ee4998aa6811","datavalue":{"value":{"amount":"+0.8733866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402548$F51BB6A4-7AF5-43B0-B568-63C9DF579E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840dda3bb951aefa986a164e604ba0ccf782c70b","datavalue":{"value":{"entity-type":"item","numeric-id":2938076,"id":"Q2938076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d18ff036bece5ef7aac08b3eb35b22fe1ab4130b","datavalue":{"value":{"amount":"+0.8729489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402548$FDA40DE6-FAAE-42CF-8A64-04F5AD337F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cfb44f512162f1c95c0eedf4fbb82c686b87c76","datavalue":{"value":{"entity-type":"item","numeric-id":1996026,"id":"Q1996026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7479b4a431a75de85ae6ec3170433642c984ca2f","datavalue":{"value":{"amount":"+0.8708538","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402548$B199EC26-058D-4A04-87D2-BE2958278233","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2402548","badges":[]}}}}}