{"entities":{"Q993497":{"pageid":995345,"ns":120,"title":"Item:Q993497","lastrevid":65749515,"modified":"2026-04-12T05:07:09Z","type":"item","id":"Q993497","labels":{"en":{"language":"en","value":"Sch\u00f6nfinkel-type operators for classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5788054"}},"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":"Q993497$F7A5C0A8-DF6B-40F8-B6D1-BF595D23F0D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a631a499f7edf5ade0958bb18812a9b33e3b18a6","datavalue":{"value":{"text":"Sch\u00f6nfinkel-type operators for classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q993497$D638F82E-69A6-41D7-B5DC-D747131656E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73fa4bd8e0148e078051a578e2ed18fb15755ae4","datavalue":{"value":"1204.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993497$0A176076-9259-49BC-82FE-00032FE53CB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993497$C0C4641F-091E-4253-B59F-185E8F44987D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993497$35B378A6-CADA-4491-A001-39EEA1733D59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25a12ad0594443d505ca92af898ecd503f486793","datavalue":{"value":{"time":"+2010-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q993497$A9EAADEC-C1A2-43C8-B5AD-80C71BDE79B8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"929638cc01271c1660239c4d15892f7833b64e2b","datavalue":{"value":"The author defines a new operator, dual to Sch\u00f6nfinkel's one, and proves that this operator by itself is sufficient to define all the connectives and operators of classical first-order logic. It is shown that there are four binary operators such that each can serve as the only undefined logical constant for classical first-order logic and that, for every \\(n\\)-ary connective that yields a functionally complete singleton set of connectives, two Sch\u00f6nfinkel-type operators are definable, and all the latter ones are definable in this way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q993497$4F8B4C9C-15EC-41C5-9015-D1AB503E9B27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993497$E48924F2-BC72-4425-8571-8025540BC6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993497$9A480621-DAFF-43C7-9AF1-308BFC1A5F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993497$42899D28-2DE8-44A4-A913-07ACC081441B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e58e0a2edf4c0f3100cf26fad3b4c146f340e046","datavalue":{"value":"5788054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993497$F3D81976-9531-4DE4-9D02-98D89703DE8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q993497$08956050-D19E-4FF7-9119-9C67AF2D9D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954b5c352308d7a1c844626e0029fdf9aaea59be","datavalue":{"value":"sufficient sets of operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q993497$436A3981-5199-435A-8C06-A7CE31F50C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c6e6f13e308e7e28c37554ecc0101d13c6c9cb0","datavalue":{"value":"quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q993497$8F4C728C-0796-4C3A-AB7C-AAD692BEE3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1e823d7fa218a3f6c0beb170d4d2a8ab1838caf","datavalue":{"value":"Peirce","type":"string"},"datatype":"string"},"type":"statement","id":"Q993497$17C61FFF-C317-48E0-8488-7FC0D9A8B878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d104e05099d8d1ac52afabe9f96d0820cf0306b5","datavalue":{"value":"Sheffer","type":"string"},"datatype":"string"},"type":"statement","id":"Q993497$319D7F8E-ACEA-4F6D-B525-95EDC38521C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955b6c8289eb53c1a700ec5e6123cf0e9a305232","datavalue":{"value":"Post","type":"string"},"datatype":"string"},"type":"statement","id":"Q993497$A2D8AC22-14E9-40CF-BD26-A5CB790A27C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7bd7ba75b82543fe2cdbeba43e45701878889f9","datavalue":{"value":"Sch\u00f6nfinkel.","type":"string"},"datatype":"string"},"type":"statement","id":"Q993497$997CB8E6-1B5C-4A99-A9CC-D84008A54852","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993497$2AC04F0C-71AE-4E36-9B64-71FE633619F8","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":"Q993497$366ACB8F-5DD5-41B6-BCCA-8E2861240581","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54da25a1454cc8c812ce351d20500d8866ca6139","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9265-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q993497$0333E47D-5E03-4809-B5D9-4DA760FC2F11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d10c05d1ff7714ae4622f41e19b9504e4f3850b","datavalue":{"value":"W2038039539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993497$846623E0-636C-4D1B-8495-F3F81E902320","rank":"normal"}],"P223":[{"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":"Q993497$D394068E-379C-41F6-9D71-F15F380FDC4D","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":"Q993497$056ED12D-C602-4DD0-90D1-E63B57C7B252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af8e589111d42cf47925c6b6daf6a3425f110e7","datavalue":{"value":{"entity-type":"item","numeric-id":5393647,"id":"Q5393647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993497$11F62CF9-992B-423E-8492-8DD625351BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39335260600eb17ffe554f7f00d5cda8e14e4c4c","datavalue":{"value":{"entity-type":"item","numeric-id":3077969,"id":"Q3077969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993497$D2A44909-59E8-43F1-90DF-41D7A37A4815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8c6fb7dd77a576a4cc72e82eae1949af7507218","datavalue":{"value":{"entity-type":"item","numeric-id":4484518,"id":"Q4484518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993497$266C9AF3-8915-4325-8054-3E392184C58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91cc366a95f1f83ae62a57bea5fad8c230a4a317","datavalue":{"value":{"entity-type":"item","numeric-id":1173782,"id":"Q1173782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993497$A70163F5-D8FF-4679-AFD0-E82E9D6E41D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993497$35B93ECE-9BE5-4AB2-A827-FA5BC9C56061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1689434b8a8715c4866359ea8026b729021b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5650663,"id":"Q5650663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993497$7E1E526F-6F4C-4C07-82B7-8BA683B8A180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8aa91c4a25127242fbd0312c544462443894c6","datavalue":{"value":{"entity-type":"item","numeric-id":3283891,"id":"Q3283891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993497$041293B4-504D-4994-9FB2-D1EC3503DE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672c51adbd9eef44ab9573c0c7b86f998f4c9152","datavalue":{"value":{"entity-type":"item","numeric-id":4357731,"id":"Q4357731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993497$5856F48C-483C-44C6-8E40-117044E90C86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a6fa62a8379f300d0994e9a48fee92ad7ab65f2","datavalue":{"value":"10.1007/S11225-010-9265-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993497$98F64B06-7052-4DB0-AAD8-6646C659E01F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3726aa7620a398bf7287b346593c5fab0b91913b","datavalue":{"value":{"entity-type":"item","numeric-id":1208146,"id":"Q1208146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6627f45810ce45faaf4753d810c5142d33a55e1d","datavalue":{"value":{"amount":"+0.88392603","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":"Q993497$AC905077-5FB5-4718-BDCC-599AE214619E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148ef4742c928b9761b90394a959bbbd268902a5","datavalue":{"value":{"entity-type":"item","numeric-id":4475074,"id":"Q4475074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"392309e1ec9210d3d00953641b27be1f30da3593","datavalue":{"value":{"amount":"+0.8749801","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":"Q993497$12159B65-541A-4F0A-84B7-AF895894ADB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18df5a495984e340be39ada07f605568f4fbd3a9","datavalue":{"value":{"entity-type":"item","numeric-id":6047682,"id":"Q6047682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56cc1acc3e607995af38bf3a9beefc2feccd1e80","datavalue":{"value":{"amount":"+0.87190735","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":"Q993497$73979018-3D36-475D-BDF9-E96180FEBCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94567d05de5892404a6a575066121fca12d0d6f1","datavalue":{"value":{"entity-type":"item","numeric-id":5371224,"id":"Q5371224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5bbfc663e67936abf13e5c2d705684b282d4d75","datavalue":{"value":{"amount":"+0.8707206","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":"Q993497$27D7801C-4988-4E04-A47F-FBCE0F0E8997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab1200c928c730b5970123c2aecdf0f608dc261","datavalue":{"value":{"entity-type":"item","numeric-id":3567769,"id":"Q3567769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01957c3f6adb5d4e9e748acc9d646a8203b85727","datavalue":{"value":{"amount":"+0.87069446","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":"Q993497$B6994F3B-F390-4232-A84E-955D3CE8A3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f18198ece92fa70dd263ef8d237ba05912b31a","datavalue":{"value":{"entity-type":"item","numeric-id":3549311,"id":"Q3549311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c8329ab6ed347e28a4b16a373fd147bf7f29fe","datavalue":{"value":{"amount":"+0.8699486","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":"Q993497$8AD99724-2C69-42B2-8B1A-741B752740F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2906753686e9c7cf06ed232097a34b2b73da5f50","datavalue":{"value":{"entity-type":"item","numeric-id":4558948,"id":"Q4558948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14bd9887ad98c6c058d553c3c09ac89724ce0ab","datavalue":{"value":{"amount":"+0.8685879","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":"Q993497$5DB8B11F-3FEE-4670-A63E-F31ED259723E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3267bdfe15f7aa9439036907ad3c552fa5f01d3d","datavalue":{"value":{"entity-type":"item","numeric-id":1326769,"id":"Q1326769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382cc668b7e0f4ec0b1dfa61a6f165aa60b97154","datavalue":{"value":{"amount":"+0.86813235","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":"Q993497$63EB1CCA-D829-4E34-AAF2-17D6E30D5790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b704258ab5e498c21906ceae2bea47d21ba230","datavalue":{"value":{"entity-type":"item","numeric-id":4316722,"id":"Q4316722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e14130087945c0057cf028664831deeaf62c45e","datavalue":{"value":{"amount":"+0.867703","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":"Q993497$4B0EEB4D-76C8-4541-8745-F22376F6D97E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sch\u00f6nfinkel-type operators for classical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sch%C3%B6nfinkel-type_operators_for_classical_logic"}}}}}