{"entities":{"Q2566066":{"pageid":2576809,"ns":120,"title":"Item:Q2566066","lastrevid":74231211,"modified":"2026-04-14T19:04:59Z","type":"item","id":"Q2566066","labels":{"en":{"language":"en","value":"A term calculus for (co-)recursive definitions on streamlike data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207222"}},"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":"Q2566066$0E4E44AE-C257-4F4B-8BF1-6DF1D2AC8E2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c7264c62e29f8440063a4cff524f94ce824e638","datavalue":{"value":{"text":"A term calculus for (co-)recursive definitions on streamlike data structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566066$EE5E4111-54E4-4BD7-8243-DE2FC559776E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2151ccc355331c8a353fd6f089079f2423a357fd","datavalue":{"value":"1093.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566066$6801ADB2-0F84-4DAD-8D23-B7CD2F5ABBEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3d0fdc4dfe73f15e4cc6198de2fda062014c98","datavalue":{"value":{"entity-type":"item","numeric-id":204229,"id":"Q204229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566066$AAD1E4E7-55A0-42D0-9253-7E8A26F122BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566066$C9E3DB19-52B2-45C1-A36D-DE539BAEA3A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-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":"Q2566066$0E093CA7-FF99-49CA-9ECB-ABA06E152928","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566066$7DE51FBF-E3EB-4879-B651-90246D6017E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566066$8DB768BB-0280-4A34-9660-3A3924922A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566066$89CC6400-250A-4D64-BBC9-1372CDD07FD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e46a4080f5c21dd88d234abf58ba00b59e27b3e6","datavalue":{"value":"2207222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566066$6CE87AE9-3C6C-4ABB-8737-5E977F0AADCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb22c817f6bc4939801d087a919c29061333765","datavalue":{"value":"simply typed lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566066$D29E1B3E-7909-4350-9470-A5C97FAB88BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a13c0d6462ef89bcbdd64747a2e307f6c8ece327","datavalue":{"value":"(co-)recursion equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566066$45C8D82D-AB3C-4909-8D51-730C37FA294B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c1c321c548d2f86d7977334abf4ff1aaea7ba85","datavalue":{"value":"continuous cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566066$053C701F-95FB-4E33-B2EB-359FF39807D2","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":"Q2566066$E6CB3362-BD1D-43E7-A4EA-18409499057A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"daf2f92cce76c7f8f9b9158c185e91e3ea066278","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.05.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566066$51547EBE-72CA-41ED-943B-C80735E2B67B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"310fc93dc5a8966cf5d3b48edfa9f53d67e0ed61","datavalue":{"value":"W2019066753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566066$5A195D36-036F-40AA-BF4D-C88DFB399B9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8465229f1314ca485971299fba6aa8e5b3b8a447","datavalue":{"value":{"entity-type":"item","numeric-id":4435467,"id":"Q4435467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566066$37AC00F5-B869-45D5-A7E2-EEA42C9C795D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaec9cc3d989538551266d7715353746088ba613","datavalue":{"value":{"entity-type":"item","numeric-id":4945204,"id":"Q4945204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566066$375EBE44-D106-4486-A591-107B7D8B3D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f21ae813780ffb1b14b622d2c99e2bf7de1d2","datavalue":{"value":{"entity-type":"item","numeric-id":1254248,"id":"Q1254248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566066$CC57EB89-806D-4650-864B-245C39837C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b696a588c8daf7d9300817ea999e8a22f654905","datavalue":{"value":{"entity-type":"item","numeric-id":4023580,"id":"Q4023580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566066$CF2FFB6A-DF05-4E8B-B727-04B4A6B42616","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"828c8a448da8d1f734f6d8a6726686ce31b6f07d","datavalue":{"value":"10.1016/J.APAL.2005.05.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566066$73A4112A-3F82-41BB-88AB-DBA08D19D26E","rank":"normal"}],"P1643":[{"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":"91457f86dfa0e89942097c8860b7f27451627f21","datavalue":{"value":{"amount":"+0.7777034640312195","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":"Q2566066$49EB0D91-A743-445E-B555-A83C036DC952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc9e25ad3d8ddf2b0399889ffd5a4393c97d357","datavalue":{"value":{"entity-type":"item","numeric-id":4657752,"id":"Q4657752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd566e13ddb231de09a49b99ec073e6117f4686","datavalue":{"value":{"amount":"+0.7728138566017151","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":"Q2566066$1FFD616E-4F04-43E9-9C37-81832C847BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bc1f4262c020a297002138e11c4f957db4662a","datavalue":{"value":{"entity-type":"item","numeric-id":688729,"id":"Q688729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1caefa00879a688748dca5dc3703840429ce96","datavalue":{"value":{"amount":"+0.7643164992332458","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":"Q2566066$5113C1D3-EFFA-4A88-A014-A36B1F426EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aeb7f8f199861bebb80e0e182c586fc5b5aaf97","datavalue":{"value":{"entity-type":"item","numeric-id":4917066,"id":"Q4917066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae230847f7e654527e63892db6b894ee8f01ff3f","datavalue":{"value":{"amount":"+0.7609066367149353","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":"Q2566066$09D2F08B-ED53-47A8-9D4F-588FE825A47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84d0c0513e8d7d92c4ca5d0c323570ac39f7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2757815,"id":"Q2757815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80df054767929158c24f67a02d1605423d2b5069","datavalue":{"value":{"amount":"+0.7546380162239075","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":"Q2566066$E7D2D799-FF3E-48C5-BA60-917655BFD688","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A term calculus for (co-)recursive definitions on streamlike data structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_term_calculus_for_(co-)recursive_definitions_on_streamlike_data_structures"}}}}}