{"entities":{"Q2942925":{"pageid":2953645,"ns":120,"title":"Item:Q2942925","lastrevid":52343720,"modified":"2026-01-22T09:45:34Z","type":"item","id":"Q2942925","labels":{"en":{"language":"en","value":"Static prediction of heap space usage for first-order functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481295"}},"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":"Q2942925$4AFC9C90-33B2-468D-B918-84AB64B2C297","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f42bd8ff4ef96b6b6784460987e45e76929613f8","datavalue":{"value":{"text":"Static prediction of heap space usage for first-order functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942925$0EB362B3-7468-4C40-AC63-296B64FB5F50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29f1284e2b4fac3443e020ab5cf627937aced39d","datavalue":{"value":"1321.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942925$0543A109-52C5-4329-BBDC-4954D07E6353","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59dfcb795c250d63a712501632dfcbd4d4782936","datavalue":{"value":"10.1145/604131.604148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942925$F65CD9D9-720B-4422-86C3-331461E05574","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942925$33AF1E65-5E41-4A9A-8453-A2AB1A9DB68E","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":"Q2942925$B71DDFAF-7F2B-4432-BB7B-9E52B5E564C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fe4faafe02e13d99969745e2d33def8fcff86e5f","datavalue":{"value":{"entity-type":"item","numeric-id":2942908,"id":"Q2942908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942925$CDFD0B99-44B1-4A22-8151-8232AA76B7D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942925$7DFEB350-A8C9-4E55-A9A5-95476B90DBC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942925$C1A92765-7166-4FE8-8972-869C96BC2920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942925$CE047D19-D2DC-4C36-A04B-CDE44C231530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942925$BAAEED45-AB03-4B8A-AAF6-73E4929E0AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942925$6DB5C1DC-5FEE-4750-B937-452C02FC3D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942925$254851CE-2B12-4DB5-A6C7-C97A1205F54E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4368361daeb8713006aa2401f50d4dcb892cebb0","datavalue":{"value":"6481295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942925$C7F3887E-3DA2-40D2-949F-401E0F5E3D92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942925$C38CC54F-E944-4A74-91D1-459DE5612100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba813033450a4388c099d98e1235b855f629520","datavalue":{"value":"garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942925$CDB800A9-BD29-4F51-BA42-3B2509560E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a3e71e20fbe4cf516e0d9a07fc090360b67b372","datavalue":{"value":"heap","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942925$3EE38F04-C551-4E36-BB5E-864CD9A44F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942925$36F52C90-A4FB-431C-A8C2-332BDA15F628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a4d1df3248b5d4a0c18f406a6ed3603fb9672e","datavalue":{"value":"resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942925$B8F9EE3A-7D5B-48F2-BAC0-B93E837E43B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d706235782527c086190bdadd5c408c9fe2bed8","datavalue":{"value":{"entity-type":"item","numeric-id":53376,"id":"Q53376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942925$F4157514-F8E3-454E-8508-6B44E75F0DCB","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":"Q2942925$49915931-1646-4393-AFD4-80CB5DBD9278","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22f78e4c0f756cfd230d43e72ac409f6e0ebfa47","datavalue":{"value":"https://doi.org/10.1145/604131.604148","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942925$CE2D19B9-E34E-4C0C-B18A-EE17927EF456","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8df293c821c7c5815fa554dfc16caf1ae170e3ec","datavalue":{"value":"W2068055184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942925$D79A356A-970E-4196-A2C7-EBC8D21130D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942925$150B121B-7085-49EB-8A21-67F90A973488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942925$730D9444-AE52-4EA7-AE42-8402B583704E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329875360c314fd0af99b4311a7c2ffceaa68e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5178874,"id":"Q5178874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942925$033A2FEE-DA57-45B6-9AAD-0ADC9C5ED1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7f104c50f7164f6e83866a4193e8564362ebd9","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942925$6976113F-2DA9-4B3D-B9FA-8D0AEB397600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351879948b4564c55d2d068ea5683d8ac895d03c","datavalue":{"value":{"entity-type":"item","numeric-id":4414525,"id":"Q4414525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942925$75088F76-449D-420C-81B7-4C5D3C5485B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942925$D6D92703-FDBB-45ED-8B76-58F1DB69C581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942925$51425F4B-6F1A-47B5-A866-64DE55503647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0311c2c4996c9c68c0443bd4383ed0d4a789f29f","datavalue":{"value":{"entity-type":"item","numeric-id":4409150,"id":"Q4409150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942925$B2C6D428-F424-40CA-A14B-72F5A2624DE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b8b2f0cf61faae727ab82c2da0d15c6a15b4ee","datavalue":{"value":{"entity-type":"item","numeric-id":5222979,"id":"Q5222979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71261534d9549c8e6c651c0f54befa3fb985279e","datavalue":{"value":{"amount":"+0.8046889305114746","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":"Q2942925$CA55C089-53C2-4998-A074-D903A34129AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a1725efbd68e51171ef4e1cd33947ed37410a2","datavalue":{"value":{"entity-type":"item","numeric-id":5747629,"id":"Q5747629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df3b25816e5c6c7f8ed2189942a7f1d3e374156","datavalue":{"value":{"amount":"+0.788415253162384","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":"Q2942925$94B47EB9-BB82-4EBB-BBDE-077154C05683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3c2dc0c3aec795bd8db563e2af25af22b3ea3d","datavalue":{"value":{"entity-type":"item","numeric-id":5168911,"id":"Q5168911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b06ee10776498509f126ee8c8c2d16d1a5ce2d2","datavalue":{"value":{"amount":"+0.7810091972351074","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":"Q2942925$742ECBE2-E090-4718-A914-073A16CCE8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc73fb4058c82fab6a15f357468f2b43b9f1a5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3617700,"id":"Q3617700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ccc2158ed55e312471c1f11f3aa6b4c8398a5f","datavalue":{"value":{"amount":"+0.7635455131530762","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":"Q2942925$4409E8F4-3512-44C2-AFDC-5D0A453F5E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37261594906027933722ad059b0ae71232e5f7ac","datavalue":{"value":{"entity-type":"item","numeric-id":3644757,"id":"Q3644757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e53e05d237cf8c726fc8e5fde430ba139fe5ca","datavalue":{"value":{"amount":"+0.7592750787734985","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":"Q2942925$02BAECBD-1D0F-457E-84FA-A6A60620A9ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942925","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942925"}}}}}