{"entities":{"Q4896520":{"pageid":6926099,"ns":120,"title":"Item:Q4896520","lastrevid":47418367,"modified":"2026-01-01T16:50:05Z","type":"item","id":"Q4896520","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937379"}},"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":"Q4896520$B44729FB-C49C-4EA9-9C25-E9618483F4F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cb0ae7ee4a0802e3a82773826787c847f78f143","datavalue":{"value":"0857.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896520$F38EDF8C-DC77-4B0B-A32B-2371CCC7D679","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73be4ca9840fbd728ecb0cefdb65f88a9f13d68b","datavalue":{"value":{"entity-type":"item","numeric-id":361790,"id":"Q361790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4896520$FBC86E2F-7202-4A5C-AF4F-14E0FB2092AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18c3bb1a11dba9f99423cf053a5921485bdadd22","datavalue":{"value":{"time":"+1996-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4896520$3C9C714E-55A2-438B-AB7D-BEF741A815FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896520$9E284E0D-8F93-4CCC-B9A9-4C10CB917BD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63f4ae7c53a9496f40827cce6286b4a603c02b0a","datavalue":{"value":"937379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896520$E657ED88-A13B-40BA-80CB-90FEC50D52A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190c7f2a55bca07217e9352b7803c86e78226c18","datavalue":{"value":"model of \\(\\lambda\\beta\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896520$663AD340-1B47-4448-A49A-A079FF026FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55139a50e9a68dfdaeda85493a6a9a30b854d78e","datavalue":{"value":"infinitary version of \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896520$C0C60D0C-38ED-43A1-89E8-9B745F33F7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896520$21D02F24-5E2F-4CF7-8261-AE71292C4C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4792fc65a86e7f564bfe853e7aa0a26e226c075","datavalue":{"value":"unsolvable lambda-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896520$7CA324F3-F283-4248-A5F9-E08AAFAAC990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"372563f1b7a9fa8b78bc736d0b6851c1690b0f19","datavalue":{"value":"mute terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896520$0D236FDC-CF6D-4BA6-8F8E-E4C1A8C38F39","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":"Q4896520$C1780D43-E49B-4D60-B62D-D3244D3B8586","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccab83b1f65df885e51e0764d86901940bb9b5ea","datavalue":{"value":{"entity-type":"item","numeric-id":288793,"id":"Q288793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf00f325ab9c6208fabc7df4060a18206240cbc","datavalue":{"value":{"amount":"+0.837536096572876","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":"Q4896520$F6D2D893-C0BE-453B-AD67-F2E5F95872C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab1008699d7de7760144339951de376adc7a51a","datavalue":{"value":{"entity-type":"item","numeric-id":1275621,"id":"Q1275621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af9cf9b7268383447cfc295ff87f8eac5ac9bc1f","datavalue":{"value":{"amount":"+0.8151422739028931","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":"Q4896520$DD8E40DB-0937-4EF7-933E-D4A8579E852C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b0161e8fae7dbb8e64397139e77536b7c0df96","datavalue":{"value":{"entity-type":"item","numeric-id":5269002,"id":"Q5269002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9287582748b32791def8007cc2d773a54a99a0e9","datavalue":{"value":{"amount":"+0.7891599535942078","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":"Q4896520$FE38130B-9C3E-4552-A7D3-164AF8857AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"890ef0ca5fd55f8f1aa81b11c2bf11e748d67930","datavalue":{"value":{"entity-type":"item","numeric-id":4254697,"id":"Q4254697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb9f05f6d46ed43907c2b47b6f306d339eff59c","datavalue":{"value":{"amount":"+0.7834575176239014","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":"Q4896520$2D764C88-011A-422C-9792-6BFA2991FB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f16b5b949416f005f34c01f700fef534201659","datavalue":{"value":{"entity-type":"item","numeric-id":3837724,"id":"Q3837724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb9f05f6d46ed43907c2b47b6f306d339eff59c","datavalue":{"value":{"amount":"+0.7834575176239014","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":"Q4896520$9943DDE5-3916-42B1-88E8-36C88E5E937C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4896520","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4896520"}}}}}