{"entities":{"Q1327482":{"pageid":1338232,"ns":120,"title":"Item:Q1327482","lastrevid":68477253,"modified":"2026-04-12T23:58:20Z","type":"item","id":"Q1327482","labels":{"en":{"language":"en","value":"On a property of BCK-identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 590920"}},"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":"Q1327482$2E71F80A-A508-4836-BD81-95F448BB6FA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a62a005fec4fb994744f15f8fb834579015fb9b5","datavalue":{"value":{"text":"On a property of BCK-identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1327482$EA3061EC-91CB-4162-8C96-5BF9CB2322A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9cd9fbadbfcdd2248997a05d4fde2632640482a","datavalue":{"value":"0799.06032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327482$F2A4B9D0-AC17-4C96-A766-84E907F4E4C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"187136c18282be6eb05909b41577d8b8fdcea31d","datavalue":{"value":"10.1007/BF01054710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327482$E586D57F-1AE9-423E-BF7A-39C891D25194","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07da6141e61d14f40fca64574461dd10f1172df","datavalue":{"value":{"entity-type":"item","numeric-id":1327481,"id":"Q1327481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327482$B35120C6-8BF6-476F-A4BC-F15D789264A5","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":"Q1327482$E5E1A8D0-FA87-42B5-857C-7C9C8AFFFEAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43ae29c392ff42ea20ede43d2eb83a371c3840fb","datavalue":{"value":{"time":"+1994-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1327482$4B7007C4-784D-420F-842D-DE4CA4B4E7BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"940eeee3f9f99d4936510953c5eaabf46814ab30","datavalue":{"value":"The author proves the following for a BCK-algebra with constant 1: If \\(s\\neq 1\\), \\(t\\neq 1\\) and \\(s=t\\), then the rightmost variables of \\(s\\) and \\(t\\) are identical. This is done by proving the result is the equivalent BCK- logic where it reads: If \\(\\not\\vdash s\\), \\(\\not\\vdash t\\), \\(\\vdash t\\to s\\) and \\(\\vdash s\\to t\\), then the rightmost variables of \\(s\\) and \\(t\\) are identical. As a corollary, Wro\u0144ski's result that BCK-algebras do not form a variety, follows.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327482$36A812F7-734D-463C-90E7-D1564E5D8215","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327482$60682109-634B-4C89-8AB3-B3E7A1306637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327482$D16ADF25-052D-483E-A3EB-627CFBF721B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327482$D3B1A599-C818-45BC-95E2-1A84F4A7D5EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"270ec1e953b7f987ff84c5127c12c7685a99419c","datavalue":{"value":"590920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327482$1528D86F-1077-4D70-BE94-0BAA31C9D183","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ae94c07cfb807968a09f81c41709366559e315","datavalue":{"value":"BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327482$14EC4783-4BC8-49D3-832A-262C5847B6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e6230853178ae07c963996ccc88c435cbb674e","datavalue":{"value":"BCK-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327482$2CB8C668-33FE-4370-8498-6477BC6FC84D","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":"Q1327482$F1DEE002-4FF6-4D3E-AAAA-8924E3EE69DB","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":"Q1327482$0E2EA808-AD53-4DFB-962C-5EF50AE6A606","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d037473ac64fb3b587cff76b7f68eeb417fc42","datavalue":{"value":{"entity-type":"item","numeric-id":5607967,"id":"Q5607967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327482$90D28EB5-06EB-4177-90C6-14A51FBB7599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1715fb4685637e0065797edbff8c5879a2397e03","datavalue":{"value":{"entity-type":"item","numeric-id":3346317,"id":"Q3346317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327482$B2AC8F37-3DDA-408A-9757-36E038D0C6E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b45e6b3d0fd575bb8afc1e1290fb8cf9f558929","datavalue":{"value":{"entity-type":"item","numeric-id":3346314,"id":"Q3346314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9ba4f8bf2e997c126ba3574af8ca3785ce21bd","datavalue":{"value":{"amount":"+0.7925717234611511","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":"Q1327482$89020CB8-332A-4061-A6F6-8A687089A737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c98a858199974254de3f7234cf6fc5f4f8f62a","datavalue":{"value":{"entity-type":"item","numeric-id":1318911,"id":"Q1318911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b89a52b4fac60b3ad76e56ca704f20507283aa","datavalue":{"value":{"amount":"+0.7894097566604614","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":"Q1327482$B3E49D26-F3F3-494B-8837-2C32DF465EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffccd36d3a8437e648b0c5431b41bd189212af4","datavalue":{"value":{"entity-type":"item","numeric-id":3340858,"id":"Q3340858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04003168d7fbfeee56aadb5be1a268a4f4ee4f51","datavalue":{"value":{"amount":"+0.7855191826820374","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":"Q1327482$70115A2B-E2AF-4387-AD31-ED4E2EF06DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7715d37aa83c72d0cc85449b40f0f2827adb54","datavalue":{"value":{"entity-type":"item","numeric-id":3352995,"id":"Q3352995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e0e0a58669ba8f71afd675bf42a85a083040c9","datavalue":{"value":{"amount":"+0.7835124135017395","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":"Q1327482$C32FDBB5-65C9-4AC6-9DF6-541F777E2E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66370a44825ab617f9bfab9a415a1e948c43db7","datavalue":{"value":{"entity-type":"item","numeric-id":3346317,"id":"Q3346317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e694152d1b0ca63d9efdf019e1c0bcda61d0eef1","datavalue":{"value":{"amount":"+0.7744842171669006","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":"Q1327482$586AFDF7-1B25-40EB-B229-2206C053D479","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a property of BCK-identities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_property_of_BCK-identities"}}}}}