{"entities":{"Q1402070":{"pageid":1412810,"ns":120,"title":"Item:Q1402070","lastrevid":81218408,"modified":"2026-05-06T18:00:44Z","type":"item","id":"Q1402070","labels":{"en":{"language":"en","value":"Finite BL-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1967265"}},"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":"Q1402070$B805F940-5D0A-43E8-97C0-13A573169340","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27079b414d8a9d4394ee8857a3126de6969c2a40","datavalue":{"value":{"text":"Finite BL-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1402070$99F5258B-3BFF-4E71-A2D0-B7E5D9CE46AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf16d42291eb3bc924129488804bdd455bfcc893","datavalue":{"value":"1025.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402070$B3534A93-3FC1-43AF-8845-2744A9F633F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a724a954ceacf03a9e0c06680feed4dd4d06d23","datavalue":{"value":"10.1016/S0012-365X(02)00754-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402070$6E4C916C-CAA8-411E-8A4F-86252769C538","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98a161c6563f600d55e948240633b52c1bed8c02","datavalue":{"value":{"entity-type":"item","numeric-id":234287,"id":"Q234287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402070$1573FAE0-CD7A-4E6D-93B6-50C31D478A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f3e9abde1830e56d26b27840eec5cf946c4acc1","datavalue":{"value":{"entity-type":"item","numeric-id":582307,"id":"Q582307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402070$2F74C69F-5D7C-424B-A138-CE45EABFD9EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402070$C10A338E-99C9-4CCB-90F9-24EDB1AE3884","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00da8c2f12be99ff7b97d3f72ebacffed8cbacef","datavalue":{"value":{"time":"+2003-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1402070$19BBC9AD-F3F0-461F-92B5-96E37CA53D50","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8e975cd991366994e3d46c6189f03fbec0b0d30","datavalue":{"value":"The notion of a BL-algebra was defined and studied by \\textit{P. H\u00e1jek} [Metamathematics of fuzzy logic. Kluwer, Dordrecht (1998; Zbl 0937.03030)]. A BL-algebra is an algebraic structure \\(\\mathcal A=(A;\\wedge, \\vee,\\odot, \\rightarrow, 0,1)\\) of type \\((2,2,2,2,0,0)\\) satisfying certain axioms; from these it follows that \\((A;\\wedge,\\vee, 0,1)\\) is a lattice with the least element 0 and the greatest element 1. If this lattice is a chain, then \\(\\mathcal A\\) is said to be a BL-chain. The authors introduce the notion of a BL-comet, which is a generalization of the concept of a finite BL-chain. The main result of the paper is as follows: Each finite BL-algebra can be represented as a direct product of BL-comets. This is a generalization of the well-known result on MV-algebras saying that each finite MV-algebra is a direct product of MV-chains. It is also proved that there exists a bijection between a class of labelled trees and the class of all finite BL-algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402070$094C2F5C-077D-4B2A-AA3A-394742FC24D0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dcde4f0368948d36855bf140c4856cb98bf56894","datavalue":{"value":{"entity-type":"item","numeric-id":593213,"id":"Q593213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402070$6A030F4D-0D2D-4588-BA4A-826917265C3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402070$8CB2AF7C-950E-483B-A319-CFA7841485A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f975749bb425fc3537ad12289e4253770696f7b4","datavalue":{"value":"1967265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402070$305E2699-11EB-4FA7-B217-E5BE8246760A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8970d4681910c0fb972f8cc1f1362b61bc462d13","datavalue":{"value":"BL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402070$583A18AC-E0B9-4562-9838-BCCA479CA275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"549413101338ab7793287a74348269576a736f7a","datavalue":{"value":"BL-comet","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402070$81C36873-A3C4-4875-937C-09B7EE076580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f8b322f7767f82f4e2759ad13b243a4bba8c187","datavalue":{"value":"labelled tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402070$D981A745-2388-4F6D-876A-307894E3C56B","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":"Q1402070$176DAB5E-280E-40DC-8B2A-C35080B37FA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86583b51711badbbde848a946d763f290747cbee","datavalue":{"value":"https://doi.org/10.1016/s0012-365x(02)00754-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1402070$4EBAD108-037E-4042-8D13-9BA2BF9F3CD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa66a235782c2a14eb890d470aff5f9ed1a74093","datavalue":{"value":"W2034552015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402070$7D4EAD66-6237-4654-8395-13F9C8B599BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6415f95fb426b62f9d8983cecb981fea3a429e6","datavalue":{"value":{"entity-type":"item","numeric-id":816864,"id":"Q816864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0a774e80e6e612dd2ae2c8210eb9b7f7def174","datavalue":{"value":{"amount":"+0.9470173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1402070$9C2F1F03-28F8-4587-A70B-5A25E6802AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2f1e7eb885c5c16a216d12b17dce1df4e541ba","datavalue":{"value":{"entity-type":"item","numeric-id":2233195,"id":"Q2233195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654ff7cf15f393411252fd44ed2e3409cdc61ef4","datavalue":{"value":{"amount":"+0.928746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1402070$AFAF2371-DFED-46FE-A048-8E394FF80573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ff1d3344adb295bf052cda8e42d3fa07223d164","datavalue":{"value":{"entity-type":"item","numeric-id":1867635,"id":"Q1867635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"149204c13eb15d457050e57abe5a0761e2fa9166","datavalue":{"value":{"amount":"+0.92612046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1402070$17C135B2-D449-40E0-AAEA-2262D8C3C7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa45f0d7e075a673eb767463deb53e8458f6dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":816863,"id":"Q816863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73325f9321761756c0f634727eb6e5c94f767c7","datavalue":{"value":{"amount":"+0.92571217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1402070$F6745123-4557-44D7-B975-20236823BC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d6aa16b857a3521724c08b22137fd810386212","datavalue":{"value":{"entity-type":"item","numeric-id":3650324,"id":"Q3650324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da9e19cce0eaa170947861d3e18ed803db6677a","datavalue":{"value":{"amount":"+0.9244746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1402070$CC9E2891-303B-4100-B3FA-3A578F996A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144e3bface4ff690be61ce647ca687fd717fd43d","datavalue":{"value":{"entity-type":"item","numeric-id":5086872,"id":"Q5086872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d7842a2d0dcb12f7a8b599f963f1ff65c8dec2","datavalue":{"value":{"amount":"+0.9169462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1402070$6C46FC09-94B3-4A5E-AF51-106D40295056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47938d70c4eb706a944759424a75ebae137feb31","datavalue":{"value":{"entity-type":"item","numeric-id":1701554,"id":"Q1701554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d44567a6850eb31b09a4a4b909cda66e5ef475","datavalue":{"value":{"amount":"+0.9168653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1402070$3322EC78-CA8D-43CC-BD3F-D93E583BF590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7947019ecd7fee419d1825bc75a992b734f2b693","datavalue":{"value":{"entity-type":"item","numeric-id":1423632,"id":"Q1423632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b397c9d67c9155a35b38bef8450895e536204bfb","datavalue":{"value":{"amount":"+0.91470367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1402070$A6F0756C-2699-4A08-BC4D-08E847F4662A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fadbe82fbeb342845d70dcde102e80a8113595d","datavalue":{"value":{"entity-type":"item","numeric-id":4905195,"id":"Q4905195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10771e8999918665ce17cd2bca9f632509dd98bd","datavalue":{"value":{"amount":"+0.90821123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1402070$A8A3CF7D-7556-445F-A496-9438F936D126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb32213999d4838d056a693e6b5d5ab768b06f9d","datavalue":{"value":{"entity-type":"item","numeric-id":5439771,"id":"Q5439771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3290f4e8c7466d03d21a52ddd194aeb741d90d5","datavalue":{"value":{"amount":"+0.90821093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1402070$534009A6-0CCB-4E92-91F3-D343F77504FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite BL-algebras","badges":[]}}}}}