{"entities":{"Q1650330":{"pageid":1661071,"ns":120,"title":"Item:Q1650330","lastrevid":73978806,"modified":"2026-04-14T17:56:00Z","type":"item","id":"Q1650330","labels":{"en":{"language":"en","value":"Fundamental theorems of extensional untyped \\(\\lambda\\)-calculus revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6898176"}},"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":"Q1650330$C54D86DD-6193-45FA-90EF-1ED3756B9B25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30ed493b123bd12ee37d28d53e14d0832e77e40c","datavalue":{"value":{"text":"Fundamental theorems of extensional untyped \\(\\lambda\\)-calculus revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1650330$FC520083-AD8D-46E3-ABCF-88B1BAC63D7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"760566ef93f4aca7052fdf3978545a6dad670160","datavalue":{"value":"1390.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1650330$44185CBE-0E11-49B9-A497-89D9ABF715E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d31c175cfe8d796b2271b831e51d81c17b025c7","datavalue":{"value":{"entity-type":"item","numeric-id":1650329,"id":"Q1650329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650330$5AA31274-323F-4652-BA63-DAC95253D2EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e919ee3e1bff25d5819a92667748233ad0caa11","datavalue":{"value":{"entity-type":"item","numeric-id":203304,"id":"Q203304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650330$2D41D32F-94D5-4938-BA22-41E97CFE4238","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f018725447469cf7bbbe6e46592707d7247bbc01","datavalue":{"value":{"time":"+2018-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1650330$FF8A5556-53D1-4B17-B32C-916FCF37E77E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbc20b1d3303690368dc91bb92f39cf85219691c","datavalue":{"value":"http://www.math.md/publications/csjm/issues/v23-n2/11956/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1650330$F3F9D8A1-5677-4D57-93C6-558CA84D813F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1650330$930CBCA8-2EA3-484E-AA69-A74E5C344633","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9a4fddace4c2d4223750ca7c732307ee43c4aca","datavalue":{"value":"6898176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1650330$36480C2C-B30F-478B-B4E7-76A87B1C029D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8ff3f4014032f205b76f5dcc9aa36ba7826e70","datavalue":{"value":"extensional untyped \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650330$2133DBBF-DF19-47F2-88A6-CE38EF575EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742208bd60ac619513c9106c2535f33ab99645f5","datavalue":{"value":"\\(\\beta\\eta\\)-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650330$84913EAA-73DB-4B47-B759-0FF2ACCA47E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5ec57699a781f6e6f842196d37bc3f163ea5547","datavalue":{"value":"postponement of \\(\\eta\\)-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650330$090DB3A4-DDA1-44C2-9061-0F74851747F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e6da7a00fc10dbfbf4f85e0ab77ddecec6522bf","datavalue":{"value":"\\(\\eta\\)-postponement theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650330$61B42AA8-EBA0-4747-A598-5019830EA61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65fd9dddc17bd5fc8bb7a587f5103e3d5374b4a0","datavalue":{"value":"\\(\\beta\\eta\\)-normal form theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650330$EF0979D9-0E1D-43A8-89CD-52661170E295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace27d8fe4ae534d73013627a394591945c4e12","datavalue":{"value":"normalization theorem for \\(\\beta\\eta\\)-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1650330$8B390C29-C126-479A-ACD9-6A71593926E6","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":"Q1650330$97C846C9-B3ED-496C-870B-494D0166B12F","rank":"normal"}],"P1643":[{"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":"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":"Q1650330$35B5C429-C0DF-46E9-8F8F-C36C7DCAB050","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":"f785d7f46c5866eaa14f4730786b0eb0265d1ff7","datavalue":{"value":{"amount":"+0.8204090595245361","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":"Q1650330$88078C57-A64F-4A85-B7EE-7AEA50700809","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":"04b83ad7a95940a62d28080f1608a4c8aafd4695","datavalue":{"value":{"amount":"+0.8152248859405518","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":"Q1650330$FBDD58D4-0640-40C0-9040-3C9641E90BF4","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":"3c03eb4ce33df95352ae9a7f01e636fcb0028ab5","datavalue":{"value":{"amount":"+0.7959390878677368","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":"Q1650330$CACE3B53-F87D-45C2-8CC8-292A328D3C2A","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":"bfcae3c5aa1548a613da0a68ec657f6918139557","datavalue":{"value":{"amount":"+0.7876749634742737","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":"Q1650330$D7F477F6-CF4C-48D5-8E05-D36FB474654B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"601a8be25209c46f574d1c22a38bee2246bce6f6","datavalue":{"value":{"entity-type":"item","numeric-id":57078,"id":"Q57078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1650330$8654BE9B-36ED-401A-B096-8198137CDF45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fundamental theorems of extensional untyped \\(\\lambda\\)-calculus revisited","badges":[]}}}}}