{"entities":{"Q5056071":{"pageid":7085648,"ns":120,"title":"Item:Q5056071","lastrevid":41219490,"modified":"2025-04-20T15:43:05Z","type":"item","id":"Q5056071","labels":{"en":{"language":"en","value":"Automatically Introducing Tail Recursion in\u00a0CakeML"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631576"}},"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":"Q5056071$2D7D5E1D-E2A4-4943-A594-D1DA3FD8B58F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61b7cba799f5d5942562e0fd465354fb18cfc09f","datavalue":{"value":{"text":"Automatically Introducing Tail Recursion in\u00a0CakeML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5056071$13CA7225-046D-42CD-ADF0-65C2C9B9E983","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbdcd66fc14006e6db4bcd12669567adf67ad602","datavalue":{"value":"1505.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056071$4D171CBC-AC78-4D50-897B-D69627B6C4D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68d3fb7092d847f6df955e680d10f1730a01c533","datavalue":{"value":"10.1007/978-3-319-89719-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056071$9A9C7C98-02A9-4423-850A-A43B538959E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48bf256cb2060adcce83d6ff0339ba7814ac6cab","datavalue":{"value":{"entity-type":"item","numeric-id":1799127,"id":"Q1799127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056071$19930837-306F-45E8-B661-6043D86EF1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c330e55e5dc72ba4e46dcf35457734e0df28701e","datavalue":{"value":{"entity-type":"item","numeric-id":286789,"id":"Q286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056071$3D8F673A-2856-4F20-B6A7-DEA971B36B8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056071$DEEBF646-1C70-49D3-BF03-EF59B58B74E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5056071$4DB18594-51B0-43EE-BCDD-00B769E0CAB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056071$EBF43BBF-2578-418F-BB37-AD768A57FD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056071$97E42C6B-2B62-46AC-A7A8-2BEAD5A4820D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58a2fd8c5a5253834fe08122b8f861677e9bf155","datavalue":{"value":"7631576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056071$719B0A7C-B0A4-4925-9888-450CA96140D2","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":"Q5056071$45F6F393-89FF-4583-9B16-898C3B4B1E39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b19590c28fd840d6f254aec9d3a14d1195026c5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89719-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5056071$E6054882-22F7-4EAB-9809-0A320B5C37CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7063e95d675aa74588b4f3040ac90aca1eda7ffb","datavalue":{"value":"W2755587846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056071$B8BCD3DE-7D3A-4EAC-ADF9-1777BB2132EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056071$15654B1D-88E4-48F5-BE2F-1C419A164356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd84eee7bbe75a88e099219df47569ca17daa41f","datavalue":{"value":{"entity-type":"item","numeric-id":3149665,"id":"Q3149665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056071$40E3CE10-F201-4B3A-93B3-8E6A1B6A579A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056071$58D449FE-C0D3-4A95-87F4-57E5A22F4C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d93e889c52c36a6fb58e10f9eb9b5078b5353ce","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056071$575365EB-4F5E-4EDC-80CE-D1F6A7C0B7E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d438af604a523353f83b8c72da0779003c5ded32","datavalue":{"value":{"entity-type":"item","numeric-id":4632420,"id":"Q4632420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46ae14b70d8044a9efe595c38eb9267b2ffff43","datavalue":{"value":{"amount":"+0.7618872","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":"Q5056071$04003EA2-5D58-4ACD-A581-F87DF0279511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16d9b5507c1ace1fc05034dd368f552a6668634","datavalue":{"value":{"entity-type":"item","numeric-id":4858828,"id":"Q4858828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925b13bcb5c7c336761b12fbaa86235af17d5314","datavalue":{"value":{"amount":"+0.7618871","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":"Q5056071$3B039A39-8F2D-4945-8453-AF52232EEE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e719922ba9485be185698af13118ce9341a112","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fbd7f0ef1131559d4749cd5887a52f0d78a7bbf","datavalue":{"value":{"amount":"+0.75688535","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":"Q5056071$B3E39704-E619-4A1F-B7C7-E263177DD9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d541e48bcead1393bbc42b8e56c09a0b09485b5","datavalue":{"value":{"entity-type":"item","numeric-id":3021959,"id":"Q3021959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03938cb7a2a62e432f3c3e83194212e29979745d","datavalue":{"value":{"amount":"+0.75064117","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":"Q5056071$9EBE0F6A-5D65-4C15-AF85-E44A123F77A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7356790cc666884d18d63aaf192e83e2687d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3638255,"id":"Q3638255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95fd329f409144e743e7a2f9593e2eafedde9ff2","datavalue":{"value":{"amount":"+0.7392527","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":"Q5056071$312A6EC8-1784-4C46-95FF-D728D0D921C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b842f6c5c6f6cb13a80a9ee17335820078928091","datavalue":{"value":{"entity-type":"item","numeric-id":1346629,"id":"Q1346629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11375309d8e263d53ba95c448653fcb223b62347","datavalue":{"value":{"amount":"+0.7387872","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":"Q5056071$CE6DCDC9-38B3-496E-8172-8A2F6003C689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c39873a976cd3a9f274587cd092e28642a38589e","datavalue":{"value":{"entity-type":"item","numeric-id":685396,"id":"Q685396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cc6579a54f19cb66e2362adf89f16d518c1fe99","datavalue":{"value":{"amount":"+0.73738384","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":"Q5056071$C7E43168-4713-47D3-8F11-66321CBD8244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c917d74f89c36170a32ad4d58fa34be7a1df10a0","datavalue":{"value":{"entity-type":"item","numeric-id":5177997,"id":"Q5177997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27196eef1a310adbb77c0699862cda31b1f366e9","datavalue":{"value":{"amount":"+0.7370423","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":"Q5056071$48D7DF36-2C02-4925-BD79-FFC488BDB133","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5056071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5056071"}}}}}