{"entities":{"Q2566595":{"pageid":2577338,"ns":120,"title":"Item:Q2566595","lastrevid":48556003,"modified":"2026-01-05T05:16:47Z","type":"item","id":"Q2566595","labels":{"en":{"language":"en","value":"Rough subalgebras of some binary algebras connected with logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207883"}},"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":"Q2566595$E4AB3665-A85E-4213-8188-6B2D96C472F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ccfdc237707a0faa24086ea4796e9ae5a1489f4","datavalue":{"value":{"text":"Rough subalgebras of some binary algebras connected with logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566595$4EAEE94C-2855-4F27-B6EB-282DD1AE85F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3ac70515b1d2ff3a3f226626f91f50cc643c67b","datavalue":{"value":"1084.06014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566595$FDF093D3-8A47-45E3-B98A-F77E8FDF8268","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0bdbde000841a524e9a2e2de93334c1552446ed","datavalue":{"value":"10.1155/IJMMS.2005.437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566595$11B38685-7D38-4563-8B3E-E2BCBA396118","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566595$949F3812-01D2-4198-9840-96E31B460EDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c82177ea1a441a2602ee1de7046679058e82c52","datavalue":{"value":{"time":"+2005-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566595$55D1E646-D7EC-4956-9B1D-D4F40F614C14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa00f3077588ca34eaef8181d3505687b0427813","datavalue":{"value":"https://eudml.org/doc/52214","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566595$1651C461-4BFA-47F9-B129-F7B6EA3AF693","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f7d5453c5191bcf36c22715243b1aa71e512361d","datavalue":{"value":"The authors think about the properties of rough subalgebras (ideals) of BCH-algebras and give some results. Some of the results are established in any algebras. For example, in Theorem 3.7, they prove that \\(E^+(S)\\) is a subalgebra of a BCH-algebra \\(X\\) if \\(S\\) is a subalgebra of \\(N\\). The result can be proved in any algebra as follows. Let \\((X;\\omega_i)\\) be an algebra and \\(S\\) a subalgebra of \\(X\\), where \\(\\omega_i\\) is an \\(n_i\\)-ary function symbol. Then we have \\(E^+(S)\\) is a subalgebra of \\(X\\). Indeed, suppose that \\(x_i\\in E^+(S)\\). Then there exist \\(a_i\\in S\\) such that \\((a_i,x_i)\\in E(\\in \\text{Con}(X))\\), where \\( \\text{Con}(X)\\) is the class of all congruences on \\(X\\). Since \\(E\\) is a congruence, we have \\((\\omega a_1\\cdots a_n,\\omega x_1\\cdots x_n)\\in E\\), where \\(\\omega\\) is any function symbol. The fact that \\(S\\) is a subalgebra means that \\(\\omega a_1\\cdots a_n\\in S\\). Thus we have \\(\\omega x_1 \\cdots x_n\\in E^+(S)\\) and \\(E^+(S)\\) is a subalgebra of \\(X\\). Theorem 3.5 can be proved similarly in any algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566595$8233C5FC-23C1-44BF-977A-8B6944F6B85D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fef49cf07248ee3df4000a1a71cf1884173cc9aa","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566595$0B774FE4-FD03-4EF0-A091-2123A7C7B7D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566595$2A1B447E-28CD-408F-B522-CFAEC735897F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566595$55AE5E8C-0895-4583-8D77-3005AB845703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566595$7BC55866-EEBE-4236-AEEE-35779AC3165C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a81a5ae731a2dca60d1b8e17b568466aeef3f355","datavalue":{"value":"2207883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566595$97AAAB9A-7400-4F82-998C-937B0E6C9D16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3abb7a22735c997f45ee8edbc39d1590a7579de","datavalue":{"value":"rough subalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566595$705A89E9-7470-483A-BF3E-5ADAE57A5907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566595$AFC3A2B1-D4E1-42E8-948D-7ABDEBEA4F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cdc189237048b38fadca922c55cbafde9e1bd3c","datavalue":{"value":"BCH-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566595$C4C627DB-3709-4905-8E70-EA40C353D731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2a7464f649d16f8eb4a24b662e4f466421adf27","datavalue":{"value":"subalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566595$AF73C429-0313-4502-A363-82EC9E37042C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3266d245217b525d3599650760962d09f6b8e2ee","datavalue":{"value":"congruence,","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566595$5B7DCCFD-DB32-4E06-AB87-B40C7DBA695B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9a94b2b588b05fc24c55d6d62bec489948e41cf","datavalue":{"value":{"entity-type":"item","numeric-id":202029,"id":"Q202029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566595$16CBF9E9-6066-4C7C-B791-F634AB0CA94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4edce6889de187fe685062a53cbb17bb02163e","datavalue":{"value":{"entity-type":"item","numeric-id":162483,"id":"Q162483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566595$90ADA587-489B-46B6-A4E3-E0FC861C8E53","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":"Q2566595$AA060333-7F1B-442B-B94A-7849210C5ACA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db67312bf4241c0f20efcd151c471cbe29b7d5e9","datavalue":{"value":"W1991723804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566595$60044259-E182-4C44-9DC1-6A31BA4D360F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69732f5234adfcce23c900f82a50bb24af2de10","datavalue":{"value":{"entity-type":"item","numeric-id":4801826,"id":"Q4801826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc6d4ef108c32b31533adb265f96f8e7af78c59","datavalue":{"value":{"amount":"+0.7989131808280945","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":"Q2566595$25F46609-D6CD-444C-842A-5E8E7658FC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ec3593fed93110c4ea8099dc5c06a357a84b6b","datavalue":{"value":{"entity-type":"item","numeric-id":4329502,"id":"Q4329502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc6d4ef108c32b31533adb265f96f8e7af78c59","datavalue":{"value":{"amount":"+0.7989131808280945","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":"Q2566595$2758C62C-6C79-4F61-99D9-F8DF9A640D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc43dd12d69f2a24058988ffea13584cd2affe4","datavalue":{"value":{"entity-type":"item","numeric-id":2765934,"id":"Q2765934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089297675b5088ea5fb21915c39c20c0c29b24ad","datavalue":{"value":{"amount":"+0.7982004880905151","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":"Q2566595$2AD9DBCA-A62B-4696-8AC3-8D09FD9E820C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9beecbdb187846f77ba04751a2cb5b435706856","datavalue":{"value":{"entity-type":"item","numeric-id":4495040,"id":"Q4495040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4a0da88b8546a108a086020a011a039777ce90","datavalue":{"value":{"amount":"+0.7842939496040344","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":"Q2566595$12F45B2D-0EBC-4F5A-9D96-07A1E4826233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fb2dda975ae9e20725f4d3875a11d6e8e33ecbb","datavalue":{"value":{"entity-type":"item","numeric-id":3306418,"id":"Q3306418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487aec8a47fe39ebeabe198327b829377fbabffc","datavalue":{"value":{"amount":"+0.7784709334373474","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":"Q2566595$68C2E490-E70A-4E11-9736-69D298F6A66D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2566595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2566595"}}}}}