{"entities":{"Q1765154":{"pageid":1775896,"ns":120,"title":"Item:Q1765154","lastrevid":48419386,"modified":"2026-01-04T16:31:15Z","type":"item","id":"Q1765154","labels":{"en":{"language":"en","value":"Some results on extensionality in lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2137205"}},"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":"Q1765154$F20C223A-F9BD-4A39-8D30-3FFBE37AA039","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eeb9de2bd5a7fa5a2e5a38fab0aec5560d6453e6","datavalue":{"value":{"text":"Some results on extensionality in lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1765154$3447576F-F031-4F6C-810E-D9BD365BDD53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a41b9a5151389c27b4fe75db3e744ac9763d866f","datavalue":{"value":"1065.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765154$FB75B0FB-FD14-467F-84B3-0D1FFFB6BF50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"395b5137124702312f7d3fa6b0db1bd777258581","datavalue":{"value":{"entity-type":"item","numeric-id":397403,"id":"Q397403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765154$4ADD9F24-1162-418C-87E3-37F7DC4125EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765154$69C6BB6C-1043-454F-9168-190D9DF42AA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765154$DB50ED9C-8FEA-4D82-BC6F-0EA114E4ED2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f8b72aeee9429c75f6d2c214b1fe1fedeb47fc2","datavalue":{"value":{"time":"+2005-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1765154$70F400CC-6611-4418-B86A-DB5535C08A7E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ca6205171ca33127fb570c1719b2520e0a3f96b","datavalue":{"value":"A counterexample of Plotkin showed that the \\(\\lambda\\)-theory with the \\((\\omega)\\) rule:  \\[ \\text{If }MQ=NQ\\text{ for all closed terms }Q\\text{ then }M=N, \\]  is not recursively enumerable. It is also well known that \\(\\lambda \\beta \\eta\\), which is recursively enumerable, does not satisfy \\((\\omega)\\). This paper answers a question of Cantini by showing that there is a recursively enumerable \\(\\lambda\\)-theory which satisfies \\((\\omega)\\). The work leads to a better understanding of Plotkin's counterexample.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765154$50B6AF11-0E57-4E6A-A123-562A3FEE6B02","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765154$03E015B5-5795-4AC9-A419-493844BBD95F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765154$06E40301-9990-4745-B7FD-202D96847E12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"971a966c4bbda25e646414f0f200cae5b6caf7a1","datavalue":{"value":"2137205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765154$497F5EAC-3193-42AE-8185-3599CB0971A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f219ea5290115a3050f174389e7c7fb65916f8f","datavalue":{"value":"Plotkin's counterexample","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765154$78AC0803-6BDD-46A3-A88A-E4F7E378A394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da38a03d8e8708294f74b15d4bc4f520cc71819e","datavalue":{"value":"lambda-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765154$9141B71D-B772-444C-A46E-7B6ADB1230EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f11b8ca84e4bb6b6d269686c64208c414da75007","datavalue":{"value":"omega-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765154$D84A4455-570B-4E1C-BC24-3230A52419AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834a5d3aeff3e989ddbcac30f750804dc9e3013b","datavalue":{"value":"recursive enumerability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765154$FB3DCF12-EDDB-4BB6-91E9-34346E03D9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765154$0A26F897-E57E-416A-A939-EA39875AB483","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":"Q1765154$3DEF83C4-A170-4544-9B0E-FC1D4FD1B38E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6cfc7ceafe730161785560f7032dae8a7128f4b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.05.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1765154$3205D4DE-A466-4E19-9D41-22209C8FB9CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4779d5eb3f9dc939e83f29558e9be36a983435dc","datavalue":{"value":"W2026682644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765154$07403ECB-5078-44AA-8AD0-4A8BB6104A52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765154$83783216-9425-478D-953E-F7D6E205F425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61a9ba173f39666dd2c8b876ad083be94132fd","datavalue":{"value":{"entity-type":"item","numeric-id":1314345,"id":"Q1314345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765154$B18C9662-B2CD-4E22-9226-2222CEDA03EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765154$E92AE908-3D4A-4FFF-9E44-A7F04294A45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2938d602a424112b26a0366d14dfff312a63d801","datavalue":{"value":{"entity-type":"item","numeric-id":1095139,"id":"Q1095139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765154$317EBE72-9743-47FB-80EC-623F57029849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b10886ca8b4810e91e18ed9a8c6b352daf84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4341774,"id":"Q4341774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765154$872BD74C-CEC9-496D-9A05-CDC6CAF3C031","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"093c44adebe67c0bc2383de1dfa157e5a0c245a0","datavalue":{"value":"10.1016/J.APAL.2003.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765154$B9738DF6-EDF6-4506-8F58-DF3B777D8FF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526a8e3c1b16d702e0d7192d445e8aca3dea0661","datavalue":{"value":{"entity-type":"item","numeric-id":3636805,"id":"Q3636805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9037fd1cfe369929c3a06ede2fb51d84a7757f1f","datavalue":{"value":{"amount":"+0.8033787608146667","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":"Q1765154$65F7ECAD-6497-42CD-AC44-67DFBF346803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a29e61cc04c9392344de0d8e6eba4237a836615","datavalue":{"value":{"entity-type":"item","numeric-id":5111316,"id":"Q5111316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ac39d50bd5fabb3ea4dfac7ca099d54402127f","datavalue":{"value":{"amount":"+0.7986976504325867","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":"Q1765154$A75E4867-7C5B-428B-BBFA-3248AD9196D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094b326e8180fd47c69da90871f6c16fc86e47ed","datavalue":{"value":{"entity-type":"item","numeric-id":5310670,"id":"Q5310670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03238386625c7fe166e84f6a7ca3508a4ba72e4","datavalue":{"value":{"amount":"+0.7858896255493164","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":"Q1765154$F956355A-4872-4F74-9210-03BD131125B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a545bf4fac674b6da581a6e0cfb51aaac8fe4ba","datavalue":{"value":{"entity-type":"item","numeric-id":4625694,"id":"Q4625694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb77442b93d333a65482df4cf489b8a820198fc","datavalue":{"value":{"amount":"+0.7822495102882385","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":"Q1765154$C4339D36-0585-4C37-A167-889CFC5E9EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1f2ccb4a20af1553a5189ad56d5ccf590903a4","datavalue":{"value":{"entity-type":"item","numeric-id":4031104,"id":"Q4031104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7590fdbb6d621a892db7a65caa725445d251ba4f","datavalue":{"value":{"amount":"+0.7814138531684875","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":"Q1765154$EACABE8F-455F-4C05-85A1-56ECBFCA6A54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1765154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1765154"}}}}}