{"entities":{"Q2263308":{"pageid":2274051,"ns":120,"title":"Item:Q2263308","lastrevid":52226870,"modified":"2026-01-21T05:04:48Z","type":"item","id":"Q2263308","labels":{"en":{"language":"en","value":"New proofs of important theorems of untyped extensional \\(\\lambda\\) calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416364"}},"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":"Q2263308$917AB34C-A8FF-4BBE-9CAA-0B351E2A03F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd1620e2526accb891d6bd30702c1e2c460f3c63","datavalue":{"value":{"text":"New proofs of important theorems of untyped extensional \\(\\lambda\\) calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2263308$FAFB6F6D-9446-430C-9D75-2E58AB5428BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e011f0415e5ba3e977eb6956d2360dfc0b9fa177","datavalue":{"value":"1325.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263308$F9B86F17-3B25-4DD5-AEF0-18A7FF27EA0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0381fbdeb2eb5b48abea8a187e121334a4fda236","datavalue":{"value":{"entity-type":"item","numeric-id":2263307,"id":"Q2263307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263308$16C11C00-0917-47AA-888F-6177DEE416C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263308$6EC0393B-EFC3-45D9-90BE-73ABFFF763EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2263308$1308BDC6-2417-4C75-856A-F66A3079BA14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263308$770726AB-84EB-4A06-9024-9F6FAC792141","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1f006076315de7caab61f3866337997a92ce788","datavalue":{"value":"6416364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263308$5B586E72-8AC4-4BE0-BA4C-D56B57665330","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6658f040098ede99dc3e2125c87acf6c3cd700af","datavalue":{"value":"untyped extensional \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263308$A2AC5E97-23A5-4AB9-8CE9-60E44398A714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5ec57699a781f6e6f842196d37bc3f163ea5547","datavalue":{"value":"postponement of \\(\\eta\\)-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263308$5B4FC32A-E9F8-403E-842E-3EFF1FE9BF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bf2f292a36175a5132e23752f350ddde4f3fa31","datavalue":{"value":"theorem on \\(\\beta\\eta\\)-normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263308$D60CCC7F-ED62-4DE1-8D72-65D015263EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace27d8fe4ae534d73013627a394591945c4e12","datavalue":{"value":"normalization theorem for \\(\\beta\\eta\\)-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263308$0DC9333A-7573-4A7D-A773-876DBD7DBAFA","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":"Q2263308$44767FA1-CA12-4112-BC56-089D4190DB6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77a3bd32932f61563791b4b6cc15ef441f3da3d7","datavalue":{"value":"https://doi.org/10.1007/s10559-014-9641-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2263308$3968B84D-2006-4452-A863-32D2E4038B7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8badeb1d9a156851834c0f3b2ad5b93e0f3f30dc","datavalue":{"value":"W2035693976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263308$98C83463-531B-43B5-8118-9B598CA13CA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263308$9FA75E06-51A0-412F-8EBD-47ACAC409704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263308$4A3DEBB9-71BC-4A61-81B5-250CC61888A1","rank":"normal"},{"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":"Q2263308$9FFDEA15-44B0-4DF7-BEE0-E4E673667634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263308$25B1F312-83C3-40F8-A62E-CDF1119B9362","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c6eb15221c6ba2a49873cd3ddb795e32665e7e9","datavalue":{"value":"10.1007/S10559-014-9641-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263308$ABF194F0-E531-4C48-B1C9-BD55568DBD20","rank":"normal"}],"P1643":[{"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":"cc33498a98ab210c92522134e0a4c8faaa34ec2b","datavalue":{"value":{"amount":"+0.942655622959137","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":"Q2263308$6F89D171-9FE5-4589-817B-1E7F93C615A9","rank":"normal"},{"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":"32441b7ec69052fe1c2f4a71f76538dbfa1118c7","datavalue":{"value":{"amount":"+0.8161386251449585","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":"Q2263308$46060A4B-28BC-44DA-B928-B36BD00B2773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca7ac86c3604ff4d4fad1a586409af7ebe695721","datavalue":{"value":{"entity-type":"item","numeric-id":2933396,"id":"Q2933396"},"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":"Q2263308$2E98187C-186B-40DD-8FC9-35FA17C15A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7796136c5a85d17c41a083a512524ae54c91fac6","datavalue":{"value":{"entity-type":"item","numeric-id":4850465,"id":"Q4850465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f27b2d050a9ce2db10ac74cd195cf5ffffe32cd","datavalue":{"value":{"amount":"+0.804351270198822","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":"Q2263308$F6F3D93F-B744-4C51-BE73-F59A5234C27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d902661f385e7d94261ef29c3b8c45a866771e54","datavalue":{"value":{"entity-type":"item","numeric-id":5903814,"id":"Q5903814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d494a4e0e72aefadf4eb51523235d09592d0519","datavalue":{"value":{"amount":"+0.792153537273407","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":"Q2263308$7AEFBF7C-6B77-4F98-BB1E-3B16C91E5BB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2263308","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2263308"}}}}}