{"entities":{"Q1812017":{"pageid":1822759,"ns":120,"title":"Item:Q1812017","lastrevid":73012893,"modified":"2026-04-14T09:23:09Z","type":"item","id":"Q1812017","labels":{"en":{"language":"en","value":"Varieties of BL-algebras. I: General properties."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1930178"}},"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":"Q1812017$9EEF675A-E3A9-48AA-A7C7-EB14FCDC7B83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb1b50a5b8c185b96990df307861e0f97fc94e7e","datavalue":{"value":{"text":"Varieties of BL-algebras. I: General properties.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1812017$17B01359-B86B-4D27-A394-FDC8E388C301","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa0b317b985472747e9bdd4b7f9bd659533eff62","datavalue":{"value":"1034.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812017$55E4B736-04E5-4DB1-AA34-D1D6CA462B72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6282314c042001e4f6052706f305743d0f6dd232","datavalue":{"value":"10.1016/S0022-4049(02)00329-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812017$C5A895BE-ED82-4A8B-B26D-51576E400B1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$04170FCB-8764-401D-8B7F-EEC6A9D302C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"037912fcd154cc3cb9ccc112c8bdc2657e26745b","datavalue":{"value":{"time":"+2003-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1812017$647983B8-FC72-4927-A6D0-250EB4CE7AA9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0867a1db69d4fbf39f6b124b664e302f584354db","datavalue":{"value":"The aim of the paper is to show some facts and techniques that are useful in order to describe the lattice of subvarieties of BL-algebras. An algebra \\((A,\\to,\\cdot,0,1)\\) is called a BL-algebra if \\((A,\\cdot,1)\\) is a commutative monoid and the following identities are satisfied: \\(x\\to x= 1\\), \\(x\\cdot(x\\to y)= y\\cdot(y\\to x)\\), \\(x\\to (y\\to z)= (x\\cdot y)\\to z\\), \\(0\\to x=1\\) and \\(((x\\to y)\\to z)\\to (((y\\to x)\\to z)\\to z)= 1\\). Some special cases of BL-algebras are introduced; for example a BL-algebra satisfying the equation \\(x\\cdot x= x\\) is called a G\u00f6del algebra. The results of the paper include a description of subalgebras and homomorphic images of totally ordered BL-algebras and a characterization of totally ordered BL-algebras that generate the variety of all BL-algebras and other results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812017$2CBE042C-4CF6-464D-96BB-FC2C5F173DE2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e1dfa1f8c0c090ff904ac9167d75774af966591d","datavalue":{"value":{"entity-type":"item","numeric-id":587991,"id":"Q587991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$4655768F-0C0E-487A-9125-C2F2F50B6195","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812017$B47E7F58-B6BB-4DEC-A37B-4D26EA0413AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812017$75A18A14-60A9-4A54-8447-D4F25D86B97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812017$ADFDABC4-8CB2-4C6E-B7F8-7FB49798AF90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcb38aa70734e92eab65e1f83af7514862188a53","datavalue":{"value":"1930178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812017$A059E6B1-9F05-4693-9947-802B36F4DDE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1052d5ad8d46db73a65608fc3f73bacbcd6d53a","datavalue":{"value":"varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812017$AE8C4C1A-85C4-4B10-B7DA-126B260D7BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a26c619f3c34107172c32ab1d29a17af19378d","datavalue":{"value":"order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812017$6F82CDD9-A543-4D63-BFA4-A8289922A834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5953bacab1a56e63f04b4c6d32795c581b64f0d","datavalue":{"value":"ordinal sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812017$8E39455C-EF4B-4CEE-B1C0-51654557B3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584579cf0910359cb9f947bbbef0d144f12b43b0","datavalue":{"value":"lattice of subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812017$36BF5A90-646C-49AC-B5E2-506B2A2EE77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a993c44ee7a170fe20ad50759945859677a0e5","datavalue":{"value":"BL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812017$E16B059F-2B7E-4F56-AC93-D0E252741915","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84297c5215b806900e2c55a691083e6708c2b134","datavalue":{"value":{"entity-type":"item","numeric-id":755898,"id":"Q755898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$73202E92-5030-4340-93DB-7B5DF43F6164","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":"Q1812017$22760258-F788-420D-919F-4BE40253390A","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":"Q1812017$76CF5F9E-EB5F-4BD4-8A21-A470E15F75B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f902d3579b21fc9c297608cd778240a9eb900a0","datavalue":{"value":{"entity-type":"item","numeric-id":4273433,"id":"Q4273433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$BF935A12-FED8-4542-9ECB-1EDB256C4336","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":"Q1812017$208BA400-C735-42CF-870D-408830B35DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b20004731eb077d1c8cedefc247638148aff988","datavalue":{"value":{"entity-type":"item","numeric-id":1342132,"id":"Q1342132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$7D711295-0ACF-46DB-A84F-5EDC53E50E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f3830183be386e8ec478d8357e11deae4a551c","datavalue":{"value":{"entity-type":"item","numeric-id":1355602,"id":"Q1355602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$28C5EE9C-DC92-4F48-B01D-B6D546B4863B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997744b17d1ed487c74981dc37b3271e77786200","datavalue":{"value":{"entity-type":"item","numeric-id":5574737,"id":"Q5574737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$61EEEF4F-30B2-4BEF-BD62-648F2D36CC2C","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":"Q1812017$66FD784D-7ACD-4570-8C07-E9A51BBF004D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$A3BE0141-3084-47E0-9D03-9C24E3E24862","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":"Q1812017$2A811013-3D01-4617-AADE-278A846AE341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c573c430e48cd728318c51ec2246b15adb972ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1965268,"id":"Q1965268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$B1CBF5F3-BDB1-454E-B9E1-BFB3AD546595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef0c81a90b171fc324219f0b8c01932f1d077ea","datavalue":{"value":{"entity-type":"item","numeric-id":4787877,"id":"Q4787877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$47397FCB-7BAF-4220-834C-024F9EB5AF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d008825d656dd8b4eaf648274dcd3c905025a59","datavalue":{"value":{"entity-type":"item","numeric-id":1306836,"id":"Q1306836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$BD2A204A-5C54-4733-B8BD-06703A24526E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b372db09ded8bd12394c63de73a17b340ac8a93","datavalue":{"value":{"entity-type":"item","numeric-id":798686,"id":"Q798686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$B9CEA51B-0824-4904-9966-0F19AF75D5B3","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":"Q1812017$CD70D004-0C8E-4C95-A335-4D9467B88BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598130dbbd88be829567dacf16f6afeb60bfdff9","datavalue":{"value":{"entity-type":"item","numeric-id":2544392,"id":"Q2544392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$41470119-79C5-42FD-9FA9-2725293DFE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dca4e376739e90cb915f405694b6ab7c37e738c","datavalue":{"value":{"entity-type":"item","numeric-id":773072,"id":"Q773072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$D4363836-34CD-49A4-B019-976B6666A1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4aae5b35a986d6160145a12879818eed4ac98e3","datavalue":{"value":{"entity-type":"item","numeric-id":1079157,"id":"Q1079157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$FA139231-2874-4F08-A774-F62D0688F720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b35a59f65d31283c4fb32b760ff1da661b24e1","datavalue":{"value":{"entity-type":"item","numeric-id":4443424,"id":"Q4443424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$063C0673-538D-40E3-8E31-315844DF8564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5137c62e085c08f28c92c267ac6b1490f6fe8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4315320,"id":"Q4315320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$D9254600-38A0-45A8-A36B-BBE35BD61143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3960d9020ddfbde8603e15a632b561e0681f5fc","datavalue":{"value":{"entity-type":"item","numeric-id":1319053,"id":"Q1319053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812017$801EF4FC-2621-4645-AFCF-18227D95C519","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c482057a69d6567942005b590628f25b84c92b9d","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(02)00329-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1812017$196D8D12-753A-43BE-9BE1-E07BB89DE0C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a913fb965f8cd177bd4c9ce0f88331cf65a5c31b","datavalue":{"value":"W2098994964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812017$B8B48F73-504B-4E55-9518-3500F6708762","rank":"normal"}],"P1643":[{"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":"abd09159c8def91a750ac179a56ddd7c34f31341","datavalue":{"value":{"amount":"+0.8737529516220093","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":"Q1812017$C8BDA378-D0B9-4A22-B138-9DDB7C68BB36","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":"077f78fc1395f5ffaeb752a1e36f2787525b54f2","datavalue":{"value":{"amount":"+0.8541853427886963","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":"Q1812017$59C5F954-773C-4A22-A64F-907C9CD0B6B7","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":"1a48d985e4cec457f1e5baee1a4fc91827f4ee14","datavalue":{"value":{"amount":"+0.83994060754776","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":"Q1812017$3F337B3B-30B8-4016-9891-9B7783FC660B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c5d11c98a907cfd009c413afc6537ff05774785","datavalue":{"value":{"entity-type":"item","numeric-id":2049269,"id":"Q2049269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01bd33dd5f61a7f8b3ac92e882730f04f38e2b3c","datavalue":{"value":{"amount":"+0.8398571014404297","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":"Q1812017$1A1A8E64-05BA-489B-AB4E-29A37B78BD54","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":"3a5ba2dd8dd5e9c7d0c31d381240aedc2e8b0b80","datavalue":{"value":{"amount":"+0.8341313600540161","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":"Q1812017$E1AE5F54-D44E-424E-8420-3B321D7F5527","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties of BL-algebras. I: General properties.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Varieties_of_BL-algebras._I:_General_properties."}}}}}