{"entities":{"Q848739":{"pageid":850587,"ns":120,"title":"Item:Q848739","lastrevid":64805490,"modified":"2026-04-11T22:20:31Z","type":"item","id":"Q848739","labels":{"en":{"language":"en","value":"Compilation of extended recursion in call-by-value functional languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5677839"}},"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":"Q848739$A1719780-D793-44B0-ADCB-B56848D7EA8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fca03dd67b23d8b95ccd67bb71a34f96d724db87","datavalue":{"value":{"text":"Compilation of extended recursion in call-by-value functional languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q848739$2D3606B4-1C04-4A83-B150-5E7A93A026C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b9911b6bee65968e0263f5bce458a0965c31176","datavalue":{"value":"1183.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848739$B5A5D3F1-AD5C-42DA-8C43-D7545C3F6878","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec17d4de2993980d020ecf108cf8bca2a360f1","datavalue":{"value":{"entity-type":"item","numeric-id":848737,"id":"Q848737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$D8270165-8046-47A0-9A2C-626A8332C45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b1e35c1c4bff0a8e8e775e8600e2e952b118ae","datavalue":{"value":{"entity-type":"item","numeric-id":848738,"id":"Q848738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$8FBE807B-FCC1-42FC-96FE-44FA2A3BB823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$CEE56DDA-BCE9-4D1E-B27F-94BCE2EC0649","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$47D560CC-4ADB-4F2A-ADE6-AE061924C924","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c918ceca2d8787753ffbdd1e7b50754c8a11e0d","datavalue":{"value":{"time":"+2010-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q848739$FBBB3900-E473-4818-8B4D-28CF5E13DDD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"affba4145ee2e71d6a93f8734dac45ac8edbaaea","datavalue":{"value":"https://arxiv.org/abs/0902.1257","type":"string"},"datatype":"url"},"type":"statement","id":"Q848739$F58CAE01-4E33-4554-9995-D9E1B7E193BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848739$BF6C31A0-66B0-4850-A94F-884DE44FB4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848739$04433E5B-3F21-432E-A6CD-DE94916FD672","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b607dca0e82b6ccef504923e03f28ea869a6697","datavalue":{"value":"5677839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848739$02A335F0-D3DA-4C15-8344-11CE5D8A02A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30465c7253323499b5cce6c4f064def1ef2d4445","datavalue":{"value":"compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q848739$3D00F9D4-2F7C-409E-B42E-013C97745F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q848739$0A5B99DB-FED6-4EA4-8EE7-6A788B901E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q848739$83912D6D-E6B6-4A4A-9F38-EB3875A38897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6994160a73e2ac5e1968b6d67e1b2ffa55636f37","datavalue":{"value":"functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q848739$19C43A71-3F07-4A7C-8F09-8899373B97E3","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":"Q848739$5559F74C-C43C-46EF-BCB2-A51300AB31AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$446A85B0-305F-4F86-AF9C-1D0C74B7C2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$BA934CD3-84F4-41B9-84E0-CD8069446A39","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":"Q848739$A4AE9C08-CC5E-4B92-92A8-80E3F6FBD469","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6686a959624a1e2c60dd915084cdf079b63ecfd","datavalue":{"value":"W3101389771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848739$31C8A3A8-71A1-4B10-8F8A-F4C9674F7125","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a3a8b14ad4f777fb81b522e209f9494238a008","datavalue":{"value":{"entity-type":"item","numeric-id":1849854,"id":"Q1849854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$B7D3E9B1-72F8-467A-BC1C-C319612D70DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d677aab35caca6f2a2227d82b3ed04cd1b42ae0e","datavalue":{"value":{"entity-type":"item","numeric-id":4669643,"id":"Q4669643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$4804630B-4F3C-4660-970D-1AE2F62BC279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94ed805160bdc6a0d6461ad1d64e54880b068a7","datavalue":{"value":{"entity-type":"item","numeric-id":3332229,"id":"Q3332229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$098FF6D6-32CD-4F79-A916-732BF20088DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$6E7D3753-B10F-49CB-B51D-715937A17C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d3d1f2114b47590f0d1497a19595dcbd3f7432","datavalue":{"value":{"entity-type":"item","numeric-id":2848119,"id":"Q2848119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$B9BAFC97-9A44-4CC2-B20C-710B64BB7A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbfc7a5bc3ffe9e3bcc491eec63005c39f34171c","datavalue":{"value":{"entity-type":"item","numeric-id":3452268,"id":"Q3452268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$125361FC-92A3-446D-8FE5-2C7084CCCD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613fd3acc99203fa97250ff46d549d742b0cc964","datavalue":{"value":{"entity-type":"item","numeric-id":5168934,"id":"Q5168934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$1D307FAE-9211-4B5A-9CC6-483183780AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90520da3a234ef2ca5478c44ea125d2ce226e91","datavalue":{"value":{"entity-type":"item","numeric-id":2943368,"id":"Q2943368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$A33F98B6-2F6D-4FA3-86E1-97B76611539B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$D62D494E-5B69-40E3-9B9E-D04DDAEE3B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a2d54dba8e7f265e70897e72be8c1f98da3445","datavalue":{"value":{"entity-type":"item","numeric-id":5308023,"id":"Q5308023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$24E93AB4-5431-40C7-968C-7072F22A6B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81410954c41bec77d5fdbcabd91ccf7e41ceab73","datavalue":{"value":{"entity-type":"item","numeric-id":848739,"id":"Q848739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$2551B1DB-F036-4CD7-9C80-A1A221D2808D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d7ac32eb6944b9ec47f416afb8283be044b2c30","datavalue":{"value":{"entity-type":"item","numeric-id":5308689,"id":"Q5308689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$D8D3497E-0F5B-44F0-9A20-7AFDA7892C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88e260db34f519c1460bc034e109bb9ee84bd5a","datavalue":{"value":{"entity-type":"item","numeric-id":1280731,"id":"Q1280731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$DD978005-862B-42F2-911F-EDED1AF78A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a78d3777336917fc3b776544d379b1b4edbf3f","datavalue":{"value":{"entity-type":"item","numeric-id":4659889,"id":"Q4659889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$6A710D4A-DD6B-41FA-BF26-725F754BF84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$48AF72AC-DCB3-491E-8CCC-625748247CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$20DD1D9A-2CC3-46EF-B909-3E4B56BFBBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c960098225bfc6aa158101ef9fa8d2db3bc34a","datavalue":{"value":{"entity-type":"item","numeric-id":5177997,"id":"Q5177997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$FF33CECC-A1B2-4775-91FB-B5E1203170E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61495c43ca047566de669c9fee1a45b4779754e4","datavalue":{"value":{"entity-type":"item","numeric-id":3520166,"id":"Q3520166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$31D10F15-D21D-4AAC-AFB6-958644E6946D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1df9f67440abcef48387cbcc40eef3bd8c2be14","datavalue":{"value":{"entity-type":"item","numeric-id":812087,"id":"Q812087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$EE8A4344-7EF0-484C-B8BD-AD6AB42DB149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848739$80E3DA3F-6F49-4E78-88D2-CD2631A7103B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7778b47a7ab1e90b143585ef7507a8c1d3673587","datavalue":{"value":"10.1007/S10990-009-9042-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848739$C1630A0C-5101-4106-A666-DA9277D8A60E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d809f81a2d4807004d25b7d9c10046b835eafa","datavalue":{"value":{"entity-type":"item","numeric-id":3142282,"id":"Q3142282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830ea5288b99e41f601df7473a0fa8b1081d7a92","datavalue":{"value":{"amount":"+0.7357662320137024","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":"Q848739$75D4FA9A-FF9E-48FD-AB6A-4D827B7959D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9a643c208138c95f0769aadb50993cf5855dd8","datavalue":{"value":{"entity-type":"item","numeric-id":5170281,"id":"Q5170281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9cb87a8f9ab1d82e489d7cda93a7f55212be623","datavalue":{"value":{"amount":"+0.7294508814811707","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":"Q848739$22549032-E2E9-48B5-A89E-E13A24217D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b081f226de15f0e5fa3766ab683d72336d4053","datavalue":{"value":{"entity-type":"item","numeric-id":2502270,"id":"Q2502270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21fd47b53e839f10b8ff93213649f23086a65ad3","datavalue":{"value":{"amount":"+0.7245966792106628","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":"Q848739$1D22053F-3C93-4AA8-A10C-E2F904786524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"243a4f2a24cc6dcf5252627dd28537480f20595d","datavalue":{"value":{"entity-type":"item","numeric-id":1803866,"id":"Q1803866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741f3d81497a3dec1e647d5e5ee35588ffb2ce4a","datavalue":{"value":{"amount":"+0.7161808013916016","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":"Q848739$07EF6778-5724-472A-96CC-C46F3A4CC10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dda702795dcd87f6fa4c913450b6176a1fc660b","datavalue":{"value":{"entity-type":"item","numeric-id":2176691,"id":"Q2176691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987e0780e56969c78047c44d007fec9104699b10","datavalue":{"value":{"amount":"+0.7112761735916138","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":"Q848739$5D872F64-D553-437B-891D-2409DAD831C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compilation of extended recursion in call-by-value functional languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compilation_of_extended_recursion_in_call-by-value_functional_languages"}}}}}