{"entities":{"Q6536149":{"pageid":14147292,"ns":120,"title":"Item:Q6536149","lastrevid":57344439,"modified":"2026-03-30T14:08:41Z","type":"item","id":"Q6536149","labels":{"en":{"language":"en","value":"Explainable online monitoring of metric temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827820"}},"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":"Q6536149$376BB54B-806C-45C5-96E3-FB348FE866BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"964c6c0ac5a72635cdf481027e0b39d98c1aafc0","datavalue":{"value":{"text":"Explainable online monitoring of metric temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536149$99F7F8A4-246D-4039-8E7A-E5B29087DF67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1302618bb459e09ad8b6bbd9e15493cfa4af7f2d","datavalue":{"value":"1547.68438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536149$2AA9F580-F209-473E-8BB6-2FC2A0B518DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5b5b2271e7788aecadb95294b28038c72e32a8a","datavalue":{"value":"10.1007/978-3-031-30820-8_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536149$9B6FA9CD-F480-4CAF-B0B6-D19A92EA1CFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16fdca14c4c108d13d2411a6d696783d76172c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2078648,"id":"Q2078648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$ABA7ABB4-B025-4C0D-A26B-2626B7EDD9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0219d0f8a9bce05f14a5c1bd69fe2bd843371331","datavalue":{"value":{"entity-type":"item","numeric-id":6536147,"id":"Q6536147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$1FACBB2A-3E4E-430B-8265-F8F47DD97105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7804736ab920c95bce8d62233dc0c2148a45c2e","datavalue":{"value":{"entity-type":"item","numeric-id":2096465,"id":"Q2096465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$CC459C49-BB15-45BD-A319-B0BB45237DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157dc0abe360dacc915db0769a2ed352a42201ad","datavalue":{"value":{"entity-type":"item","numeric-id":1687534,"id":"Q1687534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$5997CC09-04A1-4577-85EB-DF1D4266C50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43fd255ff941d7638bc357eaca1a7af6b6845672","datavalue":{"value":{"entity-type":"item","numeric-id":6536148,"id":"Q6536148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$2FEC5E8F-A5D7-43E2-BD7D-716026FEF403","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536149$92F7F3AC-D5DC-47A5-841F-473938651DDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536149$78DFD0F9-D09E-4D05-85E3-F65BE7C63859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536149$0B9A3A8D-6700-4BE5-AAF7-F416B9FE57B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1fe34c82ba103dc4c8097b38ec78f4aacda3b97","datavalue":{"value":"7827820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536149$AA0B76D7-6B2C-4864-AB1C-E094888F87E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536149$33CE11CF-5DF8-4A0A-9C18-34BC9C76AC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f739b0407fd13fed79d64400bfb99b8621bd54","datavalue":{"value":"runtime monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536149$7BE4B1D2-F9DD-4A7D-8571-630CECA81869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e37c228cdd19c72d9e60cb48007fc8265358e69","datavalue":{"value":"explanations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536149$46917735-8A4A-4709-BAA1-19D15AFC90F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536149$FE2EB6C8-340E-4C6F-8843-83A9F5693D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536149$052FC146-2120-4BD8-8D4B-7380C0CB5194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d5c9c0cf89b4b4891f5c481837b69838035e8a","datavalue":{"value":"certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536149$D5C39A3F-21E3-4C58-AF44-2B5B4F53D583","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":"Q6536149$9E0AE071-DBE8-47BD-B0E3-C50B28C08093","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0c929714ce8b2d673ceea3e51da7892c91e7e7","datavalue":{"value":{"entity-type":"item","numeric-id":4561453,"id":"Q4561453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$179B6562-EAD1-4CAF-9CD4-A63FEC1E7B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabfffe78bb56bce00083fe0fdc19771e8e755af","datavalue":{"value":{"entity-type":"item","numeric-id":2008287,"id":"Q2008287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$65CE577F-912B-4F27-A668-EBAF6B705F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3223f9a24fa55febaa4a8755b00e2d335aa99dee","datavalue":{"value":{"entity-type":"item","numeric-id":6109580,"id":"Q6109580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$F933AFB5-7BBC-4116-835E-9CCADC240939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb54f812ef30b83f85808d0cc5b4cec2e5e0d69a","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$FC4E9E5C-C29D-45E4-BED7-CF88A55566C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d26add700d8428f74555e0cd00e74b761943fc","datavalue":{"value":{"entity-type":"item","numeric-id":1647773,"id":"Q1647773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$A24D4369-1A0A-4528-BCF3-0081C3A35F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4b3700d00193a69b95f60680a360ab2d41d2cf","datavalue":{"value":{"entity-type":"item","numeric-id":5316437,"id":"Q5316437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$1FFBB50D-0053-4B7B-A6D9-4E0B555798FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5ccea7b6fe9f5a7082344f9edaface083da76","datavalue":{"value":{"entity-type":"item","numeric-id":2405252,"id":"Q2405252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$71917492-28DF-43E5-98FC-EE19345F8899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824ce5366f6c95158d5e8cedc3b7665283034d20","datavalue":{"value":{"entity-type":"item","numeric-id":1996872,"id":"Q1996872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$FE47AC32-0683-4BCF-878C-1F5F1471E64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1951f16d4fe8a611f755a4887c35002e0149e28","datavalue":{"value":{"entity-type":"item","numeric-id":5919480,"id":"Q5919480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$BED727F2-310B-4AD8-B181-B1EC21F1A0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02483a0433a505ad6f9a5a21bd8aa04486787c8e","datavalue":{"value":{"entity-type":"item","numeric-id":3297591,"id":"Q3297591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$3254127F-F250-41BA-9798-D9807009D670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925ab9f388dfd1680aea2355a59f16ded7291ea9","datavalue":{"value":{"entity-type":"item","numeric-id":6485872,"id":"Q6485872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$023F060C-4281-4AA0-B6B2-B9972A148807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74144094986fe94859fa74a5b7cfa704dd69a15d","datavalue":{"value":{"entity-type":"item","numeric-id":5170712,"id":"Q5170712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$48D53464-D9CD-4EF9-8805-41F357F45827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b0aa4ad01438d9ae9b5bf38a845910912b22b88","datavalue":{"value":{"entity-type":"item","numeric-id":2900185,"id":"Q2900185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$12E2C6AC-282D-4F6F-A3DB-4EA2DAD0D520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218c16b466b9d2dc18c5c9ba2984130a225db4af","datavalue":{"value":{"entity-type":"item","numeric-id":1996011,"id":"Q1996011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$605B3A55-E9DD-4687-AD41-9C342ED5F95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4b78c7ff3c9d5b5bcab2f9e3516deb752d78217","datavalue":{"value":{"entity-type":"item","numeric-id":5039522,"id":"Q5039522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$7AC22F14-A87A-49B5-875F-52BA167A9D7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40a7cc656de7ec56b88d23903877e8c79973bd5a","datavalue":{"value":{"entity-type":"item","numeric-id":1996872,"id":"Q1996872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f9c594e676297b1515a378a1f7201fafa9aa5a","datavalue":{"value":{"amount":"+0.8686538934707642","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":"Q6536149$2426AA69-AABF-426C-8C9A-8E0C25E4C4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59862be569f17a5ee68e96ed786aa0227997de8d","datavalue":{"value":{"entity-type":"item","numeric-id":6056640,"id":"Q6056640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4974635d6347bb607df73c5afc783d19a0a21d49","datavalue":{"value":{"amount":"+0.7942729592323303","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":"Q6536149$B5E3390B-6EDF-4F2F-BAC1-4B222CEAFA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b0021a1bcbe21978fbc0e474af4266624ab558","datavalue":{"value":{"entity-type":"item","numeric-id":3297591,"id":"Q3297591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e4e1ffffb3d07b5ee76ae5700e5624e090af73","datavalue":{"value":{"amount":"+0.7776476144790649","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":"Q6536149$C5F2861F-688B-4B8F-A9EF-0207DBBBC9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cec13b3dccc688906439feb72efe0e74a0d31a8","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7873c4d569d02fb12301b9487bb1b5882ace84","datavalue":{"value":{"amount":"+0.7706232070922852","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":"Q6536149$8E044326-4F58-4FEA-B498-7EBE757B8DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6ce02468e347759e866781c1c1d3d60fccc4b9","datavalue":{"value":{"entity-type":"item","numeric-id":3165946,"id":"Q3165946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ee24df57f0e0a5228baf2d4c38aa8e5d3c73b8","datavalue":{"value":{"amount":"+0.7633787989616394","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":"Q6536149$54AE3C68-B3FE-4E26-8A34-02C94AAEADF3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536149$E0ED182A-328A-46FA-852E-074A662E4771","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536149"}}}}}