{"entities":{"Q2409739":{"pageid":2420482,"ns":120,"title":"Item:Q2409739","lastrevid":57908394,"modified":"2026-04-03T01:16:27Z","type":"item","id":"Q2409739","labels":{"en":{"language":"en","value":"A hiking trip through the orders of magnitude: deriving efficient generators for closed simply-typed lambda terms and normal forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791229"}},"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":"Q2409739$FF278DC0-F712-4B9A-B0C7-A830D9FD3FF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"551bf5ec8aa7cd324d4464c2d54dba10fe5b80a6","datavalue":{"value":{"text":"A hiking trip through the orders of magnitude: deriving efficient generators for closed simply-typed lambda terms and normal forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409739$3071A800-1031-4FF8-9520-82741EDD45FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a97070f5f333c2d06c89257717e6922ce4b7d47d","datavalue":{"value":"1485.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409739$B04BE13F-E4CD-467C-B4E3-C913EAB21BE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"790896ec480930aa0b339c4233b9ffb33bb6cd18","datavalue":{"value":"10.1007/978-3-319-63139-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409739$651B7CDE-9826-4018-93A6-9DE8FAEF74E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec49a6685e47abe38cbcbbcac2d3c6df36399c7e","datavalue":{"value":{"entity-type":"item","numeric-id":461477,"id":"Q461477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409739$9CE1D5F0-21CD-4FBD-AA48-F908E322BF18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409739$3C156812-9606-4080-B3D5-7CD3800184D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc2b8bc6a0d2d91df8763d4a33b2b04f02f2f93b","datavalue":{"value":"https://arxiv.org/abs/1608.03912","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409739$841873A1-5D63-4D3A-A479-86CAB542A8A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409739$7B7EE21E-9A6D-4AEB-9028-F5B0A3E9AC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409739$4D34AD08-5BFC-425B-BA4B-8DEB7D69305E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcb572c8b89b7c316540b642635ecd819d3656a2","datavalue":{"value":"6791229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409739$041BA772-256F-4D0A-8E6C-00AE9C0A4F79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"addc1834d812ec98dc0c3950147b3f900199cab3","datavalue":{"value":"logic-programming transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409739$F5077523-0E31-46F9-9EBE-37CDCC17BF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409739$05571678-7CCB-43B4-8039-1C09E599323F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7bcf47450e06b5e9da1b1689840c261fcd258","datavalue":{"value":"combinatorics of lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409739$34EAB6F8-5B82-4566-915C-F74AB95557B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d16a741da1e08903c84a973e87820e0425d498","datavalue":{"value":"simply-typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409739$C9BB1274-9A57-40E1-BACC-8D911DCEF6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48c73a40631a1e0b5f751e30a5424eddeaaa8ba9","datavalue":{"value":"simply-typed normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409739$AED74BB4-66C0-4DB1-902B-F03051987143","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":"Q2409739$A982A2A0-24DA-4CFA-BACF-822E26D8AC42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e21d1fe419a6985f42e623b4dfc1e2b62ee06996","datavalue":{"value":"W2963903330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409739$B0E92527-2E59-4F98-B307-FD912CD7BF8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff882f4f65980bc003c20f3358de6cd63413929","datavalue":{"value":{"entity-type":"item","numeric-id":4988930,"id":"Q4988930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede8817fe8a8f8da78e056a71e2cf033cc4fad53","datavalue":{"value":{"amount":"+0.9206348657608032","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":"Q2409739$D1EE9B35-C44A-477A-A1E5-A715ED05BA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e289fc416153162241f8a464a997cf38eeb87c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398332,"id":"Q5398332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7d37443875334e4b4cf64bcbf51c5d7ea4bfff","datavalue":{"value":{"amount":"+0.8718070387840271","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":"Q2409739$D6E4CBC3-0799-4781-BEEF-9E594276FF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f4c4289bc07fdbaf60858b8f8590841784e402","datavalue":{"value":{"entity-type":"item","numeric-id":5194688,"id":"Q5194688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e6bead08a1835bad35aab01de602e6e7e054bf8","datavalue":{"value":{"amount":"+0.7810797095298767","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":"Q2409739$97CD3DD0-A46A-48F9-A2B6-236B282A3739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9ff51abd5c98ea3674940b2983b4e672a93458","datavalue":{"value":{"entity-type":"item","numeric-id":4581460,"id":"Q4581460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d85cef6519d17f387fa24f027680df678530b0","datavalue":{"value":{"amount":"+0.7808669805526733","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":"Q2409739$F532681E-8B0D-4C4E-B87E-AD9F8FEFED67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b238689cbefdaee319aa98a033058b49e2d86683","datavalue":{"value":{"entity-type":"item","numeric-id":5371959,"id":"Q5371959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107be68c1d23e839209b5a5a0e8f09da27eb290a","datavalue":{"value":{"amount":"+0.780676007270813","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":"Q2409739$8016DA49-184A-4F31-AF1E-B9C9FAC4AC40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409739","badges":[]}}}}}