{"entities":{"Q2151259":{"pageid":2162002,"ns":120,"title":"Item:Q2151259","lastrevid":57749916,"modified":"2026-04-01T06:35:00Z","type":"item","id":"Q2151259","labels":{"en":{"language":"en","value":"Runtime verification of temporal properties over out-of-order data streams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7551572"}},"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":"Q2151259$1C5C8891-DED9-4081-AEF4-D727094EE468","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e96c06014e33438fda5376abf270f101d3e58a4b","datavalue":{"value":{"text":"Runtime verification of temporal properties over out-of-order data streams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2151259$69BF59AF-48F1-4671-B006-0E09D0ABF1C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cbe0d6bddcf4f4b4003440eff39f34f1b80b180","datavalue":{"value":"1494.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151259$7DC89A8D-4237-4B46-BFB5-EBCF0AF1EFE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e447aae9d210c67c25f842ae39c3fefc0f31f77","datavalue":{"value":"10.1007/978-3-319-63387-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151259$491FC65A-889A-4FB3-AE22-B00B92191687","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b5808f251c37bb2de69a0629c5cb8c741b5006","datavalue":{"value":{"entity-type":"item","numeric-id":402358,"id":"Q402358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151259$DA0FC2A4-1CC6-4F63-8DED-8ADAF2EA0A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e188186e9b3b555a42fd3b32619716393d0ab39","datavalue":{"value":{"entity-type":"item","numeric-id":402359,"id":"Q402359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151259$3CC8E5C6-B716-47EC-9D63-51850C114547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151259$83AF77CC-3676-4567-93E0-2D220BE8CAFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2151259$982D54BD-39A6-440F-8914-AB1B309E0BBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c97a2b4445ad33148fa022954788171fb190bf0","datavalue":{"value":"https://arxiv.org/abs/1707.05555","type":"string"},"datatype":"url"},"type":"statement","id":"Q2151259$2A66C469-9A2C-42C5-AF6D-65FEC87F4070","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151259$FF9781C2-7D53-49B9-8C57-033417705FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151259$F38EBD70-67DC-45EB-8443-3376C266A1F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4386e8c15265f2920143c62690ff40b5cf5a573a","datavalue":{"value":"7551572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151259$1CDBB056-3575-4D7E-907F-6316186F4B99","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":"Q2151259$4E04180C-8EAF-40BF-97BC-1104759F9F4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"676f19aab07e0a3e06ed636422a934678f3a142c","datavalue":{"value":"W2735457986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151259$5F0EA6F9-8F8E-4EFD-A000-5049A13400A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6af1db9e751f09534cfbab3c46abb8ac4a90df2","datavalue":{"value":{"entity-type":"item","numeric-id":4972169,"id":"Q4972169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"881561ef208787fbb180a4a7c13d77cffc159f84","datavalue":{"value":{"amount":"+0.9389848113059998","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":"Q2151259$705BB054-8517-4D94-A8D2-BE4CD9B6E52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd3bbf30be09137a4af2ce28feff9e537b2f311","datavalue":{"value":{"entity-type":"item","numeric-id":5275399,"id":"Q5275399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5010e3b8a392f3f6e5ff7a322676ab572c000e66","datavalue":{"value":{"amount":"+0.793765664100647","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":"Q2151259$41F6BDA1-A1C1-41A9-BEC7-926CF7E412BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c8b93cf06e23afd41706f95736fc258357f4fc","datavalue":{"value":{"entity-type":"item","numeric-id":5883570,"id":"Q5883570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3bc91bd8015c8388982e2faf8ddf20c7c90015e","datavalue":{"value":{"amount":"+0.7814669013023376","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":"Q2151259$B51BF806-4507-4AE1-9246-BD838E410EA5","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":"c22f0a7eeac171778eeccc983c66c1cc99ec0de1","datavalue":{"value":{"amount":"+0.7715088129043579","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":"Q2151259$09E85CA6-7844-468D-AEA9-58C235A58DE2","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":"94ce6d8496e5774c45844627994d7023ce852815","datavalue":{"value":{"amount":"+0.7634748220443726","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":"Q2151259$3F623FCD-2F18-42E9-BB43-DCB846EE177B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2151259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2151259"}}}}}