{"entities":{"Q6623025":{"pageid":14234177,"ns":120,"title":"Item:Q6623025","lastrevid":40597696,"modified":"2025-03-07T18:01:41Z","type":"item","id":"Q6623025","labels":{"en":{"language":"en","value":"HyperMonitor: a Python prototype for hyper predictive runtime verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7930582"}},"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":"Q6623025$FDB17A61-37F9-4483-884A-5038F8F9BE2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"112c832e6fd5c14e985d596c794a2275a646feb9","datavalue":{"value":{"text":"HyperMonitor: a Python prototype for hyper predictive runtime verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6623025$6D021E75-D1FE-4C4D-BEE6-ACCB7A47455F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f3edf4760adee8e736db21bb6c93ba7472e650d","datavalue":{"value":"10.1007/978-3-031-45286-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623025$12C8889C-53BC-4211-B71F-1EF057C81D3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"890f0fc11f86b5604c6675146d543803690de305","datavalue":{"value":{"entity-type":"item","numeric-id":2026781,"id":"Q2026781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623025$AFE659E7-4B3C-4187-8D2B-EEA463A7097C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623025$2EC3FFF4-F7D3-4CF2-8275-29F79842C38B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f8156c881a59c08519b94b052c3c5df776b8285","datavalue":{"value":{"time":"+2024-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6623025$C815BF22-DA5D-491D-B04C-CF8D2698ADB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623025$31FE467F-07B4-4660-A863-7F54B10D6820","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2321957cd1d3be045201ef50e9578eb23167d90e","datavalue":{"value":"7930582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623025$B21FCAA4-7515-4A62-8E2A-F822142B26BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623025$BC4081E3-D5A4-4713-AD67-052A05BC1892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16bdb030d6f0cff9e74ba7873b938427a368e545","datavalue":{"value":"process mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623025$966FF9AD-B366-4509-A290-BD34B5517014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623025$A4229531-705E-43D4-8A42-A00DA85838E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623025$860C21EE-02E2-46DD-96AA-5AB3F3BC96E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623025$FA419F46-0431-4A06-9160-2DDDA6435CA6","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":"Q6623025$12D40A81-EA0C-42E6-B19B-02572E1C8491","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea7335b5e7604f829cb4b186bfd6b631769cac3d","datavalue":{"value":{"entity-type":"item","numeric-id":4268457,"id":"Q4268457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623025$3B6AF29F-F226-4CA1-8447-96F9E9EE4384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7884d51eedd303606c739079be383d06ea9f6e54","datavalue":{"value":{"entity-type":"item","numeric-id":2753764,"id":"Q2753764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623025$5E4EF882-1E49-41EB-ADAC-79E99F6B5FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed95fdbd2f9e0d94480da22279633a8a3a6e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1878923,"id":"Q1878923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623025$0A6BD0F0-0D4E-4191-8571-2AAA156DB6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"109b8fe92813787f41d2b1263e568a0a82d0ea9b","datavalue":{"value":{"entity-type":"item","numeric-id":5300879,"id":"Q5300879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623025$B85749F2-44CC-43C8-A551-4609D839209D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623025$F68FE07B-B25B-4B7A-9CF9-E9D439AAEECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623025$B8AF1974-8CA5-45A4-8DA0-9A972975563B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6623025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6623025"}}}}}