{"entities":{"Q2802465":{"pageid":2813203,"ns":120,"title":"Item:Q2802465","lastrevid":44693808,"modified":"2025-11-25T03:31:23Z","type":"item","id":"Q2802465","labels":{"en":{"language":"en","value":"Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573726"}},"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":"Q2802465$14973BB8-4A84-4E3C-974B-97F06ED6A70B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc8ab17c0cce9fb3319cd9c956e82670049c6285","datavalue":{"value":{"text":"Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802465$3F009461-AB49-410C-8E5E-24FF027ABBE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2afa1d409fbfd3d1076227c31e53ab496f75e7c4","datavalue":{"value":"1335.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802465$86B0E026-B9A6-468B-BCB8-925D49587A69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63019f79ee3701cf5e7b3b07b9be4b1650e2afbe","datavalue":{"value":"10.1007/978-3-662-46669-8_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802465$B87C7E67-9F08-46A9-B1D1-63E555D41E48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b80a6804cf30b020aea4b4451d66da710ddb61a9","datavalue":{"value":{"entity-type":"item","numeric-id":2398174,"id":"Q2398174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802465$B9B1319D-9E24-4617-B6A6-10DA7DFE0FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3eee02b3435de9df7803ad05ce1f6b032bb186f","datavalue":{"value":{"entity-type":"item","numeric-id":2398173,"id":"Q2398173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802465$9CF0B39C-DCBC-45D7-9400-C225D29668B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7caf918ebfde63ac64127671232bbb1ceaff1199","datavalue":{"value":{"entity-type":"item","numeric-id":656849,"id":"Q656849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802465$430616F0-85E6-46CA-A86A-11D1864D510F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9cbab8cb9619eb1f53de501c60c49def4220f6e","datavalue":{"value":{"entity-type":"item","numeric-id":604858,"id":"Q604858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802465$03D58690-AB0F-43A5-92B9-4A8E4C57AA9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802465$A847D3A8-7C72-4272-BEB3-C2E36946DF62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2802465$2B1BC832-7820-4A95-801C-38D44896E8A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6e769736260561c359f53c868c0cc6eac54bc00","datavalue":{"value":"http://hdl.handle.net/10023/8612","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802465$4CBEC5B8-E604-4C0B-97D0-47CD71ADC007","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802465$BF6DE45D-3510-412F-A250-1769A7C70F1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2682ce9c2262a9a2c5036d7081491caa4b415d4","datavalue":{"value":"6573726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802465$0DFB416D-0654-454C-83CD-34B0F56289EB","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":"Q2802465$BB3E7A4F-A8F2-46CA-8484-FC1E70854859","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20a3856cfb5bb8044fdac11461b13a49055d6444","datavalue":{"value":"W2294370068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802465$AE3FD325-C0FB-41FF-BCC1-919DCDAFF83D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9246b1e080d6a4112e7941229a01a4beb65cc08","datavalue":{"value":{"entity-type":"item","numeric-id":2398175,"id":"Q2398175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e2476677cc93a21b4ef34be3cc67486b1675fe2","datavalue":{"value":{"amount":"+0.92143047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2802465$F4672FD1-4D3D-4464-92BB-0DA80DD65725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178bc87819fd267d8361ed460b2cc49c66665d06","datavalue":{"value":{"entity-type":"item","numeric-id":1349683,"id":"Q1349683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc5b46038569d3094db2e7ff720eebc7c7467d5","datavalue":{"value":{"amount":"+0.8900671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2802465$66E17F35-D5D2-47DF-AFC0-A3B4BC3B39AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc11f67327686a9fba8db1679156961999e08c9a","datavalue":{"value":{"entity-type":"item","numeric-id":1001354,"id":"Q1001354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c95d2dea8b93f07ceb0671fe35d73618ca9d90e","datavalue":{"value":{"amount":"+0.8687072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2802465$FDDF113C-0483-4D64-940D-A04D0E39F99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b400db7f0493ae4017b7b62a2ed6376ec704a0d","datavalue":{"value":{"entity-type":"item","numeric-id":1687755,"id":"Q1687755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5426d926771dad6d0b6427c44a2f516c2b60c48","datavalue":{"value":{"amount":"+0.8682467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2802465$71B9F657-FEE4-4582-84DD-EAECB6043FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed501ddecd6f1e80052115c9637e140c2cb3a19","datavalue":{"value":{"entity-type":"item","numeric-id":1275747,"id":"Q1275747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31cb574ca9a48f5f36fdfc44f8d9f93a2a8e23e6","datavalue":{"value":{"amount":"+0.8658739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2802465$0973B5AF-36B8-4254-831F-8E99033D387A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d49f434c9a0bbd35bde8a7b6c9cc6649f54be3","datavalue":{"value":{"entity-type":"item","numeric-id":4236863,"id":"Q4236863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db03c13cc102770a3ad5a46d1d415a1981e5b70","datavalue":{"value":{"amount":"+0.8621958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2802465$1D0EF361-F5A4-493A-A454-DD671025E46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2e6b63dedb3af9e19d0ce2c21b577ec9222db1a","datavalue":{"value":{"entity-type":"item","numeric-id":4311530,"id":"Q4311530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b3553e26c848b1d881468af685127263706f2c","datavalue":{"value":{"amount":"+0.86091924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2802465$5746D15D-FBF6-4265-AC7A-38948229A80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fdbeef4bad43fa44b67657eb2dc1e79983d1c1","datavalue":{"value":{"entity-type":"item","numeric-id":4236760,"id":"Q4236760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0cd6ce19bd366302d0afbb46cdd2baff0508ac","datavalue":{"value":{"amount":"+0.86052394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2802465$62CC0246-548A-4B69-947E-FFBD174B8C0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2802465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2802465"}}}}}