{"entities":{"Q2963900":{"pageid":2974625,"ns":120,"title":"Item:Q2963900","lastrevid":44803281,"modified":"2025-11-28T10:55:43Z","type":"item","id":"Q2963900","labels":{"en":{"language":"en","value":"B\u00f6hm trees as higher-order recursion schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687757"}},"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":"Q2963900$76362EDA-B28E-4F86-A5B3-BED27E65D865","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6656dd8a9357c5e52475391f80940a918d1d0c3","datavalue":{"value":"1359.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963900$67C3C82C-2191-4209-B770-CF7FF52BC80A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6ed2d9d88301ad27573c1eaced6d353e375ed8","datavalue":{"value":{"entity-type":"item","numeric-id":265793,"id":"Q265793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963900$75C89363-F13B-4C75-BDF3-A702DD25675D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963900$0274D582-EC74-41FF-812F-2440613E4C14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963900$DEE54152-679E-4E0D-A11A-575E739D752A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963900$4826A411-BD61-49A1-9143-426A093EB1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963900$847896B1-034D-4CE5-8B4A-39DDF260190B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963900$C481870F-5D1A-4B75-B510-F55D154EBE99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f2ee374fefe0beded89d437f3c76bb9101d946a","datavalue":{"value":"6687757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963900$C103D1CF-D035-4E05-B1F6-4C4F55D636E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963900$07008792-0F9A-4BC4-A0A8-85C5F46BFED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963900$C71F196F-75D4-4B3F-B97B-E259931B0DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e1b10ce39bfce710d3a1d1c36e1ea4ab25cf78","datavalue":{"value":"recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963900$E59B5407-1C6C-47A5-90E7-5B81982D7C62","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":"Q2963900$DAF8B42B-7C9E-44A3-8FD7-4AACE3CE75AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8de5b896a532abddf2682a5a129178574e0df7ac","datavalue":{"value":"https://hal.science/hal-00966102","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963900$B18E5B5F-AB45-41E1-9D8B-D3E459651D18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d815788760e579ba6e7ae6f2c7936333caac807a","datavalue":{"value":"W1544413980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963900$83F9F5B6-6FD2-4DE2-8BA0-F690ED2166AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c200a46bd932ab71848bd3bbf0d4a0c917a41a0","datavalue":{"value":{"text":"B\u00f6hm trees as higher-order recursion schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2963900$3B4DEED6-CF16-4454-9CF8-6F1C67631B9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0bbcc90aff3b5c1e6debcd59357e92c0d32ebac","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2013.91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963900$B976AEBD-C5AD-4203-B589-BB40D8C145DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06cb0e9e750a58563b7ac4926b798b8b4b406f7b","datavalue":{"value":{"entity-type":"item","numeric-id":4499287,"id":"Q4499287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65050864d1d96f0ff38f94e8959858643719a07f","datavalue":{"value":{"amount":"+0.880475","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":"Q2963900$E28118A0-E0C2-4561-8770-0ED5580CBFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f780add602f00f4dcae14eb3f0d007f534b4087","datavalue":{"value":{"entity-type":"item","numeric-id":4236200,"id":"Q4236200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba0f5cfd053b3caebe68eb990688ad9b932a3bd","datavalue":{"value":{"amount":"+0.8724687","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":"Q2963900$1A539383-4AC0-4A1B-9956-7DD81C8E7A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ea169f545888aaf5d0fe674b531638677a7700","datavalue":{"value":{"entity-type":"item","numeric-id":5898816,"id":"Q5898816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f8a87412ae5378ce1d167ecd50919d3a051fcb","datavalue":{"value":{"amount":"+0.8675325","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":"Q2963900$374A26F9-0198-4265-B6BB-A7BB5EC6133C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64a0b6ad0bb1fd8f579307e0a4c6d1c34eba02d","datavalue":{"value":{"entity-type":"item","numeric-id":2708318,"id":"Q2708318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf170a9c2c533a548e9df3037c2dfa86e25ccb0","datavalue":{"value":{"amount":"+0.8658143","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":"Q2963900$CA331868-9D5E-4D58-A09A-14D99CBC3792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8926852128ef8ac08caf416deb18fdd78c80085a","datavalue":{"value":{"entity-type":"item","numeric-id":5901571,"id":"Q5901571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f4e750fa5a51ecbc103e449c52a70760badc69","datavalue":{"value":{"amount":"+0.8618637","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":"Q2963900$7D4E926A-2D1B-4CF3-9410-77C93C239EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd4b62f5232d7b00f9e6dcf99cee3f622b6409c","datavalue":{"value":{"entity-type":"item","numeric-id":428894,"id":"Q428894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ecf29030c1b9ab24c15b9b91b07b33e73cf656","datavalue":{"value":{"amount":"+0.85903156","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":"Q2963900$5DAEAC15-725C-4B66-9E01-B06002B4E5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41041c232e9b48ea05c4114c7fe83936cf8c2718","datavalue":{"value":{"entity-type":"item","numeric-id":3636829,"id":"Q3636829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3817e15dec717ff8af161dff9aa0c0c801b0ca0","datavalue":{"value":{"amount":"+0.8547177","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":"Q2963900$77E1D877-28F2-415C-BDA2-A7C1933AB563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a545bf4fac674b6da581a6e0cfb51aaac8fe4ba","datavalue":{"value":{"entity-type":"item","numeric-id":4625694,"id":"Q4625694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c68fb455b66aed983f81f6313cd0dfbc576f11d","datavalue":{"value":{"amount":"+0.8480252","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":"Q2963900$F020B3A7-34F9-4090-B6A6-27E3DE3AE5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05de9bc273b65a0328636ab0718ca0a04ba55485","datavalue":{"value":{"entity-type":"item","numeric-id":4236203,"id":"Q4236203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a508a8d3b03f39fca418ca09423688d7abb1f387","datavalue":{"value":{"amount":"+0.8451455","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":"Q2963900$FDDAA754-48B2-4DAD-B0E5-F687E0BCCEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0209ca1d2522e8ca40a9f448591b8fc3f464d8ec","datavalue":{"value":{"entity-type":"item","numeric-id":445591,"id":"Q445591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b88aacc97ef4b288c35092eb8df7140e0bb2292","datavalue":{"value":{"amount":"+0.8392316","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":"Q2963900$F2C6B4EF-027C-4AF5-A232-490633593BDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2963900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2963900"}}}}}