{"entities":{"Q1818310":{"pageid":1829052,"ns":120,"title":"Item:Q1818310","lastrevid":46864920,"modified":"2025-12-25T18:09:58Z","type":"item","id":"Q1818310","labels":{"en":{"language":"en","value":"Stackability in the simply-typed call-by-value lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383800"}},"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":"Q1818310$F8A97761-AA11-412B-8C8B-0F4D8511B93C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11a1adaaa4104ab653c4eb9a4464d1f8b35cb495","datavalue":{"value":{"text":"Stackability in the simply-typed call-by-value lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818310$83735DC8-42C7-45FA-A2E9-5A7827BC6A22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f475a91252f252c75675b76bcb40c58bb8b4e02","datavalue":{"value":"0939.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818310$82D370AB-E117-4F72-ADAE-FCBBBB1C0E92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ee7b4ddc1095836643fa2409e78349bc1b1111e","datavalue":{"value":"10.1016/S0167-6423(96)00040-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818310$7C6C75F1-6B21-4849-8CF2-79E0454DCEB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f34fe5b0fd83cb1c5e8ef43bf8fb3b8852cebeca","datavalue":{"value":{"entity-type":"item","numeric-id":859952,"id":"Q859952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818310$22DCB37B-89A3-4B34-8455-F9DD720FAD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c762825db97423211c9dadedf4fa6a17941adb5a","datavalue":{"value":{"entity-type":"item","numeric-id":418810,"id":"Q418810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818310$BA74C2B1-CBF2-4C26-A332-84A2E7AF3BD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818310$BE544C0C-DE45-4F6D-BAE0-F16C16D332A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be5ba67ef43776cb1ea5c3063837b367d1caf4b","datavalue":{"value":{"time":"+2000-07-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":"Q1818310$70AB4680-4693-427A-BABB-40FD3B6B473C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818310$70C5B2D5-ADA5-4D39-AF3A-28024DF5F75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818310$773071A5-CE1A-4D55-A4E6-957FB072C6C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2bb2c6e7367819c203ad449f635f89e89565fe5","datavalue":{"value":"1383800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818310$6A5D713A-5CA0-4E95-B448-1A8CD3368617","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72fa8ed8e95249aad16ff90e642ae0cb30c5fab5","datavalue":{"value":"block-structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818310$DA3D4FC8-A520-42C5-994A-6ABDA10BEEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818310$7E505A82-E656-4B12-B66F-34CF2445C759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2933057be2829856b9933bdc05cad2211bdccb29","datavalue":{"value":"\\(\\lambda\\)-abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818310$9E257DA4-610F-42BC-BECE-66C63461F5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278aebfff73cc585dad4c88d3cb05d2af4f36f9f","datavalue":{"value":"simply typed, call-by-value \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818310$21FED6C4-7D5E-4829-9932-54F7AA287A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e1bc66e5e114fb17eaf203647832c6f7f6a81fb","datavalue":{"value":"stack implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818310$AE623710-4227-4F85-A529-AE0AE9321C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be373134f0d2cfa1b51c1f3dfd040f53880eb6bc","datavalue":{"value":"environment stackability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818310$F01EA804-FA35-4100-B96E-D7AF75B7EE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3999214ff0c3d01e5f0a3c017a3f757457b10a47","datavalue":{"value":"closure analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818310$7E530B2F-E243-4189-8913-218C2261E237","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":"Q1818310$29DA5D0A-7325-40E0-A6F4-53108EE474C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37498e974844057d72dfddcb26344595f26bfb71","datavalue":{"value":{"entity-type":"item","numeric-id":1112581,"id":"Q1112581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f4cbf1a540a25c1f64874d7697e2013d0e89702","datavalue":{"value":{"amount":"+0.7605094909667969","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":"Q1818310$9786E7D8-CFB7-41E8-97D7-77BD54D4E1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5c0a24411ff0f72386eeecf77d6d0bdd7bf889","datavalue":{"value":{"entity-type":"item","numeric-id":4263880,"id":"Q4263880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290a8d50940dccb7434026c134c8f73b1671284b","datavalue":{"value":{"amount":"+0.714448094367981","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":"Q1818310$940AFB33-9DAE-4113-8ACE-76AC52B23064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44920ad5b17d661f9772e46846b0d45e66e1518a","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6257878650384b14fe7172ef428a3ad637e5e1","datavalue":{"value":{"amount":"+0.7119564414024353","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":"Q1818310$810F0136-3741-4F77-9CBB-3ADA639F9BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8aec5cf497c6441690a8319325eee2e4d847b4","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ce9dd0973d9b9b10d5cee663e09937a5077d42","datavalue":{"value":{"amount":"+0.7096533179283142","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":"Q1818310$D082E0F2-8900-432C-BDFD-24D7D756E9D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1818310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1818310"}}}}}