{"entities":{"Q2817681":{"pageid":2828419,"ns":120,"title":"Item:Q2817681","lastrevid":83357336,"modified":"2026-05-07T07:20:36Z","type":"item","id":"Q2817681","labels":{"en":{"language":"en","value":"Functional back-ends within the lambda-sigma calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6621858"}},"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":"Q2817681$71721C8E-FB73-4F76-9219-EA5E625D8391","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c26d6bd9d1e72e9afd46e17c8d54fd9aeec6835","datavalue":{"value":{"text":"Functional back-ends within the lambda-sigma calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817681$B398288F-FBBA-4F0A-9276-8A7A148E39F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dd7201f5166474f5aa2d9d36be9fdaba36ec962","datavalue":{"value":"1345.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817681$C3A2949B-0998-4444-8289-432F3C27D384","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ed76ea4133eee377a823e5ef06a9398199ad2d6","datavalue":{"value":"10.1145/232627.232632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817681$35E44FAE-6213-4AD1-AFC0-CDDACB7164C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c50f42ac443d41828b557f6076f88056505c203d","datavalue":{"value":{"entity-type":"item","numeric-id":918955,"id":"Q918955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817681$D579BB49-9C98-45E9-B7F4-626773141B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3834b4eeab4ea9897275a163b7967947d31e830c","datavalue":{"value":{"entity-type":"item","numeric-id":453521,"id":"Q453521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817681$D090904B-49F3-4A0D-8E55-851B664479ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8646274cd2d18abc02b09c57eaa251851fc7b24d","datavalue":{"value":{"entity-type":"item","numeric-id":1680824,"id":"Q1680824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817681$16E1100C-86B8-4644-902E-2F2264629AC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"56de9e9bca7125adc33acdc48ab4e849a600dbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2817679,"id":"Q2817679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817681$5AF251BE-C1FA-48B5-87F2-365BBB80D0DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cb1dfb644827a2862c7d97faa24a24e858feb59","datavalue":{"value":{"time":"+2016-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817681$B2C96B7F-9400-4E2A-978B-40DC0DAE806D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4aba05ac6d723d2262a3a12d6904146757cb73e0","datavalue":{"value":"https://hal.inria.fr/inria-00073659/file/RR-3034.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817681$F417B2C9-3832-4DFD-BE4E-9887E4CC7910","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817681$5BCB3428-EB21-4FA5-B680-68B00CA50829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817681$BD69D09B-1B2C-45BE-8C70-DAE5ECE2DB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817681$DB472977-A94C-45F8-8884-D62B8A977AFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"445aba736258583db231e2c45d6f6b002c9f5f0a","datavalue":{"value":"6621858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817681$7186FBDC-A5E2-4AA8-A81F-470979F56585","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":"Q2817681$A399128F-6424-497A-B0D3-3202B08DCB74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"529412956a9a0559ab6666a16520c310d6074565","datavalue":{"value":"W2080165344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817681$AB58D575-DF8D-4FC9-9C05-0CD8B381D832","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f19e19a4a72c2189645907ab007786a8647c8c4","datavalue":{"value":{"entity-type":"item","numeric-id":4236754,"id":"Q4236754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729503d42dd6853ef813795978110119e2811c2f","datavalue":{"value":{"amount":"+0.9011771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817681$1C17D599-2267-4F00-A333-F987551D3005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f87be45bb209f829e144ce3e4974e615cce1605","datavalue":{"value":{"entity-type":"item","numeric-id":3702505,"id":"Q3702505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3dd4d215f50a33d4e7b891d52384d9fb8c38f8","datavalue":{"value":{"amount":"+0.8970315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817681$C8B19E48-EE3B-4F87-9363-DFDCF1DBD7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b4d3f0d84b1e7b78e2c1841f82b86d440f4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3216136,"id":"Q3216136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62f287339d680debbc70753df40686162a0d34b","datavalue":{"value":{"amount":"+0.8927799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817681$1EC1E35F-367F-40BB-B858-0DABBA0959B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4bc5adad080a01bf89794c55e5b847e782f4781","datavalue":{"value":{"entity-type":"item","numeric-id":2850280,"id":"Q2850280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e2f4352699cf6f8882593b68b60de809025872","datavalue":{"value":{"amount":"+0.8784487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817681$9F2D4DE3-CB7D-4CC4-BCD5-A4D7FC6AF5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49c05809e33e7dbbf86732cd43099bd9e7bdff7","datavalue":{"value":{"entity-type":"item","numeric-id":3683524,"id":"Q3683524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d7df108a4c1151ff23ce12105c9dc273b39087","datavalue":{"value":{"amount":"+0.87756205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817681$7345B2CE-D9B0-4A49-9BCB-C20107DB65FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c369cbe60177c955fbf1373bef4d0bb4d5433ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5951522,"id":"Q5951522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f277d3288333377aec71ef4f6ea160147f3d0d24","datavalue":{"value":{"amount":"+0.87713176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817681$54845C63-DAB4-4626-8E2D-6B79EFDEF0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b6b6ff13289761a9714c0833a5ecc98be08b86","datavalue":{"value":{"entity-type":"item","numeric-id":4039770,"id":"Q4039770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a74c2f68c04c76e08039c043dab25ef7494b0d3","datavalue":{"value":{"amount":"+0.87553966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817681$F658836F-4E0C-4575-8E55-8A06DE567DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3194b33b60cb2a0c31ea58f06baf0973ff6d24","datavalue":{"value":{"amount":"+0.87464994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817681$B5DC10C3-E99F-4284-8A7B-0458985CE796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c5458c9435141d71035ca73a099f15d16be07f4","datavalue":{"value":{"entity-type":"item","numeric-id":1044184,"id":"Q1044184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1140506365c3b90dbcc37a25a42a1bad369441","datavalue":{"value":{"amount":"+0.87275976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817681$B6600849-40B9-48BD-97A1-D5B3F0879F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02acdd76e10327ea302368a36ca3cde547f81c32","datavalue":{"value":{"amount":"+0.86936754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2817681$4BE574FD-CFA7-46F6-A0E1-D390F9D96714","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional back-ends within the lambda-sigma calculus","badges":[]}}}}}