{"entities":{"Q1098335":{"pageid":1109087,"ns":120,"title":"Item:Q1098335","lastrevid":66126393,"modified":"2026-04-12T07:43:34Z","type":"item","id":"Q1098335","labels":{"en":{"language":"en","value":"A foray into combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037275"}},"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":"Q1098335$86CC1A9D-2006-4AB2-8F6D-7BA3EE22AA35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d3ab21d51e46e5c2ec9f5ff355bdcf4778d9c17","datavalue":{"value":{"text":"A foray into combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098335$35545D62-704C-486B-BE1E-53E2C5582AFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4a2800270a70fead63b4f254e462a58b1ecf4f3","datavalue":{"value":"0636.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098335$EB780D5E-FCAD-4245-A5DE-B2FCDFB113E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"764db7b66fcd1e68b0980134be9fc866abad13f2","datavalue":{"value":"10.1007/BF00248251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098335$427409DC-0539-4A2E-848C-E2BDA26C46F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"847e7414d9ebccc20cb5e1419bbb6843c5751437","datavalue":{"value":{"entity-type":"item","numeric-id":1098334,"id":"Q1098334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098335$BCC3D54A-88CE-4595-8C2C-AFFDEB38ADAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49c1eac4057968c5fe949fe3628039d4be0f36fd","datavalue":{"value":{"entity-type":"item","numeric-id":1165593,"id":"Q1165593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098335$B2D30F2B-C2FD-45F6-9B96-69C5F4551E26","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":"Q1098335$1DA39FA0-A798-47C9-9134-DA2EBC397AB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1098335$779757CE-66EA-46F3-83C4-4E0D75EC21C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"de9764492e3d9036641cc7bf88ed34336949d134","datavalue":{"value":"The paper presents an advocation of the use of automated theorem provers in the area of combinatory logic. The work, inspired by \\textit{R. M. Smullyan} [To Mock a Mockingbird (Alfred A. Knopf, New York, 1985)], demonstrates ways of very elegant application of paramodulation theorem proving using system ITP to solving of combinatory logic problems. For related discussion, cf. also the preceding review.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098335$82D5B1C9-6490-4B24-B0EB-CBBAC4868016","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098335$8A4415EB-1821-4BEA-810E-97C63D7D5382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098335$E6D81CF0-7667-4991-A35F-2DF468196B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098335$9DB77B60-BEED-498D-BF17-B13557F1CB1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ffa5adfaeb069be0be6b2ea9cad80f4c72fda70","datavalue":{"value":"4037275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098335$6C368D70-482F-453B-9E4B-ED56C353E205","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098335$A5D40A94-8164-4F3D-88AB-47251EB495ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a614927b0caf638748bb51c0de92c1b49104311","datavalue":{"value":"proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098335$5EAF2577-5974-45B3-8288-2929A63600F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1585ca8380d459cc6fef1e6ce4a61850ace366","datavalue":{"value":"automated theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098335$C662D688-05EE-4C65-BF21-2C13EB877EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098335$A2B8A26E-2D89-444F-90CB-451266505B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13753adc25e8612bbefdde9f38213d9075bd44be","datavalue":{"value":"ITP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098335$8FADCACC-FFF7-4851-9E82-ABFB502603FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098335$474DD268-FE5A-4A75-84B4-FA5F2768A716","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"828dfc38786d2049fd79af4c315ff0a16e6bc429","datavalue":{"value":{"entity-type":"item","numeric-id":1188836,"id":"Q1188836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098335$510BCA0F-6790-4553-BFAE-A68EF6B556DA","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":"Q1098335$2909582B-B40B-4348-B084-868FF030A65A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"308b028dc2f3677f2096e97af52994a72e37140b","datavalue":{"value":{"entity-type":"item","numeric-id":1820598,"id":"Q1820598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098335$79FA3F00-4FD0-40FE-A826-967A1917D08E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"325b58e44712166f7bf8d8b628e4475c15aed8a8","datavalue":{"value":"https://doi.org/10.1007/bf00248251","type":"string"},"datatype":"url"},"type":"statement","id":"Q1098335$92747AE6-5DBE-459B-86C3-1C00A4A615A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5a1aeda30fc1443451b439a320d2d89b568f7b9","datavalue":{"value":"W2008359486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098335$D1D39DF7-3D64-4D30-AAEC-C4435C419890","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee4861cf54a2a9e79f25b12f80a4583bd495535","datavalue":{"value":{"entity-type":"item","numeric-id":3125737,"id":"Q3125737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7838ee17e07c12bcee028b82836e72b3cbdb5c22","datavalue":{"value":{"amount":"+0.9338615","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":"Q1098335$B1AA94B1-9FA3-465C-B640-8116CFA146F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930efb2740a28f6fd14c8e0f71afd074a4549066","datavalue":{"value":{"entity-type":"item","numeric-id":1826366,"id":"Q1826366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d15f6283c7d572d213017021b4b9f53afcec03","datavalue":{"value":{"amount":"+0.9247324","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":"Q1098335$B54C26F8-4721-4166-9F74-E75DAA17F946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b342cb04c66e86ce932c28c0256a33ea88a567","datavalue":{"value":{"entity-type":"item","numeric-id":4735169,"id":"Q4735169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f5670fa3ef76a5bdb4750c3e84918b09307b97","datavalue":{"value":{"amount":"+0.9208264","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":"Q1098335$2EEC0ACA-D990-4907-8E24-BF1D70DD5E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8223060fa5e389e877efc22bf464d51a6aa5f56","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629109dc8f0f19dd190070799ae5396e12367323","datavalue":{"value":{"amount":"+0.9119166","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":"Q1098335$CFC798BB-A933-4F23-BDCC-50A75399DA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4149079e333e9d5d431375275d4ce081e133b30b","datavalue":{"value":{"entity-type":"item","numeric-id":3019505,"id":"Q3019505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4e072922e78d501e0b685e89f47b79fe026983","datavalue":{"value":{"amount":"+0.9057112","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":"Q1098335$490C7114-05D3-486C-A294-7DEC766B50A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36984c90bb8d10b75dc75409bd6cead860f9c3c","datavalue":{"value":{"entity-type":"item","numeric-id":809894,"id":"Q809894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f87ac4ebaa111ba417dbf5f280b66ca0eab37a","datavalue":{"value":{"amount":"+0.9043546","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":"Q1098335$A1740F36-49E6-40C5-8F25-0F9875DBFA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb888f3c8c83d639d6ccd3a841bd736b8d0d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":4207885,"id":"Q4207885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ad80ef02f47afc5919e1d5562f221bc3e26006","datavalue":{"value":{"amount":"+0.8993634","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":"Q1098335$2B470559-6796-463C-87CE-FBB024CD983B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07ed69f708aa7daae2310e280f402a9818f649e","datavalue":{"value":{"entity-type":"item","numeric-id":4206708,"id":"Q4206708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302c94f09b0bcf999c34b8a12a879b043345aa73","datavalue":{"value":{"amount":"+0.89623475","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":"Q1098335$41E9E95D-5F02-4423-97B4-24EA00FDF714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db743f567637b48771682e15b3dc731517fefcc8","datavalue":{"value":{"entity-type":"item","numeric-id":3775517,"id":"Q3775517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb319669476d587b499ad7d7986c1ab6a01b84e","datavalue":{"value":{"amount":"+0.89451027","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":"Q1098335$9F23BACE-67FA-4FA9-9B10-AC0958B59B2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A foray into combinatory logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_foray_into_combinatory_logic"}}}}}