{"entities":{"Q2233195":{"pageid":2243938,"ns":120,"title":"Item:Q2233195","lastrevid":54113480,"modified":"2026-01-26T06:50:12Z","type":"item","id":"Q2233195","labels":{"en":{"language":"en","value":"Finite model property and varieties of BL-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7409979"}},"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":"Q2233195$9C483EC4-B11D-4881-98FC-996B6E210E15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"410b8a819b7339636e6937b353c527215b267733","datavalue":{"value":{"text":"Finite model property and varieties of BL-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233195$D2BB73B6-9BF3-40B1-9371-036AF8956B26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"523e6c1b04cfac4864548ff5c837aa528f830029","datavalue":{"value":"1501.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233195$1A1A60FB-50F6-4D9A-BBC0-8D2BC8AC3C14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddb4249bc61a19c4bcc4f8d028860d0876b0090a","datavalue":{"value":"10.1007/978-3-030-74970-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233195$6D7D85A4-25F0-447F-9964-68C6AB39EAD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3239827dce618dbe8b1c7b964a1564cb063b763f","datavalue":{"value":{"entity-type":"item","numeric-id":387624,"id":"Q387624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233195$38B9FCE9-F61F-480B-A6A4-0E611B6B4433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4debe34e694b0cffbf43031a6a567b2c79fd48f3","datavalue":{"value":{"entity-type":"item","numeric-id":361852,"id":"Q361852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233195$3CADB8EA-F6EF-4170-B21F-22490D7FD06E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"797e307b5ec121d91cae85a6df98153aeae7e6e2","datavalue":{"value":{"time":"+2021-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233195$BB2BF9A2-F61D-4367-9DF9-E37ECD62D33E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"613b7af31f02b86890f5f5095fe4dfdaec188f7f","datavalue":{"value":"The notion of BL-algebras was introduced by \\textit{P. H\u00e1jek} [Metamathematics of fuzzy logic. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0937.03030)] as the algebraic semantics of the basic logic BL, the logic of all continuous t-norms and their residua. A variety of BL-algebras has the finite model property, if it is generated by its finite chains.  The paper mainly studies the finite model property for varieties of BL-algebras. The complete classification of the finite model property for those varieties of BL-algebras which are generated by a finite class of chains with finitely-many components is given.  For the entire collection see [Zbl 1470.68020].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233195$D64CD9E5-D75F-40F7-8A5D-C18C1CEC9AEF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d372d6971ea5a98ce7fd4b0a919055db35686cbf","datavalue":{"value":{"entity-type":"item","numeric-id":2062212,"id":"Q2062212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233195$0AE0A6FE-69BD-44BB-8063-7F962CE0015D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233195$B930D739-D63D-41B5-AA2B-056807030F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233195$23550935-53A5-4F7D-BD8E-A5AD5C9FFEFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79f5ba185a819c7ac38935d82994cdc27677d181","datavalue":{"value":"7409979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233195$8A266187-9A65-4F20-AF6F-61A1411D9B51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f33d87cc7c45d57cfb986ce049f03d16122174","datavalue":{"value":"monadic \\(n\\)-valued Lukasiewicz algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233195$825F8758-EE42-4F4A-AA9D-5C1E5BA5B18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e581e633ecd49438d4d3c02bf05dfd884080ab89","datavalue":{"value":"\\(m\\)-generalized Lukasiewicz algebras of order \\(n\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233195$584D10B6-8BB1-4E15-AAB8-3353E9ADC319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233195$538FA4DA-D102-4A07-B69D-1DC7DDCB2651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a918afae689617535801fd2f4a23b8567ac5acab","datavalue":{"value":"subdirectly irreducible algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233195$091C8EE3-EA20-4643-80CC-94FF8CD7DC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233195$49A77363-0EB2-4E84-BC1D-6F37FD9FDCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c11e9062c022003623eb8571734654b4f5601ff","datavalue":{"value":"functional representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233195$A7820C44-2DE3-4C3A-9504-D98D7FD897D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f31c14fed802002255457b4535816ee37a6c5ee2","datavalue":{"value":"\\(ML_n^m\\)-algebra of fractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233195$9DF18024-9434-4BE8-9384-4F3D9205CCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf777915c5e49b1d50b5906b7f43d1eac24abe50","datavalue":{"value":"maximal \\(ML_n^m\\)-algebra of fractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233195$DA6148BE-A709-4DF5-A0BF-496D8418AA91","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":"Q2233195$A10994FA-1816-4DE6-9222-F1294D670D68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74079fcb6f4dc607210eaf0e25e23232e8c0951b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-74970-5_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233195$0E62755F-6639-44FB-878E-A2F16BC80306","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71a0e30e4fc08e5cbe3468aa5d7e0cac9fdf0fbb","datavalue":{"value":"W3196049476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233195$E5DB3CC3-A43A-4D2A-927E-62E0D36E6C27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fafd70556b595d77a31de57c7ab1eaf6f9533c5","datavalue":{"value":{"entity-type":"item","numeric-id":2462673,"id":"Q2462673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233195$007172F1-8635-4790-A449-2B54FCFCB5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81700654b480ea16a29b7b331463fd1f3978ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1812017,"id":"Q1812017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233195$EFA65B9C-D2AB-4BAE-A973-ED070B88BE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4edf1bc88c650c6e357b566f93b45cc2beed32","datavalue":{"value":{"entity-type":"item","numeric-id":2049269,"id":"Q2049269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233195$2ECC6868-CA12-47B4-8633-DEC85E504F31","rank":"normal"},{"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":"Q2233195$84860524-3EDF-4EA9-9DB8-C2B6CF56D85C","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":"Q2233195$00CDD4C0-8687-42DC-981E-FB17A81CC97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb17c3ec23f7db1652717b13437eb3142a54285","datavalue":{"value":{"entity-type":"item","numeric-id":1024552,"id":"Q1024552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233195$3AC0FC15-C43D-4CF6-ABA1-F1B6F1364576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0c9c54f14f787f70785a2d58375ca21d25ce68","datavalue":{"value":{"entity-type":"item","numeric-id":2871197,"id":"Q2871197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233195$F9274CA0-38E8-4B0E-98D1-0B9C1BC38760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d868e287255af6f99a2795636871f71d2da1ca1b","datavalue":{"value":{"entity-type":"item","numeric-id":1972417,"id":"Q1972417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233195$C2D96127-E72B-4AC6-937D-A6D3D5A5B73E","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":"Q2233195$0834B5C0-DA08-41C8-8E71-056A50833289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233195$13B967F9-D74D-43F0-86A5-A6074A31F0ED","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":"6a23ee727ed8dccedde4553663dbbdcb644fe395","datavalue":{"value":{"amount":"+0.8493587970733643","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":"Q2233195$2E549004-4E48-4D84-BE39-3826877518C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41e9c5ca73d4a450bd23936926cddff1b08cb78","datavalue":{"value":{"entity-type":"item","numeric-id":1402070,"id":"Q1402070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be0d6599a6052131a61b89eb497676e70398d2e","datavalue":{"value":{"amount":"+0.8327410817146301","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":"Q2233195$64F73F58-F8CB-469D-92B7-5C4AF2470985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b38c36453638b0d955ea3095d369e6cb4c5f1d7e","datavalue":{"value":{"entity-type":"item","numeric-id":1407568,"id":"Q1407568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be0d6599a6052131a61b89eb497676e70398d2e","datavalue":{"value":{"amount":"+0.8327410817146301","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":"Q2233195$520671A8-1E80-45F6-89A6-BB30F168BE09","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":"262ead0ce27ca1a9b62e8d1867ced103a43e9b42","datavalue":{"value":{"amount":"+0.8271237015724182","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":"Q2233195$26E2B577-352D-4466-993A-00ADA041EC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37d9f4aeab6ebbe85eba16787e6dcc640140fbd","datavalue":{"value":{"entity-type":"item","numeric-id":816867,"id":"Q816867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44c9dc49536a0aa76fd5ad36a4f05c2779dc0fa","datavalue":{"value":{"amount":"+0.8221240639686584","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":"Q2233195$C7C755D4-82A1-453C-91B5-6D7F5FD80EBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233195","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233195"}}}}}