{"entities":{"Q992009":{"pageid":993857,"ns":120,"title":"Item:Q992009","lastrevid":51073934,"modified":"2026-01-16T12:45:07Z","type":"item","id":"Q992009","labels":{"en":{"language":"en","value":"Semisimplicity and the discriminator in bounded BCK-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5781183"}},"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":"Q992009$F93F83C9-7473-42C7-B31C-31F73280FDF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d06ec40729bbbc07ef08720848fa27f9388459f4","datavalue":{"value":{"text":"Semisimplicity and the discriminator in bounded BCK-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q992009$ADE53F38-1178-47ED-B0C2-06E5C57C440A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44dbead4f8e3adf39565fd22337661094c9926b9","datavalue":{"value":"1201.06015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q992009$1E7C20A7-4888-4762-9251-B89400F2983A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$0034DF48-2356-4081-851F-32DD9F48D74D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e193f284f8733d439b83ddc151cf4a28e7572944","datavalue":{"value":{"time":"+2010-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q992009$800CE268-E454-4C98-BEDC-3A83CC5C8CBD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e7eb5860ccf9b694035229f2a0ba5fbfec8b2d11","datavalue":{"value":"The purpose of this paper is to characterize certain types of subclasses of the class bBCK of bounded BCK-algebras. The first main theorem of the article states that a relative subvariety \\(V\\) of bBCK is semisimple iff it satisfies a certain sequence of arithmetic properties, and, moreover, in this case, \\(V\\) is a variety. The second main theorem of the article states that, given a relative subvariety \\(V\\) of bBCK, the following equivalences hold: \\(V\\) is a discriminator variety iff \\(V\\) is semisimple and congruence-permutable iff \\(V\\) is a semisimple relative subvariety of involutive BCK-algebras. The author also extends these two main theorems to strong expansions of bBCK and concludes by an example of an involutive BCK-algebra that is not congruence-permutable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q992009$B97369AB-3950-448A-ADDB-867DD25F30E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6b2a766fa4580d586548716dae8fdf9871fa9222","datavalue":{"value":{"entity-type":"item","numeric-id":377477,"id":"Q377477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$AF725159-E9E0-4F39-903E-A51319EF7751","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q992009$2AC7FF62-8504-433F-999A-7546AE152F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q992009$20D7F79B-F6FE-4C7B-99FB-809CF6372EE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7c4f364b8b8050514392977c08615b8f5f85567","datavalue":{"value":"5781183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q992009$656D724D-4056-4FDC-A2E9-A70C76C93104","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1392ffbeb6d1d6299d464dbdbab2c4fa0553c982","datavalue":{"value":"bounded BCK-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q992009$2E688EB3-3A91-4273-8B0C-0AC848AF2E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8217ed4fc418153f40881cb64a63a55b785ef2","datavalue":{"value":"semisimple relative subvariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q992009$E6F06D6A-FA6C-4EBE-93A5-07D433A29C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q992009$664012EE-0651-4041-8FD8-7E13ABC70D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07c76fdb5b8fd0f7b1aca464ac3c88100d771089","datavalue":{"value":"strong expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q992009$848C8168-070B-457B-A2BA-6303BA67B72B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebba8fa657260c6e2e63119a6f78200b48840640","datavalue":{"value":{"entity-type":"item","numeric-id":1306835,"id":"Q1306835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$241298A9-457E-4937-82FE-E06F241A8EDD","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":"Q992009$79A5632D-B5A9-40C0-8894-5A10D5C95CA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f6c2aa636f47b3cac45fcf88e919fa50eda6ede","datavalue":{"value":"https://doi.org/10.1007/s00012-010-0061-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q992009$CFC4D4B0-6DDD-45EA-908E-F48EF68506A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46ccc9b7abe203062ae1c58a88a975235710037a","datavalue":{"value":"W2006766521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q992009$E1C8B133-941D-47E7-9D01-B850F1B90E47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$19CA097C-0203-4EDE-AC06-69CF10A91D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c25674006f8fabdcc2cf3f4e8012aefb27f226e","datavalue":{"value":{"entity-type":"item","numeric-id":1344842,"id":"Q1344842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$F8F6F9E5-32FC-43A8-A28C-96C0761FC09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f3830183be386e8ec478d8357e11deae4a551c","datavalue":{"value":{"entity-type":"item","numeric-id":1355602,"id":"Q1355602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$71BD47C6-79A0-45AF-A5D1-E7B76A782716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca1c8fab4dca3e1dee520e4c208d86e1c508abf","datavalue":{"value":{"entity-type":"item","numeric-id":3519801,"id":"Q3519801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$717F209A-3E4C-4A61-A51B-1CF6D81D63B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$2F61DDCA-58B9-412C-A300-9A0BCBF50CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e4359de63188e9ac22aa2e99bb5c38ba9c03cf","datavalue":{"value":{"entity-type":"item","numeric-id":4459591,"id":"Q4459591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$7B10B729-896D-4CCE-BB81-CF67D318B059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$1E7C9F2D-019F-47F0-A834-753FFAC6056D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$FCD5810C-3281-4CC9-BD61-584F9723E0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5f547e25bbd6617cd6e6e5c8f252930d28338","datavalue":{"value":{"entity-type":"item","numeric-id":3437044,"id":"Q3437044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$E77C7118-0ABD-4723-B611-142AA53E479A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0c7820e4f6a0840e1fc28b4670c79728ba37bd","datavalue":{"value":{"entity-type":"item","numeric-id":934913,"id":"Q934913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$5451283C-AB1A-42C3-BACB-8C7253DA3FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e61ad0bb3bdc25375fa136aa2911691b3a4997","datavalue":{"value":{"entity-type":"item","numeric-id":3934366,"id":"Q3934366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$0B3B6C02-B792-4AC3-AF53-551898F47B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c83445e71a20875b92d5eb288055ca318aed7a3","datavalue":{"value":{"entity-type":"item","numeric-id":1078563,"id":"Q1078563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$C06BC9A2-473F-4857-AA8A-F06F6C6081FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f9a14346e292c0fb29f522323e044136987bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3218120,"id":"Q3218120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$DD3DB764-907F-4E91-89B2-214DA99AD43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1aadde285af5294d966f61b18ede66b4b552095","datavalue":{"value":{"entity-type":"item","numeric-id":3218122,"id":"Q3218122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$14987FEB-591B-4FEA-9B53-CE01A646C88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2dba1c35f64ea69c1947aa76898fc7d25061f29","datavalue":{"value":{"entity-type":"item","numeric-id":4115148,"id":"Q4115148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$BF360A10-FEED-4DDD-9188-BBBE3333CCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087714ca80c56c02e7d026d3d2cb35260a5ab56d","datavalue":{"value":{"entity-type":"item","numeric-id":1770976,"id":"Q1770976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$153EFE47-B3C0-464E-8BD6-0F27A5961D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e0a02802a164034a4aa7e9ffc6ae956fb2a960","datavalue":{"value":{"entity-type":"item","numeric-id":3932964,"id":"Q3932964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$049F5BF2-2792-4519-A326-2C3529669A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26df3270fe5bfe21fe16846d37bdd8243f9df59f","datavalue":{"value":{"entity-type":"item","numeric-id":3487457,"id":"Q3487457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$09436699-8CC7-4FDA-914D-DC4272909DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980ce76f9799eb0f72d7495740bc93db29c5c9e4","datavalue":{"value":{"entity-type":"item","numeric-id":3757916,"id":"Q3757916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$9AA6F3F0-E938-4891-9022-E97F1A5875EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18e23d602ef95ebb21c18c71b3b6acb97c916b8","datavalue":{"value":{"entity-type":"item","numeric-id":931403,"id":"Q931403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$36CDC326-7DDF-4962-9473-B50592EEEBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe96f759387a9e99f6c9f63deedaa93e3a2a0b3","datavalue":{"value":{"entity-type":"item","numeric-id":2433109,"id":"Q2433109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$0EAAFD29-68C5-49B2-8E6B-7FF35F0CA080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9435dcbbce4ddeaf4f4d7db1cf97394d4736bce","datavalue":{"value":{"entity-type":"item","numeric-id":3666901,"id":"Q3666901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$63ED11FE-1741-41A3-BDF3-F8389CE817EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b942917ef41dceb4a6c49da9b0b1fbe6a4080b","datavalue":{"value":{"entity-type":"item","numeric-id":3666903,"id":"Q3666903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992009$4AE14666-5C54-4DA8-A3F3-7C32A8B2B713","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8587cc9bea8241c6a75e6b8804b32baf996083ce","datavalue":{"value":"10.1007/S00012-010-0061-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q992009$771C5610-D2C2-4933-A4CA-BCCDFB1DDE80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3035609ccc14140fc9c3c96030d948a069da2018","datavalue":{"value":{"entity-type":"item","numeric-id":3778755,"id":"Q3778755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c227d5c8fbe6a37a9724e54b711038eb7700066","datavalue":{"value":{"amount":"+0.818149209022522","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":"Q992009$FBC1B305-ED4C-4B3F-8309-1D5FF6B03ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403a6ca566e31f2a2d5ca9d985281d25d48dd7c3","datavalue":{"value":{"entity-type":"item","numeric-id":3437044,"id":"Q3437044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922066ec9e98c25b76605e0693edb418592f8948","datavalue":{"value":{"amount":"+0.8161339163780212","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":"Q992009$A2AE214A-7F2C-4BE9-B622-0404FD525087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97701ceac653b811d9cb3dc1e73a22d4a11cafb","datavalue":{"value":{"entity-type":"item","numeric-id":1935561,"id":"Q1935561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a3f3ae69c946717c9c15088b5d38e8241e3ea8","datavalue":{"value":{"amount":"+0.8150817155838013","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":"Q992009$65EA92DD-3446-4927-A7CC-3FAAB8890058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b4ba0fe2d0c192466ff9b15a85be73ba653dd80","datavalue":{"value":{"entity-type":"item","numeric-id":1344842,"id":"Q1344842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1500b9e6bce1fe7a4de1628bfe44eb15a5a3d0ac","datavalue":{"value":{"amount":"+0.7967554330825806","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":"Q992009$CCD461EF-EE5B-4EA7-A054-653B628FB2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec87eb8e8773bd616261aaab5ae7b0c87ace386b","datavalue":{"value":{"entity-type":"item","numeric-id":3990740,"id":"Q3990740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61ae5d1e8e8b328b10fe549ece33d90127b68191","datavalue":{"value":{"amount":"+0.7938831448554993","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":"Q992009$74380957-E833-41FA-856C-CA6E1DE03880","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:992009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:992009"}}}}}