{"entities":{"Q5206953":{"pageid":7236524,"ns":120,"title":"Item:Q5206953","lastrevid":53622575,"modified":"2026-01-25T10:54:45Z","type":"item","id":"Q5206953","labels":{"en":{"language":"en","value":"Trace-length independent runtime monitoring of quantitative policies in LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145906"}},"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":"Q5206953$B36C7E4C-FFAE-436A-8C1F-CD15E2A3C908","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4acd89e4142314fd461670125877f3ff0a3279d7","datavalue":{"value":{"text":"Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5206953$734A2D2F-A311-4E14-940E-0181AA2DB3F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14dd08c9ba5783b4a096c2cc94371a74c8bd11de","datavalue":{"value":"1427.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206953$30A95FAE-3121-4284-B586-95C7CB69DFFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75e27ce107001047e7b8cb86f8d2743bbb3acd98","datavalue":{"value":"10.1007/978-3-319-19249-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206953$262DDD9B-C02C-48DB-9476-7DB73A68F8DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30fecd6427cb42d74e21bdef2eae8fbaa08db756","datavalue":{"value":{"entity-type":"item","numeric-id":4450574,"id":"Q4450574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206953$10BB552A-0325-4A95-A89C-9AC80572E6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3208ee20c85d475090d794dc3c7087da944dc6f","datavalue":{"value":{"entity-type":"item","numeric-id":488228,"id":"Q488228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206953$E58E0F1C-387A-497B-8168-F5019EBCD3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206953$8001586C-FE89-4D11-AE4D-567E5CBFF2B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea507ca7ecb53fb64a642a5e1bbd9b47380c0a44","datavalue":{"value":{"entity-type":"item","numeric-id":5206946,"id":"Q5206946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206953$0EDDC4A4-B67E-4CFD-A76B-E9D6DBF0A257","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad2986100f8e8d7278a8296353b8e4d3688509f","datavalue":{"value":{"time":"+2019-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5206953$C3EB4D5F-B31B-40DF-9E57-A0BA34232D9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206953$EB18FF13-B970-4DAB-B098-EDC74CAF892B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206953$96FECC70-C6E6-4FA1-926D-55A75D8B058A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"628232f0c47aca03b113922faf8830be284dc010","datavalue":{"value":"7145906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206953$262F1C05-6C9F-41FD-8887-1F7AD3B5CD01","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":"Q5206953$15AC2177-E40C-4EA0-9891-20CF6F3C19D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4512ea4d936616050999286d1e6204da2500931b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-19249-9_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5206953$6C7A5316-C9B7-4BE9-90C5-3557911A942F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16f15f8ffbb17ce59e0957d747e2a1234df921e9","datavalue":{"value":"W2189638487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206953$F2D15519-9912-42B0-99CC-C2726395D531","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53bbc31a445e987f53c0841acd693d68b85167b","datavalue":{"value":{"entity-type":"item","numeric-id":5901902,"id":"Q5901902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206953$07F33813-9B56-4C8C-8C57-DB2270134764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57152626eccdef04f7485d19a54e1d3df61b2f69","datavalue":{"value":{"entity-type":"item","numeric-id":3569196,"id":"Q3569196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206953$61D70EC9-E187-4E04-8E54-EE3853CA98C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ecd98f5d243736a2e1b95f9e782939f4aca028","datavalue":{"value":{"entity-type":"item","numeric-id":3393401,"id":"Q3393401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206953$85897984-52B2-4A7E-96A5-7A72C6A8AF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12374fd48df592c4be9d57628a281abf855bba56","datavalue":{"value":{"entity-type":"item","numeric-id":472802,"id":"Q472802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206953$282E3B34-5572-40CB-AF79-F24CE17EC96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694e61bb0adc1f6a44380ef834a9b7c81971602c","datavalue":{"value":{"entity-type":"item","numeric-id":812051,"id":"Q812051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206953$F95C005F-DAD6-4E02-BF39-B1CDE44C1539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206953$126D83A4-6ED5-4AB0-8B33-6A240E7D9011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36919fe60b6cd72a4fffe4adeb8fc314f00cf8c","datavalue":{"value":{"entity-type":"item","numeric-id":4472252,"id":"Q4472252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206953$5E19107E-4320-49E8-9012-6B7AF9322251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d7089c778924b926311d003b673769dcd2480a","datavalue":{"value":{"entity-type":"item","numeric-id":3557853,"id":"Q3557853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206953$1A327CCC-D07B-4EE7-BA0C-52B052E16099","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47514416f00699bb92c33861cd876f550d01903","datavalue":{"value":{"entity-type":"item","numeric-id":2008287,"id":"Q2008287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d208a7791cad2de2040afe1f83af29a4d6be196","datavalue":{"value":{"amount":"+0.7184792160987854","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":"Q5206953$4F55AACD-0DD0-48B6-ABF8-9505F855994E","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":"947106e2520a925a7d0bb45bb45cef9c7ada6b6d","datavalue":{"value":{"amount":"+0.7120429873466492","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":"Q5206953$FEA4543F-523C-4CEA-A668-02AB99B62AED","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":"09ae2d177919b3c25627687042aa532677474366","datavalue":{"value":{"amount":"+0.7119706273078918","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":"Q5206953$F2D1881E-34F6-4731-97D2-F89F09D4695E","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":"20bfba9216b71987da4e9de9720fbb6c086a5dcc","datavalue":{"value":{"amount":"+0.7098788022994995","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":"Q5206953$F855C111-93DD-4364-BF00-5AE4082030BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6f83773a1d1f510fdc78e832bafde61fd6fb3e","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70f7fe747bef7c4a6fb36bb4f371ffbfbe37ee9","datavalue":{"value":{"amount":"+0.7096929550170898","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":"Q5206953$652FF6ED-E4B1-410B-A2CF-A960B035A8F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5206953","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5206953"}}}}}