{"entities":{"Q2176691":{"pageid":2187434,"ns":120,"title":"Item:Q2176691","lastrevid":73554123,"modified":"2026-04-14T16:26:30Z","type":"item","id":"Q2176691","labels":{"en":{"language":"en","value":"Unraveling recursion: compiling an IR with recursion to System F"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196592"}},"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":"Q2176691$1D82A0C8-CD83-408A-B96B-8327B00223BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a27af756d7df86c848d7fdbf81502b92b48dbae1","datavalue":{"value":{"text":"Unraveling recursion: compiling an IR with recursion to System F","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2176691$32935A65-F7EA-45AB-BE57-DB565639029A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e21c029903163b5c22dab57be6adae77cbd5a103","datavalue":{"value":"1434.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176691$933C072B-C31A-4334-88AD-5A8862B14AFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"031d70e799b85d98e7718971c21ae141282faa2c","datavalue":{"value":"10.1007/978-3-030-33636-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176691$5BEEA796-4E2C-4DE4-A8DA-7CA47500C46C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c55055fcede8dbb9f2771371cf471fe8a10b24f","datavalue":{"value":{"entity-type":"item","numeric-id":2176688,"id":"Q2176688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176691$8BCA5DF9-53E4-4CF5-9304-C8E81307024F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53ebfc366f2469d8eaa51e2fe5beb18e7d606c68","datavalue":{"value":{"entity-type":"item","numeric-id":2176689,"id":"Q2176689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176691$8E21E5F1-C63B-4B71-BD27-75564D2BD4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b90cf39e1945178350ae0461777360f2997cb3","datavalue":{"value":{"entity-type":"item","numeric-id":2176681,"id":"Q2176681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176691$58792686-83C1-423D-94E7-93433E6C4163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a1912de2d0e4724a678e5bbfd269e3699bfb880","datavalue":{"value":{"entity-type":"item","numeric-id":2176690,"id":"Q2176690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176691$2C2589FE-5F93-4692-A062-22181B15D92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"166b1ca88463a72cc711678e1da421e9c1c5270b","datavalue":{"value":{"entity-type":"item","numeric-id":2176682,"id":"Q2176682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176691$963D1A8B-DE4A-47F7-9DFB-437F9251015E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8fea356f84d37a924ceb58cfe03d1b4469ed36c","datavalue":{"value":{"entity-type":"item","numeric-id":879365,"id":"Q879365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176691$5018289D-68A8-4797-ADF5-F7FF80B8AE8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ffa913ad058323c97cdd62b11ad32d016ae0804","datavalue":{"value":{"time":"+2020-05-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":"Q2176691$19D014D8-0781-4607-80E9-533974DABED8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c36a642e3665b6ab6ceedfccf1d2895b0366353","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/129967828/Unravelling_Recursion_JONES_DOA14062019_AFV.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176691$A5349800-F10A-4379-B53C-E1DF4D04229A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176691$97976346-1418-4109-8057-7D45CBAAD8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176691$CA446A75-D6C5-4B3C-9035-D0929F9A97F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e9ae576282333369c9c2f1d62d8366f13d38312","datavalue":{"value":"7196592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176691$01E3BB94-A27E-433D-A88C-D45EEE9435A6","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":"Q2176691$07F14E8F-1145-4553-8CAE-4EBCE933112D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b33535a09c61fa97eb41b222ea1c5bb44c342299","datavalue":{"value":"W2980953397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176691$8D8F9F2D-AA90-4C40-A499-916CBCA0AB5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75a2f09b2f7e8b4e417073c6127a7f856249356","datavalue":{"value":{"entity-type":"item","numeric-id":3823139,"id":"Q3823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56811059674f4e9a23dd13fa8fbd46e1f5f9a5d0","datavalue":{"value":{"amount":"+0.853223","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":"Q2176691$006A7CF5-55CB-432B-ACA9-8B8D98DDD1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6754402f084e9aeb440b2cdd0b1edf2109c8bd7e","datavalue":{"value":{"entity-type":"item","numeric-id":3219796,"id":"Q3219796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329c257824d72a86b3214c89fe5daa9531b281e6","datavalue":{"value":{"amount":"+0.8330911","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":"Q2176691$288E8281-A87C-4406-97CB-C300270E7B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ed515f0e889478895b347adba6b605286db161a","datavalue":{"value":{"entity-type":"item","numeric-id":4293527,"id":"Q4293527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58585bde685508cd35b5ba886f1ce185c2c28919","datavalue":{"value":{"amount":"+0.8313313","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":"Q2176691$963F2355-F119-4BE9-9F43-6116AA717F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f51ec36b096af9f79088334223e47f8812d7cf","datavalue":{"value":{"entity-type":"item","numeric-id":5371980,"id":"Q5371980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc3952314aa910cc8a41abc43a0582eefa1b08c","datavalue":{"value":{"amount":"+0.8254002","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":"Q2176691$7A239841-22CA-41F5-A1BD-DAD43707593A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f865774d21e7594253b80335308a3f595a51bb3","datavalue":{"value":{"entity-type":"item","numeric-id":848739,"id":"Q848739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1405ff468decbfce4bf9580915cc5443a9dafbc5","datavalue":{"value":{"amount":"+0.82470673","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":"Q2176691$147DBDF6-A008-497F-ABB5-BD3CF47DCFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c114007ef6bcbf3da785b73236098f52f6441cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4294222,"id":"Q4294222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef4db45c2d683e2c705c958fe1fb1a5b2e9ba7d","datavalue":{"value":{"amount":"+0.81769073","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":"Q2176691$BFBEE110-E0FE-42FD-9952-C7930B432850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f937ef8705545f33e0a47f39bf63eb7be17733e7","datavalue":{"value":{"entity-type":"item","numeric-id":5167727,"id":"Q5167727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4bac597a7412614b48fee75cd3cc67995f79eeb","datavalue":{"value":{"amount":"+0.8125828","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":"Q2176691$46D11D37-26DC-45D9-8DB9-FB91514D673C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d781aaa06a5f2cf7cce2e1df1f510f9b6e859f","datavalue":{"value":{"entity-type":"item","numeric-id":3761673,"id":"Q3761673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d77098b7fe6f214ce7088c8288fbe5556e412ee8","datavalue":{"value":{"amount":"+0.8100227","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":"Q2176691$63954675-CAC4-44BE-9EA1-AB19F537B8F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unraveling recursion: compiling an IR with recursion to System F","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unraveling_recursion:_compiling_an_IR_with_recursion_to_System_F"}}}}}