{"entities":{"Q2933396":{"pageid":2944116,"ns":120,"title":"Item:Q2933396","lastrevid":85223924,"modified":"2026-06-03T06:21:01Z","type":"item","id":"Q2933396","labels":{"en":{"language":"en","value":"An elementary proof of the normalization theorem for \\(\\beta\\eta\\)-reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6379365"}},"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":"Q2933396$0F806F54-F75E-4D53-9622-322437F443A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"018bac4f79e8ebcb72da959937555dc35b58ff7a","datavalue":{"value":"1313.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933396$C3490FEE-3CCB-4DFB-B6D5-4A158E6072DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0ec707b84a342daf2fe4ca8aaa53768911be355","datavalue":{"value":{"entity-type":"item","numeric-id":2897442,"id":"Q2897442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933396$419B4545-F1F4-448D-A46A-19D080F5D16B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8de0977d679d7cededaa51226cfc071a8f4c9542","datavalue":{"value":{"time":"+2014-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2933396$98B418D9-AE87-4D35-B60A-B3BF0C34BA04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933396$E7774907-C4BC-4A03-96A9-3483EF8BEB20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7a372ac2847774ad661210adc03c03ded60799f","datavalue":{"value":"6379365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933396$0421A205-697B-4885-B8F8-B5FEFE931141","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933396$B20612FA-B34E-4464-AA8D-74D3348B080A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742208bd60ac619513c9106c2535f33ab99645f5","datavalue":{"value":"\\(\\beta\\eta\\)-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933396$B8AA3330-2D03-4D16-8B76-B9CAC58E7AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"652fa933977da91f150714cfe5a0f5473792b03a","datavalue":{"value":"leftmost strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933396$5B08867E-051B-45D3-BFB4-46E0F62CE050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcff1627eab331200891d6ea00e24fc731f18d5","datavalue":{"value":"normalization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933396$3B166077-8937-4DED-BD92-F508D00574B3","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":"Q2933396$CA287AF0-A9C9-4468-9653-C598DA174484","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef278cfd45479b9e3aab3fabd321b20aaed82232","datavalue":{"value":{"entity-type":"item","numeric-id":1786610,"id":"Q1786610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb2c04cab7e848548f4eccce5851ad3f2f62b6b","datavalue":{"value":{"amount":"+0.8317453861236572","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":"Q2933396$1D5FEEE5-8758-4447-9F88-0A56DD77EA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c8fe2d76caf04230483fa563bee000df565951","datavalue":{"value":{"entity-type":"item","numeric-id":2263308,"id":"Q2263308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9fcaad5289186bbb7ce92c70604fd6824878c7","datavalue":{"value":{"amount":"+0.8091069459915161","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":"Q2933396$006A5B27-F08E-4F1C-8EF0-2FAF1FFCF442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90de395bee12df483a2e23c4bb7bd4a7f77ac96d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb7e94db3ff2b13f04c4d287ee6275bc8ad2818","datavalue":{"value":{"amount":"+0.801323413848877","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":"Q2933396$3C7457B4-BF47-4F06-B31A-6EF62D607F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488f1db6e8a9dc02e715c3090f3d1ed4298b54f","datavalue":{"value":{"entity-type":"item","numeric-id":884953,"id":"Q884953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c237892f9127da81f31ce4ff31e0ab09420c2c5","datavalue":{"value":{"amount":"+0.7939283847808838","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":"Q2933396$39203836-C8CD-44AB-9897-6F7CE049F894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ff12b5ca4231510e7e2d596105961afe3354b8","datavalue":{"value":{"entity-type":"item","numeric-id":1650330,"id":"Q1650330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df3dbac4c0633ac6a4ed367e561bfec13e290ef","datavalue":{"value":{"amount":"+0.7862988114356995","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":"Q2933396$04CC3D81-A0BB-4D56-8CAC-E50E0C5833A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An elementary proof of the normalization theorem for \\(\\beta\\eta\\)-reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_elementary_proof_of_the_normalization_theorem_for_%5C(%5Cbeta%5Ceta%5C)-reduction"}}}}}