{"entities":{"Q4972169":{"pageid":7001748,"ns":120,"title":"Item:Q4972169","lastrevid":58376127,"modified":"2026-04-04T23:02:27Z","type":"item","id":"Q4972169","labels":{"en":{"language":"en","value":"Runtime Verification over Out-of-order Streams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135668"}},"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":"Q4972169$6DFD7322-6619-411B-B145-5FE4E94F2B57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84cc59cb8544b5932a77d89a9ed8b1f55a154d56","datavalue":{"value":{"text":"Runtime Verification over Out-of-order Streams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972169$A11438BA-0219-47FA-A699-DAEEBE156F8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b08551a0ccf4b974a8aee35502a7569e02c59767","datavalue":{"value":"1433.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972169$10DC61BA-F4A2-4820-8866-749FBE2EF294","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3939223823ad229cbffd579d6da14d24972ffcb","datavalue":{"value":"10.1145/3355609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972169$8D4B8D7C-EF40-4D20-AF3E-03C62F2603D7","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":"Q4972169$F097FFFC-6BBF-4DD3-AEDD-7B8450FE78EE","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":"Q4972169$91EE27AF-B775-4393-9965-059CB681DDA8","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":"Q4972169$F3C904C7-9FBD-4B2D-AAB0-5F9720B8505F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972169$3745FEB5-DD42-42C4-B80B-7C4F479E3A1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972169$127F994B-6789-4B70-B901-F76727A67E62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1dc394ee848a4be461845aee35672d8f0b8b08d","datavalue":{"value":"https://arxiv.org/abs/1909.11593","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972169$63998504-70D0-4FE7-8ABC-1713A5676C5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972169$24EC2233-FCC5-4FB3-9E8A-ACA1F9C5286E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972169$E0123667-441A-411D-A910-BA546405569D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972169$967C8BF1-8B90-45FA-A8BE-5BD716D122F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972169$72849389-8D07-4616-AAC8-2625D18B3240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"933f994dccfe67840aef215ba24e5e8dcba5c82b","datavalue":{"value":"7135668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972169$A659BCC4-7D7A-4A13-B9AB-7A41569F7DBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee52456d706b55371f38568eb4ab302c73ee3ed1","datavalue":{"value":"Kleene logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972169$E6F6300E-7C62-4B84-99EF-2D73B6054FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972169$EC3B9889-232F-4316-ABBC-088EC744069B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972169$05E1C300-B989-4DC3-B97E-9156E1CFE8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cb7df356c050a3f4c2b24603e616c98a797c193","datavalue":{"value":"stream processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972169$F431B4F6-8F94-4F59-A799-0027D71F85A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972169$05BC5FAC-BF1F-4934-8582-257AC6D78517","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":"Q4972169$AAD965D1-4D4C-4454-92A4-EFE28FD855C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82b88633b539da4b8e8b185f4509c77e4e05df06","datavalue":{"value":"W3101270510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972169$0A81C88A-535B-47B2-AB26-1F96FADE4820","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f4e71be418c993e86d8b83f8b111ea347f4a9d3c","datavalue":{"value":"Q127121727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972169$945603C6-595F-4171-A565-10C61A2D0E9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a253810e4fe8f7ba7c6de79b0d26d967e6096ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2151259,"id":"Q2151259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff6413fa46ddaf45a8b55353df04e899fb5a57a","datavalue":{"value":{"amount":"+0.9161735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972169$74407D3E-947A-4054-BC47-37A9A7462F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ff105f4c1053c689989fb0629a9a1eb9d9ef67","datavalue":{"value":{"entity-type":"item","numeric-id":278752,"id":"Q278752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac67ab9273955c79d3366c7868921621e92f90d7","datavalue":{"value":{"amount":"+0.9043063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972169$3FDB4042-E53D-4C0F-ACF8-C2C11B2082A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37fbafcccaf439e1f7cb33ef651e7a286c92fdd6","datavalue":{"value":{"entity-type":"item","numeric-id":1604722,"id":"Q1604722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e10299a2d0e68e5c4c1c913e6cfb82aeda6b8a1","datavalue":{"value":{"amount":"+0.88860375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972169$BDED12FB-AEC2-4DC2-8FAD-9949701AD172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f3a06311c023d367b92b07af15f2f9dfce8d5e","datavalue":{"value":{"entity-type":"item","numeric-id":2038065,"id":"Q2038065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30272db8a8f2d1c639e28800003e6136547dcae","datavalue":{"value":{"amount":"+0.8876084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972169$D3363992-8B4E-4806-B12E-61296664C381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1c152bf3510222c0de680e6cdc60faf90919728","datavalue":{"value":{"entity-type":"item","numeric-id":888417,"id":"Q888417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60b9d067c1f1327e98e2da404b2bc750f4dcee2","datavalue":{"value":{"amount":"+0.8820232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972169$3F808074-0E4A-4048-A322-85B6C8F7D3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b036a19e6b9efe4301f1b71090aff3642e95c8","datavalue":{"value":{"entity-type":"item","numeric-id":4997237,"id":"Q4997237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da072d3283054f02493e45d3c84b1ad6f50dc9d5","datavalue":{"value":{"amount":"+0.87806004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4972169$176E7C49-F3DB-4830-BBDB-C2292725A908","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972169","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972169"}}}}}