{"entities":{"Q5261280":{"pageid":7290848,"ns":120,"title":"Item:Q5261280","lastrevid":52299986,"modified":"2026-01-21T09:33:12Z","type":"item","id":"Q5261280","labels":{"en":{"language":"en","value":"Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455118"}},"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":"Q5261280$964C2690-83AD-48BC-8BD7-49A871BE6760","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1b46fc76c63dd1fbc76cacfcd9cd728d3fbcbc6","datavalue":{"value":{"text":"Boxes go bananas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261280$177F58CD-2EAD-472E-B0CF-6E330CF64BE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10eca825a01871c1775a4679efe1ba58325baa51","datavalue":{"value":"1315.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261280$0D7914EA-10B5-4C82-AAD9-DFA0098A0138","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7a690f5b655d0148c70955b07b7a2cad436198f","datavalue":{"value":"10.1145/944705.944728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261280$98657A08-0A41-4D46-9909-29188176ADA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5de39578d39d108869755ab07adc3724f7e3922","datavalue":{"value":{"entity-type":"item","numeric-id":2842840,"id":"Q2842840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261280$903318C0-604E-41D5-84B2-6F543D781E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe52ffa1b7468cd548841738a45dc4a65b5c47ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763692,"id":"Q2763692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261280$D839CE77-651C-40F8-BC82-78F8D6613A7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94171c1d9483ba92f553ba0e2b86a3a8cb6d7f94","datavalue":{"value":{"entity-type":"item","numeric-id":5261261,"id":"Q5261261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261280$0B7DAABA-5B0C-433F-A515-AFD4AF62F024","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"574af01bec34fab94fbd05c1ad16d21d195c1ca6","datavalue":{"value":{"time":"+2015-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261280$76A3E2D9-24CE-485E-B008-A8317BF41DF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261280$DA20C8ED-08A6-4712-A398-E07BA04F0E04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3f592fd2c18010e2fa6a5b57eee8dde949fe6ab","datavalue":{"value":"6455118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261280$0F59B1ED-B0DA-4268-B771-0D7CD9765094","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b15b309c677ecba6a61aaefe17e9b58d5c4894c6","datavalue":{"value":"catamorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261280$3E25A2E3-B6FB-414D-935C-9C1D0D81079D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261280$74B98746-E758-4002-B6AF-69B4EBDEBCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2c0fcbf4b5181ad8af734c47c3b6932435bb564","datavalue":{"value":"modal type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261280$A82DA197-546B-455E-851B-4029DCBA8B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658b900684683a841bc471a204ddeb78a040d114","datavalue":{"value":"parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261280$29E66027-B102-46F5-A67B-D7FFCB2771F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261280$C8797BFC-4453-4DF6-A3BA-DE5BC3321914","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":"Q5261280$BDF390AC-DDCD-4EBD-9CE2-B96CF59D6383","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3836cebac6761e22693eb29d3358e8afc2f14a0f","datavalue":{"value":"https://doi.org/10.1145/944705.944728","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261280$C088719C-25A0-4CA4-9C1C-125467B98E2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da929abfc4af15c837a462a42590e0b6ab0693db","datavalue":{"value":"W2021447352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261280$A6AA0207-1375-46FC-B9C1-FAC4964BD770","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa2165d88763eb562217accd47a70d292136fe11","datavalue":{"value":{"entity-type":"item","numeric-id":5437034,"id":"Q5437034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467e08abd00bb826ad96599461a6eaedd2c13759","datavalue":{"value":{"amount":"+0.998835265636444","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":"Q5261280$9EE77F7E-4AB7-42DD-B51F-CBA0158C4D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4c11df45cd03074ae08ce1f6ae750f42c3698f","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b442a5e0f72eb40261634d04d8f1030287e6e82","datavalue":{"value":{"amount":"+0.7802093029022217","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":"Q5261280$B0F014DF-2448-496F-83B7-806F457688F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc43cb7f312071225df0e3e6081b9fe2cce13e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5458389,"id":"Q5458389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac606667d16d4e4c67e138f6571cde78d7c35893","datavalue":{"value":{"amount":"+0.7671986222267151","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":"Q5261280$EA1F203A-36D3-4779-86C6-4580A47CE45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c581e669ae9408182aff3af608d0ce1c9f3579f4","datavalue":{"value":{"entity-type":"item","numeric-id":5747671,"id":"Q5747671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3adeb4ef14a427e179b711cea4aeeb4f8b472dbf","datavalue":{"value":{"amount":"+0.7669457793235779","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":"Q5261280$4FB2DE31-074D-443E-A7D0-D8879E6BEA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63cc2fca47d2127cea0385aa0f3fa6a425e72102","datavalue":{"value":{"entity-type":"item","numeric-id":3189856,"id":"Q3189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c982b27b60d8f2bdb145b9378fd8197476bf7c74","datavalue":{"value":{"amount":"+0.7558739185333252","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":"Q5261280$B4B6F83B-1DC6-4CB6-9DDE-CA1DCE6EC1B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261280"}}}}}