{"entities":{"Q1314346":{"pageid":1325096,"ns":120,"title":"Item:Q1314346","lastrevid":81159845,"modified":"2026-05-06T17:52:24Z","type":"item","id":"Q1314346","labels":{"en":{"language":"en","value":"Some new results on easy lambda-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501164"}},"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":"Q1314346$E1E0CA64-B83E-4866-9AFC-B5F779370AC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0035609ad0e2c958fe83b9a661c65c4cfa3e998b","datavalue":{"value":{"text":"Some new results on easy lambda-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314346$A75FB3B7-D8B0-4128-A846-5E3F11734645","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cc532cd98f599076a82d2e6c1b0729886d9ecd9","datavalue":{"value":"0796.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314346$4CFA531C-CC10-44FD-B5B9-398CE7EBC714","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5dea6ba54fe6458f0ee741ab25b260759e40ddd","datavalue":{"value":"10.1016/0304-3975(93)90084-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314346$10AC23FB-3501-4227-AEF0-74869213758C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73be4ca9840fbd728ecb0cefdb65f88a9f13d68b","datavalue":{"value":{"entity-type":"item","numeric-id":361790,"id":"Q361790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314346$3147EACC-B095-4B2B-9DDA-F2570BB3D53F","rank":"normal"},{"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":"Q1314346$9879FEE2-E1FE-406F-B97F-C29995FE86A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314346$1CBC4DBE-36BC-4948-89C9-32D5DF126925","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"297502fa3af7a8f9b84cb38ff3ab4793fd121189","datavalue":{"value":{"time":"+1994-03-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":"Q1314346$4A669D72-0027-42E1-BEDE-D19A9E2DD6C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b1629e87d00551ced4ef2a6dd7159939538248d","datavalue":{"value":"This paper is devoted to easy terms, that is \\(\\lambda\\)-terms \\(X\\) such that for each \\(\\lambda\\)-term \\(Y\\) the equation \\(X= Y\\) is consistent. Two methods are used for investigating such terms. First a sufficient condition for the consistency of certain equations \\(X= Y\\) is given, based on some Church-Rosser extensions of the \\(\\lambda\\)-calculus. Then, the use of continuity properties of B\u00f6hm trees provides a means to ensure the above sufficient condition. The authors exploit these tools to give examples of easiness, investigate the more general notion of ``normal form easiness'', and provide a very detailed study of the relations between the two notions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314346$99A63E99-AEC9-43B3-9C57-B6D791792D5C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"be9393a59da8a8d1ea400e796ca1cda2084f6804","datavalue":{"value":{"entity-type":"item","numeric-id":1208424,"id":"Q1208424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314346$7E29AEE1-E7D7-4838-8360-6D77640F0C75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314346$43EC5082-3B6E-4AAD-89B3-0C377F987687","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fbd2641677a7f5893ae72372741e94e7ff16450","datavalue":{"value":"501164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314346$D240E392-60EB-4E9B-B813-6A5BD3BAA988","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314346$80A0211A-808E-4CB8-93BA-6B4DBA0265B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"876dbcb6392133a3dd9c2d4947d87fedb90c8803","datavalue":{"value":"easy terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314346$61DA90CA-998D-42E1-B211-53511C003B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314346$DE781B6E-CFF2-4C78-8098-78C8AB9936E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82ea0e024ca96a7c35400d7ca8ef5daee792e3c3","datavalue":{"value":"easiness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314346$D2603ACB-5613-4528-8205-80386E3185E9","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":"Q1314346$D1AB22F4-FA28-4F53-89EA-7CCDACADF3C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d80c228e968d3fd445c68c1a3042af747151fab","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90084-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314346$07FA7345-BFC9-4448-82F7-CD879EEBB37B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1adf595e8ba9f99c1ec6c04a3410ffa538ae717b","datavalue":{"value":"W1973343695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314346$7BE3B1FA-CB36-4393-B761-25680526350D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4f6773fb1d7dcfe9dddb68be9519eaeba7e70","datavalue":{"value":{"entity-type":"item","numeric-id":3206926,"id":"Q3206926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314346$2AA8F8A5-582F-4B78-9BB7-726427D077C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314346$4D780263-F0DA-4E67-9DD3-E60A3227A7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed53823d817192b4d96d4668449095e3a41e54d","datavalue":{"value":{"entity-type":"item","numeric-id":4764617,"id":"Q4764617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314346$FFF52452-141E-43C4-A3C4-214F5ED9CDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10fc4c2d7184bd6cd33bef982c5be64b15c1fb22","datavalue":{"value":{"entity-type":"item","numeric-id":3982064,"id":"Q3982064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314346$8CD8AF96-BB3C-46D0-85B7-3CCB8151618B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ace66fe0c4cd62691edd231304d8897fcb4d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4128535,"id":"Q4128535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314346$D67FED28-8C0A-4B5B-9E18-65887FA0F5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd8aa4665792fb478f088ce916ed4d4af38225c","datavalue":{"value":{"entity-type":"item","numeric-id":3869319,"id":"Q3869319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314346$7D05C62B-D430-4CBE-BC61-D03FF7FE5C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33434d5d567039684f04d3f0541159303e05af8c","datavalue":{"value":{"entity-type":"item","numeric-id":3691635,"id":"Q3691635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314346$9317E4A7-93FF-464D-B60C-84BFCB69C986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9686c92489fc71719f01d094a9bde61fc628c06a","datavalue":{"value":{"entity-type":"item","numeric-id":4010370,"id":"Q4010370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314346$176D68E6-05A7-4A3A-B9A0-EEE58015AA51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16931ee5196cbeb132ed462d3e31a5281ea35743","datavalue":{"value":{"entity-type":"item","numeric-id":3982064,"id":"Q3982064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da05996f20f41046a00865679b80d6bf48506ad2","datavalue":{"value":{"amount":"+0.8776261806488037","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":"Q1314346$D17B80AF-8840-49A6-9D02-7E3C7247A1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f8cffcc11af1de75e52a12977ff977c01d00b8","datavalue":{"value":{"entity-type":"item","numeric-id":2889181,"id":"Q2889181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e84c998c1a9994d586cffec43018a3dd53c7d64","datavalue":{"value":{"amount":"+0.8757521510124207","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":"Q1314346$79DC66C1-9637-4E98-ACC6-7CB1DB684E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8416cbab64baf1d5d3158c3834bf3041bcc9ef","datavalue":{"value":{"entity-type":"item","numeric-id":3691635,"id":"Q3691635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbdede90257926b65e066f8c896a4275ea2c4ff3","datavalue":{"value":{"amount":"+0.8719918727874756","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":"Q1314346$205A74D0-9F2C-4687-B656-641169075F4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some new results on easy lambda-terms","badges":[]}}}}}