{"entities":{"Q6080265":{"pageid":13214572,"ns":120,"title":"Item:Q6080265","lastrevid":39688278,"modified":"2024-12-30T17:15:09Z","type":"item","id":"Q6080265","labels":{"en":{"language":"en","value":"Model Checking of Stream Processing Pipelines."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7744948"}},"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":"Q6080265$E637C4BF-2ABD-42BC-9EAF-90AAC5F749A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a2371e3d4fe44ad4329db29d87b548753ca9019","datavalue":{"value":{"entity-type":"item","numeric-id":6080264,"id":"Q6080264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080265$BDDB457E-118E-4BBB-8816-004F29CE2D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df98ba1ad54aaae61f6053ad5cf57bfadfd2c2e4","datavalue":{"value":{"entity-type":"item","numeric-id":420852,"id":"Q420852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080265$3A407E85-1672-4E2E-B43B-81B4592BB4E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e68dcb3ce5566cf2b4bd7c1def923cc7a3f373d5","datavalue":{"value":{"time":"+2023-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6080265$70FC05A6-E51A-4F8A-AAD8-5DE2F974CFB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080265$7F559FC9-FF6C-4292-9F43-4E3A2A83C666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080265$3B1E15CC-200E-4C70-B00E-22BB31062EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080265$E1AB13AE-07B5-44EF-9BA6-232F8957097C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bf181ecad602e84bb0dd5af28bee28986bd57e3","datavalue":{"value":"7744948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080265$62D14351-A22E-4F4B-8EEA-D20987D8F1D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cb7df356c050a3f4c2b24603e616c98a797c193","datavalue":{"value":"stream processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080265$F6723A9A-18B1-4CCB-A788-A0FE358ED47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080265$E6F1B922-67CE-4DA9-803E-581EB2253771","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":"Q6080265$AD851201-F3A3-431F-B093-995FF17C2310","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0de57b0843fff80267225f75a4485d391380ba1","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2021/14781/pdf/LIPIcs-TIME-2021-5.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6080265$68B16094-A190-4B8C-8902-929880F5714A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8377e22aa861c7b0b07c49dc4eaa468afb4a0d89","datavalue":{"value":"W3203056386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080265$63A38DEC-0A33-4B2A-A8D1-F0E672A7ECBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70b0a99df5fbcfd065a3b0ed8818e64766d1195e","datavalue":{"value":{"text":"Model Checking of Stream Processing Pipelines.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6080265$28C74C58-29CD-4D7C-85B9-F34B295EA6F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"974c8a43a963ec379212ac9f3cab8be6554f446a","datavalue":{"value":"10.4230/LIPICS.TIME.2021.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080265$98012256-0D1E-4758-81F4-8E213915D3C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6080265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6080265"}}}}}