{"entities":{"Q2104281":{"pageid":2115024,"ns":120,"title":"Item:Q2104281","lastrevid":43514580,"modified":"2025-07-30T11:44:12Z","type":"item","id":"Q2104281","labels":{"en":{"language":"en","value":"Barendregt's problem \\#26 and combinatory strong reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7627938"}},"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":"Q2104281$00AA6F66-9204-427B-A73E-97920EBD0617","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"810893a0337b2f33dce784cd0c429ae4a02e9a1c","datavalue":{"value":{"text":"Barendregt's problem \\#26 and combinatory strong reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104281$1CDCFFFE-C21D-4B19-886E-40B4385D33B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"205655a47430091e2bb58506dd958563fbb2d0a6","datavalue":{"value":"10.1007/978-3-031-08740-0_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104281$10F36360-9245-463A-8D66-BE7C9CDC2571","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104281$8C74F95D-7954-4B10-99D4-EF456E99C808","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104281$8610E047-9ED8-4099-B587-CEB76BB72375","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e96c1918059dbba8d233547746705f1a270799d7","datavalue":{"value":"7627938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104281$4A3D188C-2B3B-466C-9433-BDD4CF977D76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011d259587fd59f274ad7f775170f0b91f8010d8","datavalue":{"value":"simply typed combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104281$80D25513-6886-46E5-9930-18962E6FB308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104281$271AA79B-E8BD-4AAB-830D-98D9EC823FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea76699360031c92d22949144e03df9129f381b","datavalue":{"value":"G\u00f6del's koan","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104281$E74E201B-6FB1-4FCB-913C-7FDA2E5262E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5dca68ae3ca1ab5ffee6b36b5daf704bfd3e306","datavalue":{"value":{"entity-type":"item","numeric-id":365668,"id":"Q365668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104281$191A4D68-688E-4791-9A6F-B61043801073","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":"Q2104281$42E7FC54-F384-4744-8B24-11F7BB01B4A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"415ee2772d928920ea7f4c8a99d06200732513ba","datavalue":{"value":"https://doi.org/10.1007/978-3-031-08740-0_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104281$EEF15CF4-1993-4A49-807E-A47CDA19ECBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"507a2b710d5548f69ebb9ba84dc0c816617215af","datavalue":{"value":"W4285180909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104281$81F12CB9-71DC-41AB-82CA-B31B6FAE1861","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104281$52B81D64-7242-414A-8224-BBFCC0C6923D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b98f1b8d3e198f13c8d4c7f34bacaca6a772f","datavalue":{"value":{"entity-type":"item","numeric-id":5532528,"id":"Q5532528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104281$7AA45A32-4504-4F35-80E3-B792B3C056EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104281$40892FBF-B8FE-4473-A260-4069113185BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104281$5086E69C-CF84-4693-85E8-A13E13E5474F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab27d8a541602ffb3d78a9ee028720b387b8131c","datavalue":{"value":{"entity-type":"item","numeric-id":1014284,"id":"Q1014284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5157c0c384c4b50b0d151b8f6264e166396df859","datavalue":{"value":{"amount":"+0.9035249","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":"Q2104281$48676149-EEEE-46CC-A68D-96F03637CAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4d02e555b9d891ef7c4280539903606eb05341","datavalue":{"value":{"entity-type":"item","numeric-id":5096158,"id":"Q5096158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f99dcc823ccb41e8bcf4c52baf3fd130cfb75b","datavalue":{"value":{"amount":"+0.87827575","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":"Q2104281$33766A0D-E308-46B2-984D-61781EDE7E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7024b584150a2e1ba8672fba00213125bc7194de","datavalue":{"value":{"entity-type":"item","numeric-id":4016403,"id":"Q4016403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f99dcc823ccb41e8bcf4c52baf3fd130cfb75b","datavalue":{"value":{"amount":"+0.87827575","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":"Q2104281$A1506545-F3F5-4CBC-9B99-9795F296FF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d888702055863ee42be75bbe7ef25f9da1cd786a","datavalue":{"value":{"entity-type":"item","numeric-id":2976339,"id":"Q2976339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2e36a1e1c0a06c03398e85f7ffd019f90561ee","datavalue":{"value":{"amount":"+0.87623286","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":"Q2104281$C439536E-02D8-442F-ADBA-BF90804D0BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fbc122fcf9070915368e4d7f0f83230270b1ae1","datavalue":{"value":{"entity-type":"item","numeric-id":850805,"id":"Q850805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd6ebfdacc0f6f8e10cd8de06b850d39fadebf8","datavalue":{"value":{"amount":"+0.87244874","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":"Q2104281$B6E04E44-F79D-4D1A-8242-113F9172F574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5f5c6284fafbde4777cee1b2c208cef154fba9","datavalue":{"value":{"entity-type":"item","numeric-id":3715103,"id":"Q3715103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976f8836991aa8c16ffe422735b17c81d2c8305f","datavalue":{"value":{"amount":"+0.8705165","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":"Q2104281$419B541F-59BA-4505-8840-C0C63D44F619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4741c4be621d9cb1dc206c96fc8a184aeda78935","datavalue":{"value":{"entity-type":"item","numeric-id":732008,"id":"Q732008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93b65c812dfd075f6a48086606aed2452674dc0","datavalue":{"value":{"amount":"+0.8675633","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":"Q2104281$B3D3FBF9-44FC-4116-89A3-B29CD57DFAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4baec08522464250b2d528f76e954f9a4527810e","datavalue":{"value":{"entity-type":"item","numeric-id":5075296,"id":"Q5075296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f183d4a3d60b4c5c343b5416ed7c4b975b6ae90f","datavalue":{"value":{"amount":"+0.86615855","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":"Q2104281$BBAB02C4-43D4-403D-BB80-81D162455BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c016ee6b1645c4306a96e67ca6eb5c3d55877323","datavalue":{"value":{"entity-type":"item","numeric-id":2799750,"id":"Q2799750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20dadec328561b7381746809ab1554ca2df08d82","datavalue":{"value":{"amount":"+0.86546475","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":"Q2104281$61EC033C-108C-4D53-856B-4381CF928AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e00d4b43c72ecf7a0dfd62d8dd2a74cdd978aca","datavalue":{"value":{"entity-type":"item","numeric-id":3107360,"id":"Q3107360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756c8664fe3ce32bed93804ffb1e2fefa21f9c1a","datavalue":{"value":{"amount":"+0.8620273","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":"Q2104281$996F9EAB-F4DB-471D-87D2-D82D4CF81C53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104281"}}}}}