{"entities":{"Q4589614":{"pageid":6619199,"ns":120,"title":"Item:Q4589614","lastrevid":52954325,"modified":"2026-01-23T21:46:49Z","type":"item","id":"Q4589614","labels":{"en":{"language":"en","value":"CoCaml: functional programming with regular coinductive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6805751"}},"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":"Q4589614$BDDA22B8-DA1B-4B0E-B653-C99B52C8C0CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cabc1f8542671e8043757dd3ba00c48835071dfb","datavalue":{"value":{"text":"CoCaml: Functional Programming with Regular Coinductive Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589614$62F0619F-4C54-47E2-BB1C-614231B1B07F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c2b5d262a7576292a278886233f4e637636783a","datavalue":{"value":"1374.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589614$8970AA18-9E4A-4214-9F55-3ED1CE04C461","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8470868b0233bc5c04000f740b9f0d63455505aa","datavalue":{"value":"10.3233/FI-2017-1473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589614$A73461DD-B0EE-403E-A0C0-5F7C1E3AD27E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a293d3c01873937a328da619df7f3ee7f55a9d28","datavalue":{"value":{"entity-type":"item","numeric-id":2164255,"id":"Q2164255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589614$1FED5A43-7C7B-47A5-9A80-D9EDA06F2D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589614$811DBFAC-1841-4779-ADC7-3B2C3371C9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589614$1EE5527F-5E7D-421B-A033-9001748469A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589614$6283F042-1853-4797-BCF6-574A62185C1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c851dddc18687fa1af98fb94fafafdff8d946b43","datavalue":{"value":{"time":"+2017-11-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":"Q4589614$F8DCE720-24ED-4D54-A10C-15C2D05AD915","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589614$07432449-DFC3-4A5B-B63B-1A6AA466DDF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9edcf77b3411929d496c08772dc63a4ba031d13e","datavalue":{"value":"6805751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589614$1ED385A0-48E9-4F88-9145-03B79430F8F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589614$432BA72F-A594-43D5-A285-2D0636AFA73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589614$7F0D1330-8733-444E-B9E9-8A86A643BD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589614$399B0705-2D87-489B-87ED-208D7FE85B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589614$FA5E14D6-EADF-4927-9870-46CBD8660BC4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589614$D798A92E-16E7-405A-9A40-56CAEBB68943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3f721b622c24d3edbe761f2942c39820307165c","datavalue":{"value":{"entity-type":"item","numeric-id":34449,"id":"Q34449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589614$7ACC3AF9-3018-4220-99EA-C7FD53C73895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589614$802199F2-88A0-4AFB-9F35-6FC50B240390","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":"Q4589614$C141FA3E-7FB6-4924-8597-FF4FF769BCA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1750cf619f2658beb138f04da8c0ae60005f4a","datavalue":{"value":{"entity-type":"item","numeric-id":639643,"id":"Q639643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b39f17226acea2cce2a395412fcd5e5ff9e9af5","datavalue":{"value":{"amount":"+0.7534564137458801","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":"Q4589614$E2A983FE-D5DB-40FC-88BC-847BF5D46B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5e3d6f4afd8e41814f819c21c23f4499f8380f","datavalue":{"value":{"entity-type":"item","numeric-id":2718773,"id":"Q2718773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db28ab4a880efa8ea13e92bdccbe9bf205c5b616","datavalue":{"value":{"amount":"+0.7276020050048828","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":"Q4589614$1240D062-9E1D-4E4A-9DCF-CF9E6512E754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d2fca8c3bbcf61d181e1b6fc3227d48fa7f5ee","datavalue":{"value":{"entity-type":"item","numeric-id":2931780,"id":"Q2931780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0c87ecdfb5671106f51dabfc54362715729e21","datavalue":{"value":{"amount":"+0.726722240447998","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":"Q4589614$8043274D-1DD7-44BA-95FE-C85F28ABB6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b46f89790ac94347ac0394482b5c39e63a890b9","datavalue":{"value":{"entity-type":"item","numeric-id":2888481,"id":"Q2888481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95307a42bd1924ec958de66366a726c3a6e63932","datavalue":{"value":{"amount":"+0.726012110710144","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":"Q4589614$F02AC060-3A10-4415-A725-9F0C63D6FC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9892fc98bbefb0a9f2ddd559807aca5e8db6622b","datavalue":{"value":{"entity-type":"item","numeric-id":2949454,"id":"Q2949454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e2809977f5d6968e06b35cc7d1a728c70fe103","datavalue":{"value":{"amount":"+0.7171398401260376","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":"Q4589614$2E4571BB-FF0B-44C0-9EE4-CAC88956C89F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589614"}}}}}