{"entities":{"Q1808753":{"pageid":1819495,"ns":120,"title":"Item:Q1808753","lastrevid":73005108,"modified":"2026-04-14T09:20:14Z","type":"item","id":"Q1808753","labels":{"en":{"language":"en","value":"Quotient BCK-algebra induced by a fuzzy ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1369755"}},"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":"Q1808753$73E317C0-E3BA-4B3A-B78D-4F847414F04E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4a98fa6f269a8e9e69e09222a32a7cc0e91a1e8","datavalue":{"value":{"text":"Quotient BCK-algebra induced by a fuzzy ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1808753$DF7C5692-D0D6-4BF5-9ED9-9AA5E47C87BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81ce8fab508dc565ef8bfd8def59eedbe9c67f84","datavalue":{"value":"0935.06019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808753$25EF9820-920C-4D2C-8877-9C577796FC63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808753$3466904D-9B95-4FFD-AC41-88059906404D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808753$49ADBF46-51B3-408D-B38F-612747FFFAC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e854059fec90d383751b6141066d3fc336144f6b","datavalue":{"value":{"time":"+2000-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1808753$E9B0EEC0-D946-43D6-B7E0-DDF88E40DA26","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a9cd2efc42ac87f0fb9fb0f006adb60863b84a7","datavalue":{"value":"Continuing previous work of the first author, \\textit{Y. B. Yun} and \\textit{H. S. Kim} [Fuzzy Sets Syst. 89, No. 2, 243-248 (1997; Zbl 0914.06009)], the authors show that a non-constant fuzzy ideal \\(\\mu\\) of a BCK-algebra \\(X\\) allows to build up the quotient BCK-algebra \\(X/\\mu\\), which is implicative, positive implicative and commutative if \\(\\mu\\) has, suitably ``fuzzified'', the respective properties. Among others, the authors prove the so-called ``Fuzzy Homomorphism Fundamental Theorem'': Let \\(f\\) be a homomorphism of \\(X\\) onto the BCK-algebra \\(Y\\). Let \\(\\nu\\) be a fuzzy ideal of \\(Y\\) and \\(\\mu = \\nu \\circ f\\) the preimage of \\(\\nu\\) under \\(f\\). Then \\(X/\\mu\\) and \\(Y/ \\nu\\) are isomorphic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808753$814F11A9-6BA0-47F8-945F-BC5A4DEBBC29","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"30b222a178da618fc62133a4d4f30e820b6a19e6","datavalue":{"value":{"entity-type":"item","numeric-id":287344,"id":"Q287344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808753$F7AB14B5-92AB-45F0-A799-566DA140A299","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808753$BABDDD79-02DF-446F-8EB3-3AECC9783E42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0db4c0d8caaf60977c190a6264b72870d5e35df4","datavalue":{"value":"1369755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808753$2AD07C95-34E5-4DFB-8C90-C545D0CE07AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ae94c07cfb807968a09f81c41709366559e315","datavalue":{"value":"BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808753$A6B30D70-2382-4ECC-8647-ECE2AA2D8955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90372ff9741aa536e11a44d3d69fbb6293535457","datavalue":{"value":"fuzzy ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808753$9492E7F5-5621-432C-8794-196542EDA712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04cdd5fb884b99b76f46dc32107e7543cf1bbfe5","datavalue":{"value":"quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808753$A813D8E9-8689-4352-9C6A-F3C5EF9316BC","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":"Q1808753$DFEB94C0-642C-4D91-89DA-25AA315210D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9c8af65ba7b6122606c9705eecb4e073624969","datavalue":{"value":{"entity-type":"item","numeric-id":3410144,"id":"Q3410144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de857184ffed636a0b14f078a0872788b00d4ee","datavalue":{"value":{"amount":"+0.9244808554649352","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":"Q1808753$265205AE-77B6-4BB7-98FD-4642AF165C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eb59579b35453e57b6c7900fa0643c4846cf736","datavalue":{"value":{"entity-type":"item","numeric-id":1847587,"id":"Q1847587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b5698880159f27b0816c60fcc75affc37e0524","datavalue":{"value":{"amount":"+0.9100533723831176","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":"Q1808753$DE83ADF1-5FD8-45F0-8D1F-CDA41209330B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f078d5ec423335fb760913dec2216ba97d652990","datavalue":{"value":{"entity-type":"item","numeric-id":3628200,"id":"Q3628200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e04a7cc09f668959f057d7b3b4c7ad2c934194","datavalue":{"value":{"amount":"+0.8975731730461121","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":"Q1808753$2EAE59A5-5409-459F-9DBC-100F230F2501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff442a800f7aa74b294c3536f31b9371a352948","datavalue":{"value":{"entity-type":"item","numeric-id":4933979,"id":"Q4933979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9b339a47df77d8c9f379c7dbb1586fb8fae84c","datavalue":{"value":{"amount":"+0.8720577955245972","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":"Q1808753$47840719-3049-43EE-8F5E-E507A4416B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8faec73bebbdcf91df5db32114d3a50faccafee2","datavalue":{"value":{"entity-type":"item","numeric-id":3149013,"id":"Q3149013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c60404854b602c21045f3231aac02e2277bc33b","datavalue":{"value":{"amount":"+0.8684309720993042","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":"Q1808753$0738BDC7-BE00-408C-88F9-079B388731B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quotient BCK-algebra induced by a fuzzy ideal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quotient_BCK-algebra_induced_by_a_fuzzy_ideal"}}}}}