{"entities":{"Q2163153":{"pageid":2173896,"ns":120,"title":"Item:Q2163153","lastrevid":55420069,"modified":"2026-02-17T15:59:26Z","type":"item","id":"Q2163153","labels":{"en":{"language":"en","value":"Enhancing expressivity of checked corecursive streams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570111"}},"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":"Q2163153$33E15521-6EA8-4DE7-BF3E-32301C730943","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"071798e3d30d4a1f947b15a4f4f2d0e01e0e2b58","datavalue":{"value":{"text":"Enhancing expressivity of checked corecursive streams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2163153$82B5643F-DC4A-49E7-A439-24B77CA17CBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb9ba04ee25a7fa5eb424e4c8aac4bab0eb825d5","datavalue":{"value":"10.1007/978-3-030-99461-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163153$E78BEF6C-179C-4DDE-878E-4BE096DAE9A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0590aef4ebe74f98a7f136dabe76b5620737ce3","datavalue":{"value":{"entity-type":"item","numeric-id":737081,"id":"Q737081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$6E52469E-B9BA-4B2A-9C4F-4D6221C2C76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c323a67b651e2b3df4fb10e2a531590b16706f34","datavalue":{"value":{"entity-type":"item","numeric-id":2163152,"id":"Q2163152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$460B8281-4955-4EE3-B54F-F99CAD9C8017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f448c722ebdcd657017d2557fee6ee764cbfbc2","datavalue":{"value":{"entity-type":"item","numeric-id":418192,"id":"Q418192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$CD0F080D-C042-4984-B23B-5D2A553817F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b803906f970976a55a1ec0e1b8bcb05742777ca1","datavalue":{"value":{"time":"+2022-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2163153$2D77280F-AE2A-4F1C-9EA5-22CFF6212FA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ded4e0dfacc4b1e3331cef57b01a5c8ba3f020bf","datavalue":{"value":"https://arxiv.org/abs/2202.06868","type":"string"},"datatype":"url"},"type":"statement","id":"Q2163153$BA6B9303-DACC-42AD-9340-B7E7B18A829B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163153$C8305265-DFE4-441F-B256-5FDE4DE444C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163153$F1DEE5A2-2E23-42D0-B12E-1C2DB8E47C4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b641f4d72196e9aab65fd694f1bb7e1dd3fef11","datavalue":{"value":"7570111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163153$289AC910-51E0-40D3-BB84-2DE00EBE4EBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163153$DA0C8085-0963-4943-AD80-258D70D0307B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c51cccffae59c64d763e20e065217f0735ac7f9","datavalue":{"value":"stream programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163153$E2F99706-8B5A-4CAB-B272-FB13DC765B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4466256eb72758e5b533e52c735f6aeeef993a9","datavalue":{"value":"runtime checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163153$F78FA4C9-E70A-4AF1-B178-C80DCA64BE7B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8510cde1c8aae0f11e7e3f07edb7c4c1b96dfe0","datavalue":{"value":{"entity-type":"item","numeric-id":27977,"id":"Q27977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$885F0F52-64E6-4ABE-BF32-FEADFA4D6628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6bf5d182c03ad7eaae6ca4e9e19901e0a0522cf9","datavalue":{"value":{"entity-type":"item","numeric-id":40984,"id":"Q40984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$F6EAFB67-6566-4B9A-AE6B-96FFF786FEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aaf8dd45690b9bd64bf3c03b06a399335c136008","datavalue":{"value":{"entity-type":"item","numeric-id":34448,"id":"Q34448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$6C7574D6-37B0-4EA5-BDA9-F259ED701D58","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":"Q2163153$99832767-42CF-4CCD-B440-CE7AECBA5AFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41d4c1f41ff4e7cc1c7fada9255e4297ee2969ec","datavalue":{"value":"W4285287304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163153$79684C19-A15A-4966-A95B-26F48A9BD7A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1fe7ef5fb163e3ca6a62afabf21d3b9988f397d","datavalue":{"value":{"entity-type":"item","numeric-id":2163153,"id":"Q2163153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$4466C919-D973-41FD-8F95-4AC057066C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbf87acd3350568cc9210548287e9db78aa6fe9","datavalue":{"value":{"entity-type":"item","numeric-id":2988632,"id":"Q2988632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$7E74282F-115B-455E-88CA-51B6350A8E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd5079615f96894df24ccb2d6429a635be0264e","datavalue":{"value":{"entity-type":"item","numeric-id":3187007,"id":"Q3187007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$69EF9BD2-A984-455E-A2E6-4F1119883342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$9A4E0CF9-2C58-4FB6-9258-C89C98A0D87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2065e388586ce1572af19955b9a42ddf58d8bca4","datavalue":{"value":{"entity-type":"item","numeric-id":5109521,"id":"Q5109521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$46FD6F85-14C1-4B30-86C4-9EE331EAD38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265751ac38011ad2d07c56df61acf97e47976149","datavalue":{"value":{"entity-type":"item","numeric-id":5028421,"id":"Q5028421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$CD878DAB-4B1A-4F1F-8F80-DD566F52FBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4f440a51a6c277fd1903f31867b4ae6407809e","datavalue":{"value":{"entity-type":"item","numeric-id":5140017,"id":"Q5140017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$C94A2B0A-BBCC-4C52-B442-116E3FB65C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f7ca26c971bc69787decc3ce6effd7fe1a33d6","datavalue":{"value":{"entity-type":"item","numeric-id":3021409,"id":"Q3021409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$403A986A-2FEE-4DE4-AD7A-01784214757A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85de0825e7ed1700518715e73501398cbb77cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5178454,"id":"Q5178454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$C16279BF-6A03-4498-B4D1-CA977FE0ABB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df85299b891d6947b1b4eb9574fc8cc370415c8","datavalue":{"value":{"entity-type":"item","numeric-id":4589614,"id":"Q4589614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$A2E37413-105C-4B63-AA5C-F8E979FBAFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b8fc5b07d88fd354ded6b197cb3b095dd6cc909","datavalue":{"value":{"entity-type":"item","numeric-id":2409734,"id":"Q2409734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$FB090E44-C005-4B05-BFBB-45121CEC9834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51d40ac128d3b8f56437d853da9c099079feae2","datavalue":{"value":{"entity-type":"item","numeric-id":5739982,"id":"Q5739982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$EDC13783-AF1B-40A9-A925-B5B5C29F5FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a27f25eaea1a52ec5d63d6f8282ce8c085888","datavalue":{"value":{"entity-type":"item","numeric-id":4657752,"id":"Q4657752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$26F9C4E3-9A24-434A-983E-3563AEAE1BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d64794bab5e453242923fdf7012c2074f72fd8","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163153$511790D2-421B-4199-A487-9FDEC6C4CD08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7356790cc666884d18d63aaf192e83e2687d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3638255,"id":"Q3638255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209017a14714d023f6f4aaa89b30d9a83e8f48e1","datavalue":{"value":{"amount":"+0.7294104099273682","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":"Q2163153$AF05729E-FAE3-4C0E-BC7F-7D183DF2BEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453052794caa9f3a91446d745b355f91fc780b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3636825,"id":"Q3636825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7126d51e51bf76f9523faec3e9c4d597e8571e","datavalue":{"value":{"amount":"+0.7165456414222717","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":"Q2163153$03DA5306-DC69-4844-A43E-C3F43B78B1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e45312b902d4b388c09e8ac8aab7723d5e6c90","datavalue":{"value":{"entity-type":"item","numeric-id":2786138,"id":"Q2786138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cae68b9af0b898bf21496a669e06f0fd1ea6fb6","datavalue":{"value":{"amount":"+0.7151615619659424","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":"Q2163153$A2CE8340-0480-4770-8621-451FE8EBCA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a24c6318879f479aa915b3881e10ee1da5afc9","datavalue":{"value":{"entity-type":"item","numeric-id":3021409,"id":"Q3021409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb032ec8cec30c0849efb8f6abc2f324cf3a871","datavalue":{"value":{"amount":"+0.7032275795936584","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":"Q2163153$CEA9E8B1-AA2A-44E6-9770-859FE13C6DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bdeb866c8a0409b8ee602ec5407fee50d1a893","datavalue":{"value":{"entity-type":"item","numeric-id":846366,"id":"Q846366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c207a68a4bdd24adae2ca1b282f4ebe07d75c99","datavalue":{"value":{"amount":"+0.702180802822113","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":"Q2163153$07CFFDA2-B68C-47FB-B095-6E54F3B1B9B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2163153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2163153"}}}}}