{"entities":{"Q2988654":{"pageid":2999378,"ns":120,"title":"Item:Q2988654","lastrevid":85812467,"modified":"2026-06-03T11:37:24Z","type":"item","id":"Q2988654","labels":{"en":{"language":"en","value":"Programs using syntax with first-class binders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721333"}},"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":"Q2988654$B571E3D4-9070-4473-9EF2-24C9F1D7F775","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0fc409a4ff7c3ea590f278b6d7263080833c958","datavalue":{"value":{"text":"Programs Using Syntax with First-Class Binders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988654$6C0112B0-1B8B-4716-AF5A-927933C3DA54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3006873edaef79ebb5e794edfdabb72df6caa80f","datavalue":{"value":"1485.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988654$04D51DCD-A206-4D81-99F8-907AB7DAA279","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ba10c92f43292496b094513fe7a9f550bc9bd2e","datavalue":{"value":"10.1007/978-3-662-54434-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988654$8B1D1CDB-5AF2-4841-9827-113E64C4C4F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e52cdd838bf45987c7ae2b1c85d4ee6ac69bc8f8","datavalue":{"value":{"entity-type":"item","numeric-id":2140475,"id":"Q2140475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$962775FF-9A68-4783-B1ED-89E76FA91D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$4E9BB219-1C5C-4003-BBB9-B7CEE46A79DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$98E01158-D6E0-4E7C-BF0F-E303A21D8BB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988654$C66E5F01-251E-4067-8D50-DDA52845F087","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988654$4B143C46-89E2-465A-9DFA-37BF74F2B9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988654$3B8627BB-3A2B-4B2D-826B-F332CE35B91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988654$1D70223F-4704-4187-81A8-612A4360ABB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa7bddd0925d58dabdea773a9259fe34a893609f","datavalue":{"value":"6721333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988654$993C78B1-8F39-427A-8F97-8938338613E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988654$5C23A85A-F16C-4E4A-934F-FED5D4CD24A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6adba9f178c7f27084cfe41514358d2300dccc90","datavalue":{"value":"programming with binders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988654$D12A0384-65C6-45B4-AF27-F7EF679A48E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988654$1125A180-93A3-422D-8A7D-75FE5344FC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9247578e9ed3f7eb1c91418af0599c592a92727d","datavalue":{"value":"ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988654$1C2A8FFB-C4ED-4E99-9340-9DB5EAC95D5D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ca68d9e60f39b64375620b23802b5755dae3004","datavalue":{"value":{"entity-type":"item","numeric-id":13181,"id":"Q13181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$91455FCD-63FA-48A1-AEDE-039678299AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86fd017762a2cc84520acf70ff19531594c257aa","datavalue":{"value":{"entity-type":"item","numeric-id":33173,"id":"Q33173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$E2F46544-FB96-4C6A-AB80-9A9A00FA6C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$5964B97E-9590-499B-BA3A-C05DC0424191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$104203C6-606F-4F86-B687-D55A50F0FC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$09700B05-3780-4F47-B340-4FA7D8C3E3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$9EC415EE-32AA-4A14-A6F4-E8B316185091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4679151adf8ac447edfc2fb5110876fdfca498c","datavalue":{"value":{"entity-type":"item","numeric-id":20987,"id":"Q20987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$3E90FD37-A0F9-4B6C-AC18-3BCACD5C99C1","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":"Q2988654$14CD2928-76FC-4F4A-B5A2-013517A7C4BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"305e34c5d0fb08da8190149eb6c7ba8661f6f7ef","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54434-1_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988654$438C661F-0D74-4EF0-97F5-870538850B85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e74f3139ee74265c5c5f76fe71c57760df048f3","datavalue":{"value":"W2596094020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988654$9282F2FF-3FAA-4E95-A327-1EB47416EFE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52bc2eece43ed61a28c0516dc0b9048a4a049547","datavalue":{"value":{"entity-type":"item","numeric-id":2392480,"id":"Q2392480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$617DD104-60B4-4D4A-8622-CFC933AA50F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228e40236d38aec5a149d907ee03718626a60ccb","datavalue":{"value":{"entity-type":"item","numeric-id":2942890,"id":"Q2942890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$66A140EB-6B40-4EE6-AB17-2ABFD58B4FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367ef177c9ab91da57ee385240218ffe15eeadc2","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$A39955A0-BF35-47F9-A21E-4F7E37D3D809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$FC69EC00-92A4-4EFE-8D42-590D943FF719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea3d89d9caeecb4ce96d5251e582d3bc04e60e3","datavalue":{"value":{"entity-type":"item","numeric-id":438569,"id":"Q438569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$C2AD9B9F-7ACC-4094-AB64-0ED2CF69F3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$2EE0A76A-54D4-48C9-8931-0CCE4BF8F3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$6060BD0A-68D1-4775-B582-03A6D7492E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$541428FF-1F5C-48F2-B169-D8F160CD08B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$C333E98E-9BA8-4C47-9D73-68AAE91A8B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd97334618a8abcb30d6b953aa7791488fcf62","datavalue":{"value":{"entity-type":"item","numeric-id":3189856,"id":"Q3189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$5E4F0716-E3D8-45C1-BFE6-2801A6C1E968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c251862798025af0ed73cb57538684bb7c1e6c74","datavalue":{"value":{"entity-type":"item","numeric-id":3454100,"id":"Q3454100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$47B64054-1A67-46DC-97F3-734590C60CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583c7c1567cee615cb93a6f63e4d461ecdc567d","datavalue":{"value":{"entity-type":"item","numeric-id":5900734,"id":"Q5900734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$B6C10539-63C7-4AF3-A183-AA4A33DE0FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$DE3097BD-1C8D-4BEF-9489-B5BEBB994DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d434966473eea1b46469590e756fbfa4aaa54d1","datavalue":{"value":{"entity-type":"item","numeric-id":5261281,"id":"Q5261281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$00EFC5EE-0DF1-44CD-B125-8DD85FFEC0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a10b137cf98c1afbaecb5f3f225316fb0b4c7a","datavalue":{"value":{"entity-type":"item","numeric-id":2819665,"id":"Q2819665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$4B975B64-B7FE-474E-B0E6-12D812D8E286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afbcec84147e50865ab29f586d0e0b3ee612def","datavalue":{"value":{"entity-type":"item","numeric-id":5437034,"id":"Q5437034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$B2B10F82-C0DA-44F7-9E69-5BB6395C47CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8d74eb30783ead52df96f665a06c49d9668e6","datavalue":{"value":{"entity-type":"item","numeric-id":2942928,"id":"Q2942928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988654$5C87AAB5-5522-4231-B046-E6FCE1869007","rank":"normal"}],"P1643":[{"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":"23177c7550158bb50fa78353233d763eb828085a","datavalue":{"value":{"amount":"+0.7615842819213867","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":"Q2988654$56D453B1-FDC4-4A22-88CC-B3584E3D7498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25b8f52428493ccf7994fe2ced0015cf3204118","datavalue":{"value":{"entity-type":"item","numeric-id":2866332,"id":"Q2866332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d95520ed34a0a2e459bc5692726fe3b1dc0851f","datavalue":{"value":{"amount":"+0.7469906210899353","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":"Q2988654$148BB359-19E2-4680-B624-4E1A293E8E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2706bca195c0e25fe83ee8577745238b60f02c20","datavalue":{"value":{"entity-type":"item","numeric-id":5261281,"id":"Q5261281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8137233a1a2c8e990c57ae57f45d906faff2de6","datavalue":{"value":{"amount":"+0.7325232625007629","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":"Q2988654$F85DCA6A-84BB-4361-BBD9-FBF8B70192B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7d4b6142649e5bbb479212d2bf8a97fe8bd406","datavalue":{"value":{"entity-type":"item","numeric-id":5249030,"id":"Q5249030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2bfdd2147bcabd7bcc60e146303957e1fb32ecc","datavalue":{"value":{"amount":"+0.7314106225967407","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":"Q2988654$64F622C1-6253-430B-88C4-742CB6CE75FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee810cd1ca3ee8d3e27add81649689a382c313e2","datavalue":{"value":{"entity-type":"item","numeric-id":5195262,"id":"Q5195262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2f2bb318bf79e61d4ec35c7dc7b0abcc554cd9","datavalue":{"value":{"amount":"+0.7301700115203857","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":"Q2988654$1313F1AF-CA9F-494A-B025-DBDC3A559CDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programs using syntax with first-class binders","badges":[]}}}}}