{"entities":{"Q1311399":{"pageid":1322149,"ns":120,"title":"Item:Q1311399","lastrevid":68426973,"modified":"2026-04-12T23:38:32Z","type":"item","id":"Q1311399","labels":{"en":{"language":"en","value":"The kernel strategy and its use for the study of combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 484768"}},"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":"Q1311399$D439E699-EA70-4481-91BE-65C6CAD8B815","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ff65de1727b7904ba164ea3629fc3ba58bcb158","datavalue":{"value":{"text":"The kernel strategy and its use for the study of combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1311399$6F61FDC0-D2D0-4DBD-B849-6F6843F65FDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae554c3a0b017637aca386bcd6b19a60535f5987","datavalue":{"value":"0802.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311399$CC5A30E8-2CDF-4F66-A473-B46EE912862D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"517b188ba7a025d2ea4a7c39a9aa351e11e4eccb","datavalue":{"value":"10.1007/BF00881795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311399$EA4A61B3-0EB8-4011-A0F7-05311A3AD550","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$E0D176D0-2229-42DB-AF1E-C3E4A619C59F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$32F5FDAB-0027-4C4D-9B39-82253AD68F1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f10d7194b100e4c4c75e9550986cbe7d06f54b","datavalue":{"value":{"time":"+1994-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1311399$A1408EF7-3189-4E69-B024-524A2F997E4A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d83d668f0a14245000fafc37f94c69c2d4a4601","datavalue":{"value":"The combinators \\(S\\) and \\(K\\) provide a basis for the study of all the combinatory logic. Fragments of this logic are usually studied instead, normally by replacing \\(S\\) and/or \\(K\\) by other combinators. Another strategy (the ``kernel strategy'') is proposed in this paper. It is very useful in studying questions concerned with fixed-point properties in relation to normal forms and paradoxes (applied in the context of an automated reasoning program). For each fragment studied, a kernel strategy (sound and complete) is used in attempt to determine whether the strong or the weak fixed-point property holds. ``To use the strategy, one selects a fragment of combinatory logic, a subset whose basis is obtained by replacing \\(S\\) and/or \\(K\\) by some set of combinators. If the first stage of the two-stage kernel strategy succeeds, then the fragment under study is proved to satisfy the weak fixed-point property and, further, to satisfy the reducible weak fixed-point property. The second stage of the strategy focuses on any successes of the first stage, each of which is called a kernel, and attempts to use the kernel to construct a fixed- point combinator. If the second stage succeeds, then the fragment is proved to satisfy the strong fixed-point property''. \\textit{W. McCune} and the author's paper: ``The absence and the presence of fixed-point combinators'' [Theor. Comput. Sci. 87, No. 1, 221-228 (1991; Zbl 0731.03012)] may be consulted. Open problems are pointed out and direct applications for combinatory logic are emphasized.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311399$EEB1AE66-5106-4096-8027-3A3108678F22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311399$D2BFA482-7445-45D1-A5BC-A9C89C537509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311399$598E8023-12F6-47F9-B035-CC181887EBE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9029811b55ed0d94d27f6494a20e8e00e6fc1553","datavalue":{"value":"484768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311399$9800C80D-082E-47B4-8A43-80CA7991680D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311399$753B2F25-411A-49AA-AD92-4FCE1F002456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8801d294474a68f6d66c20b2d002a91b14ccc7","datavalue":{"value":"fixed-point properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311399$850D73F2-743F-47CB-98B5-F83AC2634754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311399$3671409A-E92F-4610-BF2C-95BDAE3A99EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05c9368b168941d70d7f2b0e0f6335db79a23e0e","datavalue":{"value":"paradoxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311399$5D70A0C1-C45C-441A-8A16-5F5276FA556C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311399$360591BD-D955-46F9-B47C-8A64AC34ED55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac20cf54223a04060c9272eceba8c3c77f160b9","datavalue":{"value":"fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311399$8184F3B8-8DB8-4C0B-B561-9A3BF4BF9F04","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"efafe3c611217923c4d4923c328385f011034484","datavalue":{"value":"Q114267042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311399$AA3DDB72-3EBC-40C9-87CE-2E8E615A7DE3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6536f759dee9ce142c834adc5cc137400d919eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$DB408C69-3AED-48BF-B4A8-F0402B42E995","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$98EB5AD0-8220-4879-A8A5-4D021B500B72","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":"Q1311399$68601204-D647-4C7A-9972-3AD6946CBB71","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":"Q1311399$62B5FB4D-AC95-4919-AA40-E7C17BF68F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46aebace2a25a127b5f8fa91e5c1e1d9e767403","datavalue":{"value":{"entity-type":"item","numeric-id":1097252,"id":"Q1097252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$8489D66C-14F5-4902-A14D-0AF57E3A5469","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":"Q1311399$8F1AB68E-9CCA-473A-B453-267D9D4E6AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$F703C305-F432-438F-A50E-F90C61386B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7add01291c95ebcb031afac6fc8c8b1659115c10","datavalue":{"value":{"entity-type":"item","numeric-id":1229761,"id":"Q1229761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$321298A6-11E2-4AD9-9675-27DB34D8E74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee0ea2ad4a38d19af1ecea93450ee560e6bbd3a","datavalue":{"value":{"entity-type":"item","numeric-id":807612,"id":"Q807612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$252CBEE1-3BF6-4562-81D2-6962FD875E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898575703b1bf05bce9740c9e05d50850cee3315","datavalue":{"value":{"entity-type":"item","numeric-id":1098333,"id":"Q1098333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$A3A7171B-42EB-4512-B001-FB151CE934E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$831E93AA-FADC-4EE5-990E-0015E076506F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$22D8326F-21D3-496E-BFA2-AC8954CB9D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0eedd35d6daa8a28e2429ad0319e463c12950c7","datavalue":{"value":{"entity-type":"item","numeric-id":1107334,"id":"Q1107334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$B54B9810-139B-415B-B619-C0A495FFD61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98accc748f2654bc76222dfd845dbf5f71dfd55f","datavalue":{"value":{"entity-type":"item","numeric-id":3883568,"id":"Q3883568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$E61F7F8C-04D4-4CD2-8B9D-784234B0E8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6ef22604ffcaf8d1dc55b11c5f547fd8d6565f","datavalue":{"value":{"entity-type":"item","numeric-id":4296171,"id":"Q4296171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$ABC52C91-7E25-4715-A3C0-FFC164351BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$73A5B006-A12D-4C38-ADDC-844BB216A8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7053c119e620b9c3b3c8c19da3a6a2d1be1e3c68","datavalue":{"value":{"entity-type":"item","numeric-id":5538934,"id":"Q5538934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311399$F43945A5-E454-406D-AE9E-C4FDCC9E60CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36137052e06cd17d6d8c979e0e0c5d356c56acd","datavalue":{"value":{"entity-type":"item","numeric-id":807612,"id":"Q807612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c17509d3bea0969a4701cc5bc3fedeb2c3c831","datavalue":{"value":{"amount":"+0.7628796696662903","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":"Q1311399$6434E257-AB02-42B1-96AD-A96EF6F7CFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e2d735d502385b9c909def59bd585dd876fd9d9","datavalue":{"value":{"entity-type":"item","numeric-id":3501750,"id":"Q3501750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de3e65ef7bea9067b74eac5e2cd4c5c9e37b2238","datavalue":{"value":{"amount":"+0.7574405074119568","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":"Q1311399$22CF6FD8-7FE6-4084-9B74-335BE50D3C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e817ad8dc837ce10f68b1d24ed037d075a1da14","datavalue":{"value":{"entity-type":"item","numeric-id":1098333,"id":"Q1098333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a56105fbdd4689186c55be213f734d7f921fd2f","datavalue":{"value":{"amount":"+0.7332500219345093","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":"Q1311399$995E0AE1-0A76-439A-A07D-DDE96493B549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7390232a73c9b3a37e7ef8da4f6cdf42370c7030","datavalue":{"value":{"entity-type":"item","numeric-id":4594236,"id":"Q4594236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e67b7b5f9b22f1e141da590cf7ec8acde4928b","datavalue":{"value":{"amount":"+0.7292901873588562","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":"Q1311399$0372694D-704D-40D8-ADD9-F460CF72FD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19282f64a73882f55808acf867808a33c8e8f8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1854346,"id":"Q1854346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd026dbbdf4fc34e67d9cad2078f71dab006112e","datavalue":{"value":{"amount":"+0.718124508857727","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":"Q1311399$350E8E66-BE63-4F38-B68E-92097893164C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The kernel strategy and its use for the study of combinatory logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_kernel_strategy_and_its_use_for_the_study_of_combinatory_logic"}}}}}