{"entities":{"Q2038065":{"pageid":2048807,"ns":120,"title":"Item:Q2038065","lastrevid":57691191,"modified":"2026-03-31T22:32:15Z","type":"item","id":"Q2038065","labels":{"en":{"language":"en","value":"Declarative stream runtime verification (hLola)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370088"}},"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":"Q2038065$069723F2-E287-41D9-901F-79E1E85462E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98014b870b446cd15da124ceba42822d2c51d00d","datavalue":{"value":{"text":"Declarative stream runtime verification (hLola)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2038065$449B7FF2-D382-400C-A2D9-4F73578D99BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd0547df91ff66aa6cfbc531a1ea1a38afaec400","datavalue":{"value":"1476.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038065$BA0FFF01-C810-4E0F-92B9-3FABCFDBA4D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65bce17e6a0aeeb36cc905f7eddbb2dea4fe7de8","datavalue":{"value":"10.1007/978-3-030-64437-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038065$20CF69E1-5559-406C-BD1C-B1115C3086B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f41e617076ce4f3b9954964c0e8a14aaff334755","datavalue":{"value":{"entity-type":"item","numeric-id":2038064,"id":"Q2038064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038065$0BED2402-2AE9-469D-A528-7E74E394D33A","rank":"normal"},{"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":"Q2038065$1A71BA99-B23B-4BCC-8E5D-A893B501C360","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":"Q2038065$8D61CAEC-D2E2-445B-9F41-C607FEB9E580","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-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":"Q2038065$57A20998-0F8F-4600-B6A8-96B7067B1FAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0827cab8ad48162f5499a569164f62b006a74870","datavalue":{"value":"https://arxiv.org/abs/2003.00032","type":"string"},"datatype":"url"},"type":"statement","id":"Q2038065$A69DC23A-98EB-4521-991C-4D8D45FBB07D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038065$7A4FF32D-3A3F-4FC8-90A5-D42011506E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038065$1C9F7BC0-8C6D-42AE-A2BE-632CB5016BB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cdd7769302b78831f446c4b1e01f791b8138bac","datavalue":{"value":"7370088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038065$E801FC34-F2BB-4C11-AF53-0D50EBB4F832","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038065$7FB7177B-5596-49FD-9B2A-3B528FAD835D","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":"Q2038065$91A89F1E-E1D9-40BE-A5B2-7B3EA8701187","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6b4d564cd4fcb6e9f0af09b837ef360e2e99a68","datavalue":{"value":"W3110413276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038065$23BA2AE1-FB73-4AC9-9ADC-702642BC23AC","rank":"normal"}],"P1643":[{"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":"97ab40d3b1805ef70fe5a2a9e56ec3ffe9656654","datavalue":{"value":{"amount":"+0.8437778949737549","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":"Q2038065$3F31F5DB-83B3-45D8-B682-D31ECB38A6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181c1bd39bf3737ff704657ea1fb9e05eec639ff","datavalue":{"value":{"entity-type":"item","numeric-id":6165893,"id":"Q6165893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08c8d9738bd028c288bc25b17c73e86282f3936","datavalue":{"value":{"amount":"+0.8173205256462097","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":"Q2038065$28E77D48-EA8C-41EE-B2F8-4ABD4F65DDB4","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":"ed20dcf54d5cbff90d29bb41c42f584f681c3bc5","datavalue":{"value":{"amount":"+0.7120237946510315","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":"Q2038065$B99ED140-603F-4951-8282-9947ECDCE633","rank":"normal"},{"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":"23c20355857aa3b470e7ac59422643080e70b71b","datavalue":{"value":{"amount":"+0.7087675333023071","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":"Q2038065$745A3F19-52D5-4165-A1DB-0D61A4889BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ee8fff1c76d4e0123eb64394bb6ab65223b5cb","datavalue":{"value":{"entity-type":"item","numeric-id":5194962,"id":"Q5194962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7f727f81c9118ba242c359ae0757d5adbcd755","datavalue":{"value":{"amount":"+0.7080451846122742","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":"Q2038065$4196DE1C-2D12-4B9E-9A43-E6C10A17E3BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2038065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2038065"}}}}}