{"entities":{"Q6185821":{"pageid":13320709,"ns":120,"title":"Item:Q6185821","lastrevid":94134866,"modified":"2026-06-05T05:57:39Z","type":"item","id":"Q6185821","labels":{"en":{"language":"en","value":"Runtime verification of real-time event streams using the tool HStriver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7785149"}},"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":"Q6185821$EB11D7DF-7B1C-4613-B390-8AF14B243B5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c394b26e19bc62b8e7fad94faa79047da6088d3","datavalue":{"value":{"text":"Runtime verification of real-time event streams using the tool HStriver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6185821$5618DD7F-1442-44FD-AB74-7DEA4C7BD187","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"781a9182b8ae5f333b992ffda0d5ad5ce9ec77f3","datavalue":{"value":{"entity-type":"item","numeric-id":1671160,"id":"Q1671160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185821$68FAFF91-EFA3-4D1A-9F71-92E10D905D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185821$547DB757-C4B7-4719-8C8B-7F239817F5ED","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":"Q6185821$2DFFB2DA-2189-4651-BEC5-D6C7759A3D2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e50f80f2416051e0e7d7d1cfabce1de8c3ea5bd","datavalue":{"value":{"time":"+2024-01-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":"Q6185821$F5A1AE5B-8477-4E82-9BBB-7364EA4A55C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185821$96A38F97-FF7F-4A66-A18D-216F8E087669","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f74f729009b2066a26593053ccce63266c28c372","datavalue":{"value":"7785149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185821$B1780ADC-5836-42CC-89E0-FF38E0FF5EDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185821$9FACCEAF-507F-4630-B142-246338D828C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8511effa32751b74db85f598d2df95fbb78369d","datavalue":{"value":"stream runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185821$150389D7-3373-4ED2-85FC-79D8ED990BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"044148ff1aa6b7c13412f362e949d15de65394b3","datavalue":{"value":"real-time streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185821$C665D2FD-2A16-49E3-9612-775A874CFB83","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":"Q6185821$E055BBA1-D9F3-4CD7-B5A8-79D2F3CEC73B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65f615986d9d92d8918f13fcf7965cd360cc3a1b","datavalue":{"value":"https://doi.org/10.1007/s10703-023-00428-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q6185821$D1577EB7-1D2E-4CEC-8501-A5318EAA0BA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e71a4918b7399cebb246c4cb8caaacfeda30ea5","datavalue":{"value":"W4381511620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185821$ECD522CD-9935-4D9E-AC45-4E3CEBF555CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185821$DA9B1205-B53D-4E3F-9D15-FC301558F32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185821$1E6A7C9A-6B17-496F-8574-7DADE9A39CD0","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":"Q6185821$EA09419F-E3E3-49E9-967C-AE0C4C0C4C21","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":"Q6185821$FC2C86C8-2109-44A3-A815-62C48E25CCFE","rank":"normal"},{"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":"Q6185821$98AE57EE-B214-4A3B-9F8C-E010C9964E93","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":"Q6185821$323616A3-3AE8-403D-AD5E-09593A81107B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185821$09A7BAA6-10B3-4A65-AE21-092595888BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c9410310564b885701ad3f53afb94663905365","datavalue":{"value":{"entity-type":"item","numeric-id":6165893,"id":"Q6165893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185821$8732940F-089C-4010-87C9-3F46EC79D30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05817b2b393b3a5f61d9636909faef5c3954310d","datavalue":{"value":{"entity-type":"item","numeric-id":2038065,"id":"Q2038065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185821$76451512-AFE9-441A-AB22-679F2884C856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b54981d46dab6839e2151995d4542c7d83b322","datavalue":{"value":{"entity-type":"item","numeric-id":2323968,"id":"Q2323968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185821$927C2D8C-DD3A-4A80-B24A-F40D6C891CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e5dcde8c21dff3648870dc6696c990f88d8dea","datavalue":{"value":{"entity-type":"item","numeric-id":3455857,"id":"Q3455857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185821$D04890E2-C791-40EE-9333-4F388E1313EF","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":"Q6185821$085B1057-E8A5-4CF1-8C75-FA137FB5CF2F","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":"Q6185821$46ACABA5-C062-4E86-91B2-26297A873C54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fde56bc38b5365171fbc430375be53ac6ab19ad","datavalue":{"value":"10.1007/S10703-023-00428-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185821$139208CC-DCB2-4DB2-9586-D9859EF9984F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Runtime verification of real-time event streams using the tool HStriver","badges":[]}}}}}