{"entities":{"Q2655230":{"pageid":2665973,"ns":120,"title":"Item:Q2655230","lastrevid":50884760,"modified":"2026-01-15T14:14:56Z","type":"item","id":"Q2655230","labels":{"en":{"language":"en","value":"The Blok-Ferreirim theorem for normal GBL-algebras and its application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5661820"}},"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":"Q2655230$349CA953-8EE1-4CAA-9A2B-3C924F3D4A03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d294466c1531e55b55aec5888eb64b6bce3bae8","datavalue":{"value":{"text":"The Blok-Ferreirim theorem for normal GBL-algebras and its application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2655230$2DEBD216-6420-473B-A006-BF6468D159A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7609b518fdd8e1955c74f534002f7a2227e9ae98","datavalue":{"value":"1192.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655230$294FAE2F-9FD9-45FF-AF5A-4A72D671C83C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1e5f98c1dbd5d88c97c48275c3781739042d20b","datavalue":{"value":{"entity-type":"item","numeric-id":299203,"id":"Q299203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655230$6E6A38E1-7E23-4F61-8F75-02964AD3582F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655230$4735B55C-C4F8-4E05-A991-A657B977B3D7","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":"Q2655230$D425165C-C6C0-4DB6-BF13-5CFA8D2120EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d56108a6e6402a05fe4c8d4db81407fa1f0c076f","datavalue":{"value":{"time":"+2010-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2655230$741E7764-657B-4C90-968B-FCE31879501D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"293080ea5ba20e8cf51fd9262c2f81b5fcae78ac","datavalue":{"value":"Generalized BL-algebras (GBL-algebras for short) are divisible residuated lattices.   In this paper, the authors investigate normal GBL-algebras, that is, integral GBL-algebras in which every filter is normal. For these structures they prove an analogue of Blok and Ferreirim's ordinal sum decomposition theorem. As applications they prove that the variety of commutative and integral GBL-algebras has the finite embeddability property, so the universal theory of commutative GBL-algebras is decidable and \\(n\\)-potent GBL-algebras are commutative.  Also, they present a representation theorem for finite GBL-algebras as poset sums of GMV-algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655230$4BA99FC8-6949-457D-978A-DE0524F9FA1A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10ee60e048f57d786cf4faf8663c70804ed6a9ba","datavalue":{"value":{"entity-type":"item","numeric-id":277572,"id":"Q277572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655230$886EF861-F385-4068-A473-A5C8B97E82A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655230$9773BC53-E65D-4075-AF88-133D891298AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655230$8062ABD9-E637-4A6B-997B-83D6249438BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655230$4949549E-41A8-4820-80CD-0D587D87B367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655230$C9E7429C-63AE-4B7D-9C78-6DBF7524C1D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46f3aa9442473595aa401f25cafa34e50252f741","datavalue":{"value":"5661820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655230$A6060EE3-49CA-4EBA-9A0E-5B60220BDAD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a74079778e69059484cf6ddfdb3244d359889b","datavalue":{"value":"generalized BL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655230$92721A57-617D-40AD-B29A-3BBEA3ECE910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655230$F4622F4B-841C-4885-9135-44FE5E7BEBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0187098c73dd13a304f19c2e5ae093d6801afa54","datavalue":{"value":"basic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655230$D72EC930-E726-47C0-98BA-E5C6B0E65951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51687e5d4dfd30c4699083fa2b37e7d7c1328c6f","datavalue":{"value":"generalized MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655230$84C3CEFD-A980-4BD4-950F-50F26F620F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3025b2fd155dc94179dbd6c8a3a744ff7f108ca2","datavalue":{"value":"lattice-ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655230$8355B08C-1C04-4C79-A94E-2C509ABD4B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca0ef3dda052a3ed1654504c155c4f7228b253b","datavalue":{"value":"hoops","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655230$5A7250A1-8E4E-4641-90AA-509948DA3EA7","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":"Q2655230$99882D46-415C-425F-B03D-6FFC84F05F04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4673dc682cf46a4e7ad792da9358eca3a5842dc8","datavalue":{"value":"https://doi.org/10.1007/s00012-009-2106-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2655230$F5D993E7-B3D1-447B-86D7-D79431B61E43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8184d562421fbb573b935be577a5b4559f571a41","datavalue":{"value":"W2095665118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655230$D0F94E57-6FC4-4FB9-B7F5-9F7A58490121","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"045269865e13ae412d7e0f0af31e19e1640be1cf","datavalue":{"value":"10.1007/S00012-009-2106-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655230$0A587F88-DBF4-4D90-8E2A-77C4276D1CEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69d906672b1c28252cf123f276cecc4c92a1df68","datavalue":{"value":{"entity-type":"item","numeric-id":964512,"id":"Q964512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e2e8a941d810a814241de00158927c0531bfa55","datavalue":{"value":{"amount":"+0.8591275811195374","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":"Q2655230$A9FF9C0D-179A-403B-861B-15486888112F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add3868c4242b66fefac8b0bcd0913cc50108613","datavalue":{"value":{"entity-type":"item","numeric-id":861599,"id":"Q861599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4eda385d75d162b3853dd3aa57911810926abd7","datavalue":{"value":{"amount":"+0.849851667881012","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":"Q2655230$E4B546B6-B53F-4E49-9F06-7EB43CED15A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec7bb850f30a2271fb06ce5e3712a681051d8029","datavalue":{"value":{"entity-type":"item","numeric-id":1006641,"id":"Q1006641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455f4dfe90248e4bea341d71214ecf25579b562b","datavalue":{"value":{"amount":"+0.8219237923622131","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":"Q2655230$D3C6E09E-487C-4BBE-B5A9-59BF528E057A","rank":"normal"},{"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":"949766fa4ddb03b709809f2198071931749fb3c7","datavalue":{"value":{"amount":"+0.8166540265083313","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":"Q2655230$74FDF498-6A2F-4D62-B190-70A48CD0F1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f903dff009457fb5e157b9e47056ad4bee5a74a","datavalue":{"value":{"entity-type":"item","numeric-id":2013841,"id":"Q2013841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5e1c2048d49bb95d8178d01bd29c263dace930","datavalue":{"value":{"amount":"+0.7854781746864319","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":"Q2655230$0BABB8B1-2C1B-42F0-8D0B-B9B1ED491E50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2655230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2655230"}}}}}