{"entities":{"Q2560807":{"pageid":2571550,"ns":120,"title":"Item:Q2560807","lastrevid":73226259,"modified":"2026-04-14T15:03:38Z","type":"item","id":"Q2560807","labels":{"en":{"language":"en","value":"The one variable implicational calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3412590"}},"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":"Q2560807$35552BBA-1466-4EEB-8C58-F192F1FA2734","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30570722617d4304ee96b60ba65babf5681b7373","datavalue":{"value":{"text":"The one variable implicational calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2560807$AD05EFFF-AE0C-46EF-B591-983A09AFC3B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66e98310473f5c6af8e2383478848c111cfb1d06","datavalue":{"value":"0262.02012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2560807$6EFF1F62-4809-4E79-8167-0F08AFC7800E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2560807$CD36899C-B2F1-4E92-B4EE-40CC49218BEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q2560807$0A58508B-9B5F-4864-8517-1DC8C0D42BFF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"620e57d83666b7259bf46b3d27611435b31720f6","datavalue":{"value":"The axiomatization given by \\textit{H. W. Johnson} and \\textit{R. Price} [Theoria 30, 1--4 (1964)], is shown to be inadequate. A correct presentation of the one variable implicational calculus based on a single (rejected) axiom and four rules of inference is given. This is akin to the computable Protothetics of Le\u015bniewski. This presentation cannot be much improved on, for we show that the one variable implicational calculus cannot be finitely axiomatized using the rules of substitution and detachment. This proves an elementary example-of a non-axiomatizable propositional calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2560807$3F383AEF-1A5C-4939-8F8A-D0A22D46CB96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2560807$A913408E-12D8-46E6-B0EA-4D900A175AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2560807$8C4F857B-E21E-40E4-8BF0-61504274E9AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2949def8567efd1cc3da3df81060367d47918f00","datavalue":{"value":"3412590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2560807$7129F0B2-1640-4CBC-8FFC-57110D610AF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbf9523b14820d919bec549867b148306a4138d3","datavalue":{"value":{"entity-type":"item","numeric-id":755567,"id":"Q755567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2560807$912494A4-3422-4A33-820A-14642DCE75EE","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":"Q2560807$AB8298CB-D94D-40F4-98CF-914F69A4A0C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"271a1621b67b1424e1c01ee5df0904cab00e0f71","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093891410","type":"string"},"datatype":"url"},"type":"statement","id":"Q2560807$5EE3AC97-FED2-49D2-BDB3-DD1580F92403","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6d98aeebcdac9482b0da6fac84231a50698019e","datavalue":{"value":"W2071793004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2560807$41B7B5D6-E1E3-4235-851C-3BF1F4BE3FF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e29c0bc919557548f485a83e0d2fc0e9a147250","datavalue":{"value":"10.1305/NDJFL/1093891410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2560807$83C75473-7904-41FC-A2C8-BA65DCC10AA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1ff08fbdda17bf7d34b5007ffedf5ffa163966","datavalue":{"value":{"entity-type":"item","numeric-id":3797157,"id":"Q3797157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e38619858a29fd6282a93b50767d3785c730bd","datavalue":{"value":{"amount":"+0.757477343082428","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":"Q2560807$D4FC0A54-D5F1-4E48-96CE-37F7527D3B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f59b5cf6b5aa5bd1470bc59fcb18c2467927ed8","datavalue":{"value":{"entity-type":"item","numeric-id":918531,"id":"Q918531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d0eb7dd1b0887aac8fd8645c391da9269fcb31","datavalue":{"value":{"amount":"+0.7514678239822388","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":"Q2560807$3778004E-E41C-4A24-9F6D-55CF484F3BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7ce5e92dec6da21b224cf0cdc34017c3e28e46","datavalue":{"value":{"entity-type":"item","numeric-id":4315297,"id":"Q4315297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1fd7f7ea100aea8c8f63eb06bcae91dc12bcaec","datavalue":{"value":{"amount":"+0.73851078748703","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":"Q2560807$44D56697-F0A4-4F9F-B408-05F8741F2EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed976f8c018f4614c82271b2901abd6452e16d2","datavalue":{"value":{"entity-type":"item","numeric-id":4025005,"id":"Q4025005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1fd7f7ea100aea8c8f63eb06bcae91dc12bcaec","datavalue":{"value":{"amount":"+0.73851078748703","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":"Q2560807$8992ADAC-9A3C-433A-A2A6-8BF536D5D378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ea692c8b39b39036700bd12b02210c733e8444","datavalue":{"value":{"entity-type":"item","numeric-id":4644516,"id":"Q4644516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3610524799f3f094ff63dc4fab1d82cc76d1580f","datavalue":{"value":{"amount":"+0.7300637364387512","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":"Q2560807$EE667986-8810-43B3-923F-CD4299080C5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The one variable implicational calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_one_variable_implicational_calculus"}}}}}