{"entities":{"Q993324":{"pageid":995172,"ns":120,"title":"Item:Q993324","lastrevid":51075989,"modified":"2026-01-16T13:00:46Z","type":"item","id":"Q993324","labels":{"en":{"language":"en","value":"Canonicity in subvarieties of BL-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5782714"}},"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":"Q993324$BF916C4A-257F-4F16-A74B-9CE436E41025","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0627140ffb1caacf97fdb94dfe29050c677e772b","datavalue":{"value":{"text":"Canonicity in subvarieties of BL-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q993324$0D5D735D-0FFB-446E-AE2E-7EC974161817","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"286b03aea5c04323067d6f757df981c6f11d81d1","datavalue":{"value":"1200.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993324$212BA650-B543-4CA7-B0EE-D838F9B04155","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bdea319675a05894926e1891f30a7626f6753a4","datavalue":{"value":{"entity-type":"item","numeric-id":934890,"id":"Q934890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$64FADADB-9705-4D42-B99C-9A6A1A8C5FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c057358ebb9c2e72e1be7d59fe0ff665a9c77c26","datavalue":{"value":{"entity-type":"item","numeric-id":321582,"id":"Q321582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$05B596DE-D45F-4E6C-B7B9-FA5967560F07","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":"Q993324$2EE558C0-3941-4E35-B2D5-26373168030D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2857b5bc1b1598776d7a167b6234f21df24153b","datavalue":{"value":{"time":"+2010-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q993324$EE4518B7-AC1E-4998-A584-BF990B4F4E29","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51d1644800f21253c58748fd8f16a4e499a0f390","datavalue":{"value":"Canonical extensions were introduced by Jonsson and Tarski for Boolean algebras with operators and generalized for distributive lattices, lattices and posets with different internal operations. They provide an algebraic formulation of what is otherwise treated via topological duality or relational methods.  In this paper, the authors study \\(\\sigma\\)- and \\(\\pi\\)-canonicity for subvarieties of BL-algebras.  They prove that every subvariety of BL-algebras that is not finitely generated is not \\(\\sigma\\)-canonical. Also, they prove \\(\\pi\\)-canonicity for an infinite family of subvarieties of BL-algebras that are not finitely generated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q993324$41501850-46C1-4B18-AB02-D84636156E3D","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":"Q993324$501CCEA4-AA37-4D91-BA52-376CF62A2D3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993324$05D6D4A6-AB94-4B89-91CB-D7F8CE72C8BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a63ede1d60a7948a87432d254ef0a914657eddd6","datavalue":{"value":"5782714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993324$CCD85956-4D16-4DFA-AD38-09E72E1570CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a993c44ee7a170fe20ad50759945859677a0e5","datavalue":{"value":"BL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q993324$564F4FEC-3A07-4EB9-9895-B101963642A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0366dd319579349da14fdeff0d88dd87b917a305","datavalue":{"value":"canonical extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q993324$CBE52AFE-21B7-4AF5-A48C-2A0B6011C59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15f94e50be3d7e0265f970ebcb886062c4c4048f","datavalue":{"value":"Wajsberg hoops","type":"string"},"datatype":"string"},"type":"statement","id":"Q993324$A8A03C0B-1AE8-466C-8CBA-50E00C1C8628","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":"Q993324$1E1FA790-3FBA-4C33-BA13-A7945691F263","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5aa80772cbf82073882fef0c2eb7d3adec07a40","datavalue":{"value":"https://doi.org/10.1007/s00012-010-0055-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q993324$0D45F178-4E19-4E52-8574-A8E2E2113959","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93c7b7f5b15b8ef19e43fd8348a227431a0b298b","datavalue":{"value":"W1984350157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993324$9AC8B715-556D-42DB-B9A1-2071D1343CB1","rank":"normal"}],"P223":[{"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":"Q993324$058E1F7A-857D-4F38-91A5-FD91FB96AD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95f596d87616b4c45a125752dde08f3ba0a74cd","datavalue":{"value":{"entity-type":"item","numeric-id":1866813,"id":"Q1866813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$4E50F317-9A27-4B3A-BA34-5239FAE7091C","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":"Q993324$B32B7369-9ADC-41DC-A37A-F1636E55FDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1211838ede2458be27ca9319bec015caca3556d8","datavalue":{"value":{"entity-type":"item","numeric-id":2583574,"id":"Q2583574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$32EEA38F-8F89-48A7-AD8D-55AAB130E805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adff6b5f715b23b4c0e00712da1d3d0508770c22","datavalue":{"value":{"entity-type":"item","numeric-id":2577708,"id":"Q2577708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$BAE6A660-4258-4167-9A14-E8D7E35486B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8646e4d9d242ed5c9722ad1003334b4b2eacf6a9","datavalue":{"value":{"entity-type":"item","numeric-id":5480467,"id":"Q5480467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$CF605E6C-CCA1-490C-AC3C-22D145E296E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$D14C3F3C-33D7-4951-8EA2-1D2582BEC32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a5a8514c16b27cd5b5f9310f33915f3161eb75","datavalue":{"value":{"entity-type":"item","numeric-id":4512929,"id":"Q4512929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$BD8C587A-7E18-417B-B623-F82D266CE972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$E6636D72-4C6D-4777-A1A6-CD8D33285F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131e70300e3f8227ceafb7d0685319cdbb06e3d3","datavalue":{"value":{"entity-type":"item","numeric-id":5718685,"id":"Q5718685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$1C2C402B-975B-40A4-A5C9-C510F248277D","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":"Q993324$C33FB9B4-3402-40C8-B88E-4C3B3D2556A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$6AF005AD-AAA4-4472-AE23-853C20669001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6027f7e7caa3f9f4bec3d5352d5c5a0eccf91c9","datavalue":{"value":{"entity-type":"item","numeric-id":4313857,"id":"Q4313857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$FDB69477-DA09-4589-8B96-C5E08EF422BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2baa5b40d0d65db6efbf6823780a6d1ba73b285d","datavalue":{"value":{"entity-type":"item","numeric-id":4827039,"id":"Q4827039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$70129DC5-113C-4DEB-833C-7569502C431C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d383e43c520530f76fc2dda0b0eeae6d87f28a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4674829,"id":"Q4674829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$E8A163D3-C2E7-40E5-A64C-FDE8BD3B6B16","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":"Q993324$2C9D6A0B-6E69-4F93-ACC4-4646F62B091C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150d5a38251d435dbd79fe9ddb6282ff8380e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5571686,"id":"Q5571686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$D8D54C37-32B0-452D-82E1-19232349A4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$60E30936-1143-4362-A5A8-190236FD0A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667f50eea40093c03fa11514fe94ca499cc3034c","datavalue":{"value":{"entity-type":"item","numeric-id":998758,"id":"Q998758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993324$D0B6F43F-C363-4D33-8013-CB9C3708150A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b38175dc900daf56b66b29c7bd9e583d3ac21059","datavalue":{"value":"10.1007/S00012-010-0055-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993324$31BB9125-DCCA-48D2-9F37-790BF09B3083","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0268cf26dfc32b24017ff842bc1da854e7972608","datavalue":{"value":{"entity-type":"item","numeric-id":3632249,"id":"Q3632249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8dfedb2299c6e12fe2ca568744215d5534229b7","datavalue":{"value":{"amount":"+0.9101397395133972","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":"Q993324$6F49CDCD-4439-45EA-93D2-FFC91F5E86FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e6b0a20c197d4790d0b4a72465e255c55ce7b6","datavalue":{"value":{"entity-type":"item","numeric-id":4583679,"id":"Q4583679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9d73c67d3cb6cbdb1418b69f24590e1de1fc38","datavalue":{"value":{"amount":"+0.8308415412902832","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":"Q993324$58E5C5F1-F8AF-485E-AB0E-63780DA845D0","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":"60fd3b1ee8d0f23d418d899ac59401745103c26c","datavalue":{"value":{"amount":"+0.8052478432655334","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":"Q993324$30FE3939-75F6-4F7F-AC26-6FAFB1F23089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4482ccf16c3f32e7a73402102ecae07ff161381f","datavalue":{"value":{"entity-type":"item","numeric-id":1699741,"id":"Q1699741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0dceb76c6820361fd58ee98f5a6d878d6ad68c7","datavalue":{"value":{"amount":"+0.8051539659500122","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":"Q993324$288E2C63-A11C-45C6-831D-B3ED82D31B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004a73365b9b9c62be000554a0e1bcb8c3259fa9","datavalue":{"value":{"entity-type":"item","numeric-id":1790601,"id":"Q1790601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c8afe98b1fb80f87a16400d69291f7cb8f50e0","datavalue":{"value":{"amount":"+0.8026054501533508","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":"Q993324$57ECAEB3-E763-4103-9928-9E526B3CDDDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:993324","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:993324"}}}}}