{"entities":{"Q2942890":{"pageid":2953610,"ns":120,"title":"Item:Q2942890","lastrevid":52343459,"modified":"2026-01-22T09:45:30Z","type":"item","id":"Q2942890","labels":{"en":{"language":"en","value":"Programming with binders and indexed data-types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481265"}},"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":"Q2942890$003D02E0-6E41-4706-A644-5D6835F39C7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1737e05d738663232b198f11aaf81f96635ba800","datavalue":{"value":{"text":"Programming with binders and indexed data-types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942890$5CD8D428-AB14-4093-B52D-256B05D2A9CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2256ff9e6ebc38abe3e1864e0e9a14f9ac4f99f3","datavalue":{"value":"1321.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942890$5299CC43-B084-40EF-8AAA-F2E8A05891B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a78d79a282c1ada56169c73cb33b698354f4d58a","datavalue":{"value":"10.1145/2103656.2103705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942890$2155A30F-54CF-4C6B-B46D-CD3866D61D04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15cb7e723c6ba3637d8c83366f88049fd361bce2","datavalue":{"value":{"entity-type":"item","numeric-id":2942889,"id":"Q2942889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942890$22C87CF3-1BD1-4BC5-814A-09B3C3EDACF2","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":"Q2942890$1A27E1F6-E7A7-4D80-8FDE-88C782AEC781","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942890$156990E7-AF4D-4DDC-BC84-343D17C32F0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942890$704A02BE-D4C8-416F-A72D-DC7033880AF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942890$B7C30033-A982-4623-B470-BC116B450C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942890$3299EA86-390B-43CC-9FD1-9B11041A2D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942890$CDD01291-D3CB-4CB3-8FAB-78B96F8C0473","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5111a6bf373d1f9860c80bda5f0f2e0c8403f073","datavalue":{"value":"6481265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942890$C9F09F3D-1154-4A3B-ABA1-02B9F407475D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942890$6F3F4B53-49D0-4187-AF6D-C6E19B888CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942890$E637BE98-3261-42F9-A7B4-D5E97892FAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942890$9765F1EB-6183-4879-A644-D82BCCF866B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942890$B0BD1BA9-DF52-4B3C-9B09-C8C085C94A59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942890$629935D3-00F8-4BAA-9604-8745225C9635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e72a4f8fb4d36497257be31382da278bd928d2e","datavalue":{"value":{"entity-type":"item","numeric-id":25436,"id":"Q25436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942890$DAEABF95-3799-4E53-A3AC-0221CD4CB35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942890$CFD1F995-9BB3-4CCD-8308-F8F8C2A8B81E","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":"Q2942890$939B684F-E951-4C00-92D4-2371B76919D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5eec566daa0d889da6eb88cce57addd48e98265","datavalue":{"value":"https://doi.org/10.1145/2103656.2103705","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942890$5E55ABAB-5094-4CDA-9541-3C0B0F00BACE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e12dba3de38a1990c4bf8ac4790dfd80e20bc1b","datavalue":{"value":"W4238735203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942890$271DC8BA-D1C7-4F0A-8BAF-542E986AC51F","rank":"normal"}],"P1643":[{"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":"59bc6e58a4f7057741a02e4d11d84f3912a6f3dc","datavalue":{"value":{"amount":"+0.75807124376297","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":"Q2942890$04306EAD-6A1D-4B91-89ED-C64E669DF8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d083fb053741ed7bdecfb23fa49e6ae6bd3395","datavalue":{"value":{"entity-type":"item","numeric-id":2936809,"id":"Q2936809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec98d8ab997b9094f3ad28ffb9ecf8c92a3f076","datavalue":{"value":{"amount":"+0.7456989884376526","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":"Q2942890$A01FFBFA-272A-4E7A-8F53-0E8130DF607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7609494392bb4215d21f7a8a3e5f08d86684fe14","datavalue":{"value":{"entity-type":"item","numeric-id":3058448,"id":"Q3058448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2882ae0f3b2d23622182ae9cf810b5f3b1707dc1","datavalue":{"value":{"amount":"+0.73143470287323","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":"Q2942890$83CAF83A-CBF3-4E62-9100-CB6713C75752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa54398b0a04659f67dc8e10c06d84c78634629f","datavalue":{"value":{"entity-type":"item","numeric-id":5176984,"id":"Q5176984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7338e6914b7afe1eb59da7449dd76c8d766ce36","datavalue":{"value":{"amount":"+0.7276331782341003","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":"Q2942890$C46910BC-AA2F-4D3E-AC30-B4897F45FF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde91441ac9e10a466a7ee95aae27d587fcf5a64","datavalue":{"value":{"entity-type":"item","numeric-id":2890506,"id":"Q2890506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059824c096d579b844cc13e996ffeaaee7c30e68","datavalue":{"value":{"amount":"+0.7232412695884705","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":"Q2942890$B76B65A9-A4AF-4839-95F8-4C3793AB4B37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942890"}}}}}