{"entities":{"Q2794671":{"pageid":2805409,"ns":120,"title":"Item:Q2794671","lastrevid":58005489,"modified":"2026-04-03T10:25:44Z","type":"item","id":"Q2794671","labels":{"en":{"language":"en","value":"(Leftmost-outermost) beta reduction is invariant, indeed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6554180"}},"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":"Q2794671$202672DC-E8F9-48BE-931C-E560244F0F31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"627e455c459e0a63bd4957a71099d962ece3101e","datavalue":{"value":"1394.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794671$A78ACA18-9E59-49E9-AC94-6B5701346125","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e26e189e6d88fc65dcff2033c8a543d28230099","datavalue":{"value":"10.2168/LMCS-12(1:4)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794671$25406F4C-4CAE-40E3-B803-C344CEA3E8F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a5fc175548a252094d9a283c297268d69f866a","datavalue":{"value":{"entity-type":"item","numeric-id":897927,"id":"Q897927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2794671$4BC9BEFB-7316-45B8-9524-F72E9774D19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2794671$E30426BC-61D2-4FEF-A841-E8309A8AC155","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2794671$A8AF7F0D-57CB-4CC0-BAE6-063491DEA02D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbe961c88086ff0a5b0c45dcc1e05b19ba68ed18","datavalue":{"value":{"time":"+2016-03-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":"Q2794671$DCB40CD0-92AE-45D1-97E3-FFF2CFF2F840","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac2c6b7c65b04a798f98fa17b0097ae280aeaa99","datavalue":{"value":"https://arxiv.org/abs/1601.01233","type":"string"},"datatype":"url"},"type":"statement","id":"Q2794671$68BAFD01-8CF1-470D-9269-54DF4BEE9FC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794671$BFB832FE-768A-4EB0-B82F-95E269900ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794671$76D07CEF-B308-42DD-B188-6E80A379E70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794671$BC2C9116-8F63-4999-A378-1139AEACDC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794671$E2006092-DF7E-492E-BFEF-D8756E539052","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f84ff71f884718d9ec1b42dda247c044e84aae6b","datavalue":{"value":"6554180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794671$53863FD4-DE40-4248-B850-17DB142C4F37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794671$37C6F435-5C67-4286-A62B-48B4EC3A5803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4ae06aefb54dbc6e3577eee5227dfb50c701ac","datavalue":{"value":"cost models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794671$5513B607-3763-48DE-AFE6-665E160B3228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794671$D731BF8A-9FBE-482C-A6FD-BF21B19DFD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2caa0a342ca8b67b936ebf00be01020f3dda6","datavalue":{"value":"invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794671$DB836B66-748A-4CAE-AD6B-738F1C5DB39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18d613ca5d558d91e811df923cf208208ced9e8","datavalue":{"value":"standardization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794671$385E4D2E-41EA-411C-81DB-CE2C850DD532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e53df307452a0f493e5ea7f340e6394fad21772","datavalue":{"value":"sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794671$9635A61D-0A8A-48B3-AD5B-3301C47D43BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794671$3668BEAE-AA6E-4824-8971-5F9B2D5BC66D","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":"Q2794671$4E7734A8-8605-43BE-ACC0-74AE56469E43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cc417a9ef5ec2663b87ba957d29ff8b4b280e78","datavalue":{"value":{"text":"(Leftmost-outermost) beta reduction is invariant, indeed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2794671$DD11C4D6-8747-4662-8D75-77670A899CC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ffa585547f2cd25c61e589567dd1ffab529a87","datavalue":{"value":{"entity-type":"item","numeric-id":4635589,"id":"Q4635589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b4df51ccfcff81ad3a4cbe42b1b5be7217b62e","datavalue":{"value":{"amount":"+0.9913188219070436","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":"Q2794671$4E3B34CF-552A-46AD-AB81-66B844AD44BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11fe8b736fd1f729cc5c48193782bceacd1bc2d","datavalue":{"value":{"entity-type":"item","numeric-id":930866,"id":"Q930866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e03ff858b8cae253dae8a7c1ce3b860cbcd9ef","datavalue":{"value":{"amount":"+0.8566023111343384","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":"Q2794671$91349931-4F92-45E1-9FA0-76ABAF69BCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41fe97f8b4f931e6f9f31eec588379410f4cbd0","datavalue":{"value":{"entity-type":"item","numeric-id":5898807,"id":"Q5898807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b737482ff6d9d2f4f2bf5a8844e648aa61ceddd","datavalue":{"value":{"amount":"+0.8524125814437866","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":"Q2794671$C9E1B4BA-0600-4CD6-B206-0C08C751B51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d0892e42bc6f83eb7a7eff8fe2e29b739e8a18","datavalue":{"value":{"entity-type":"item","numeric-id":5111892,"id":"Q5111892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd702688ed63cdd3a0f18c55098c712567d42e5","datavalue":{"value":{"amount":"+0.8147163987159729","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":"Q2794671$C92F7347-7428-434F-A318-47CF2291150E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f50b3f4d8d6370330324d8696805f0a9bf3b15d","datavalue":{"value":{"entity-type":"item","numeric-id":2820681,"id":"Q2820681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d1e666b1aae12b2f27671abd062e914a98ac5b","datavalue":{"value":{"amount":"+0.8139448165893555","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":"Q2794671$918230F9-D6DA-4E7E-BFAD-091B13139240","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2794671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2794671"}}}}}