{"entities":{"Q1114668":{"pageid":1125417,"ns":120,"title":"Item:Q1114668","lastrevid":42888617,"modified":"2025-07-15T18:12:20Z","type":"item","id":"Q1114668","labels":{"en":{"language":"en","value":"The word problem for Smullyan's lark combinator is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083580"}},"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":"Q1114668$05C8510F-B3B9-45C0-A14D-AEFB8839BF29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9adb7177dcbdaa4e96246968d98196f1311e9b40","datavalue":{"value":{"text":"The word problem for Smullyan's lark combinator is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114668$93C1D8B9-7633-45C2-A9F0-AA33839FACD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88fc88e96143287054ea19a0128ef0796d674bf6","datavalue":{"value":"0663.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114668$353EE473-0B80-4E47-8B45-15E0B181DDCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60256fd0346036560c7d6150110bc0a6bbd0c64c","datavalue":{"value":"10.1016/S0747-7171(89)80044-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114668$D42E19EC-9EF3-492C-820B-1BF2A858C3B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114668$DB99C9A7-81F6-462C-957B-635DF60CE5DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1114668$C4D5E05B-94A0-4DB3-97DB-07AE46EC5063","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a15e04f3bd682db0a38c0d5c9921fefbcd51e45","datavalue":{"value":"Smullyan's ``lark combinator'' L (Curry's BWB) is specified by the reduction rule Lxy\\(\\to x(yy)\\). LL defines the paradoxical combinator Y. The author shows that several other interesting combinators can be defined in terms of L only. The main part of the paper involves showing that the problem of deciding whether two applicative combinators of L are equal is solvable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114668$D8B3E004-592F-4509-8D5D-BC56319C2FAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114668$3F9E0EDB-9E96-44C5-80D4-5461EB2DAD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114668$5C32FD8E-758E-4BED-86D8-BCB4C5FA7D75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd69978417d9b9cf5bcbd9becbf8e54612a2de19","datavalue":{"value":"4083580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114668$83B43298-D978-4C8D-9812-DF47E59CA4F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb75a59ab32acdea5cda3c113ebfd96d03f2d4e4","datavalue":{"value":"lark combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114668$4EA10B04-C105-424B-82D6-DF89D9DE262B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b598508b2da28c1cfe730945157241d1022b6e42","datavalue":{"value":"BWB","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114668$2F3A1EC7-0CF8-4052-AD9C-CEE1194FCCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa744e13dd1b646cc4ecd8ce5b3eb95b5fa892b8","datavalue":{"value":"paradoxical combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114668$6EB4769E-2DE5-42F7-9245-049885560881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b20bd7a6b98a418785cc947c5c8be814ef68155","datavalue":{"value":"applicative combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114668$2A6D378E-4829-4DC7-91F1-7B2B0EBABA51","rank":"normal"}],"P16":[{"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":"Q1114668$49E8F6EB-23F8-4ACD-88C8-1443D00AAB54","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":"Q1114668$36BBC0DA-D31A-464D-B42E-07622427C000","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":"Q1114668$89B06EEE-28D8-4379-8DCE-57F7198A9C32","rank":"normal"}],"P223":[{"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":"Q1114668$58FCB370-A137-4755-A6DC-C3A3EA415F7D","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":"Q1114668$3ED74562-A6C0-4BF5-B002-7CA75AF64604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d27337e4f1745577e0d9e4c6b188a997dab5fc2","datavalue":{"value":{"entity-type":"item","numeric-id":1098335,"id":"Q1098335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114668$5FBD5A52-E67F-4D8D-850C-FD471F534E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d6f8b6ea2dce3b6f253699c228a89218dee9c9","datavalue":{"value":{"entity-type":"item","numeric-id":3904559,"id":"Q3904559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114668$5BB06EFD-85A9-4CC4-842B-E3BAE0E1627F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d926df343880b7eb5dd1e71fb5436462549f57ee","datavalue":{"value":{"entity-type":"item","numeric-id":3777964,"id":"Q3777964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114668$B0E7EE91-BA97-4149-8C6D-A4952CDB91D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"436d20b13809e044357db6b0eeed98e4140049c0","datavalue":{"value":{"entity-type":"item","numeric-id":2723901,"id":"Q2723901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"135e895eb0a3932bace5257fc7473de8bb35bea3","datavalue":{"value":{"amount":"+0.83613205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114668$5AFB205F-3802-421D-BE89-A63FBEDEB3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"402bda324220a28894e3cef7d0daebf497083724","datavalue":{"value":{"entity-type":"item","numeric-id":3816049,"id":"Q3816049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07449421cc04d51b34ffdcbbe6af1127d207c23","datavalue":{"value":{"amount":"+0.8358299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114668$F14F7615-39AB-461C-9A7E-D431A3E8A3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ebbd773d673e1f68c91410ad1f652c7a03f383","datavalue":{"value":{"entity-type":"item","numeric-id":1595492,"id":"Q1595492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc31bfd77c61e583bb5ac47ecfc98878069c12f1","datavalue":{"value":{"amount":"+0.833185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114668$E1160CF6-BA6C-4E91-9E38-A70C17F037D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25daef25126dc5b4e0aeb99f071b47cfe363a307","datavalue":{"value":{"entity-type":"item","numeric-id":3794172,"id":"Q3794172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d43c60aff6ded6b096e3a0baf9d76bda935db5","datavalue":{"value":{"amount":"+0.8237617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114668$79867C2F-3AA8-4C59-A5C5-CE3440E450A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b00fff234263d178ab8ddf8cf78bc426c0ec6386","datavalue":{"value":{"entity-type":"item","numeric-id":5693622,"id":"Q5693622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"192ddbeefc687e64b9c2f3f737baffb4f568542b","datavalue":{"value":{"amount":"+0.82348084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114668$67C17DE2-C4EE-4E3B-BDFF-E882607C82E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08c80f8fc44c7a83a344c9c06b000d3b97d99d89","datavalue":{"value":{"entity-type":"item","numeric-id":4032538,"id":"Q4032538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c8bcd393ba2a29a45ac27cb14e712c9636879f","datavalue":{"value":{"amount":"+0.8208392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114668$467317DF-FFDF-44C0-8F40-ACD019B31C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"666c3b7367e9a923b21b87c20c65fea2642e6fa9","datavalue":{"value":{"entity-type":"item","numeric-id":6168448,"id":"Q6168448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4437a1e05168459706d232189b7758af4897115f","datavalue":{"value":{"amount":"+0.81982243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114668$5C45DD0A-2270-4B92-887D-5FE93FEB93B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea59e9d8f45e4126c9bd052aaf0ace2312adfe6","datavalue":{"value":{"entity-type":"item","numeric-id":843605,"id":"Q843605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9909dcb5a0f00188cf28873da12b8363c1506f5","datavalue":{"value":{"amount":"+0.8179768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114668$115723C5-59E6-4B79-A8CB-9683D8DFC1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438d1fd7e7f36f87523abb88b76d94af7f8affbe","datavalue":{"value":{"entity-type":"item","numeric-id":4955722,"id":"Q4955722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd42bdc99d31c604d19849cd64efd7954a4c833e","datavalue":{"value":{"amount":"+0.8175831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114668$8B0AD6E9-9CFA-4450-A4D9-90E34F2BD536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20c207fbae33f7c0feab7340c348a30fb6a9d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4035254,"id":"Q4035254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dedaec9df86ccda098917c3f58d9cdd241d4b60","datavalue":{"value":{"amount":"+0.81574726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114668$C4798B13-44E5-4965-A325-1D54DBE8AEF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1114668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1114668"}}}}}