{"entities":{"Q616628":{"pageid":618404,"ns":120,"title":"Item:Q616628","lastrevid":63326919,"modified":"2026-04-11T12:07:44Z","type":"item","id":"Q616628","labels":{"en":{"language":"en","value":"Bounded lattice structured discriminator varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5835010"}},"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":"Q616628$7EFE632D-6B20-4CA5-BAA9-8522A4847105","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de64b5c69cbc2640c8411663c3fe91db28bfa61c","datavalue":{"value":{"text":"Bounded lattice structured discriminator varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q616628$AA16836B-7598-4C3A-A46C-E3DA1877AB7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"727164a5e096abe77c598dba1dfd3e55b11cbf73","datavalue":{"value":"1213.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616628$C7DEF466-614C-444B-BBFA-F24143EA1C41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30fd3707e641f02dbca465e142d7662d1cca2181","datavalue":{"value":"10.4171/PM/1874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616628$30B8B173-2E8B-4F0A-BACC-C218CEF53110","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5776ba1d4e6c5b17d31b45b7530d47709c6bdd1","datavalue":{"value":{"entity-type":"item","numeric-id":209019,"id":"Q209019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$C0C7D6E3-7AAC-41CD-9D78-33E1B68A48F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0da1cb3a9fbcb78801361ca630307ed2635d6e0","datavalue":{"value":{"entity-type":"item","numeric-id":209011,"id":"Q209011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$B074F26F-12C5-4207-9185-E7213612D345","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"116fa09142602a6e0facf41839050cbb16a96129","datavalue":{"value":{"time":"+2011-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q616628$AE4C3758-DA8B-49C8-BF40-E948C04BD47C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1d65e0145bc55c657765c3b0725812d4b7efd91e","datavalue":{"value":"The paper deals with bounded lattice-structured discriminator varieties, i.e., discriminator varieties \\(\\mathcal V\\) interpreting the variety \\(\\mathcal{L}_{01}\\) of bounded lattices.  The main results are as follows: {\\parindent4mm  \\begin{itemize}\\item[{\\(\\bullet\\)}] Discriminator varieties \\(\\mathcal V\\) are characterized by equational conditions on a binary term. \\item[{\\(\\bullet\\)}] A discriminator variety interpreting \\(\\mathcal{L}_{01}\\) which is interpretable in every \\(\\mathcal V\\) is described. \\item[{\\(\\bullet\\)}] Four special unary terms for a variety \\(\\mathcal V\\) are derived from a special binary term: a term defining an existencial quantifier, a term defining a universal quantifier, a term defining a weak pseudocomplementation, and a term defining a dual weak pseudocomplementation. All these terms determine in any algebra the same subreduct which is a Boolean algebra. \\item[{\\(\\bullet\\)}] The Boolean subreduct \\(B(\\mathbb A)\\) of an algebra \\(\\mathbb{A}\\in \\mathcal V\\) is isomorphic to the lattice of principal congruences on \\(\\mathbb A\\), and it determines all congruences of \\(\\mathbb A\\). \\item[{\\(\\bullet\\)}] A term operation of weak implication for any variety \\(\\mathcal V\\) is considered and the deductive systems relative to this operation are characterized.  \\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q616628$2939AC44-7433-43E5-96A3-BCADA2CCFA41","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$7ACD58E8-5936-4EB6-A3B8-FADD0C3BDFC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616628$C54BE242-1878-46A1-ABA1-27453A9308EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616628$5CE379ED-1F3A-429F-83AD-79FBA0890D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616628$65D620F8-DAF3-410F-BB1B-3429FAF3F1D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e62545c8a078dcddf19c3cf46036677e13a8130b","datavalue":{"value":"5835010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616628$9A24F3AE-E853-4AA2-82D0-E8A72424D599","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q616628$6931B01B-3804-450F-A3F8-0978CDA5B3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5ac6f00dd6cadbe0e6ea4e5399555a790cecf03","datavalue":{"value":"equivalence of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q616628$1F23CE83-24B2-4C07-9B61-6DFC9DAD24AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q616628$18F3FAEB-4E60-4A3A-9EA1-5724861E02C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492b82c5296cf6c6eb3130421ea4de2c0f14c83b","datavalue":{"value":"pseudocomplementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q616628$CDB14A0B-637E-4452-A028-31CEB154FEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de374fe1245fb0c2da25c4712063d2b21325cb2c","datavalue":{"value":"Boolean subreduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q616628$37DA8884-51EA-4468-98F1-FCC0DC088401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75448e81b974862b020be58eaf8c5553e27d9a0f","datavalue":{"value":"weak implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q616628$C7D6AE5B-1340-4929-83BC-E9FF90BCDDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q616628$2CEEBCCA-3216-42C9-B045-FF1D01E6FC24","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":"Q616628$B8C89816-289A-4A02-8D94-0CF96AABE8CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$3FF691E5-D5C6-4ACF-9E39-CEBDF95594C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd485ff8b6773a56443a2e4c5fe3d4208207165","datavalue":{"value":{"entity-type":"item","numeric-id":1188578,"id":"Q1188578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$C3921E16-372D-48A7-8F3F-BF6CDABE2CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610e52faf72b688c3bd84b1dd432e513e77092bc","datavalue":{"value":{"entity-type":"item","numeric-id":1190748,"id":"Q1190748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$0DD24C57-D615-444E-95BB-1A02015FD552","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":"Q616628$5A6235CB-0A2D-4EC5-BA0D-CEFA708857A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b14262c53b2737038c1a1100eac36a1d6ebbb6","datavalue":{"value":{"entity-type":"item","numeric-id":4807556,"id":"Q4807556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$B9D81F7F-72D0-4013-AEDB-964A94E2B30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab1bf9fe5dc5f2a3e061310c395bd42251ae663","datavalue":{"value":{"entity-type":"item","numeric-id":4395646,"id":"Q4395646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$E08FB50F-DF7B-4E88-87AB-21FBA6E18B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"853988daddf0b96d1066a178b7216f3443006342","datavalue":{"value":{"entity-type":"item","numeric-id":5613920,"id":"Q5613920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$AB529617-6826-49C3-B71B-631996BB4116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57be6e3c541366f4eb9f6f2d02c428d11f5e354","datavalue":{"value":{"entity-type":"item","numeric-id":1185078,"id":"Q1185078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$A91E356D-A19D-4B6F-97FB-1E5500F16647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db58439427ab1ba12d4da6ccf17f8e35fef7ff7","datavalue":{"value":{"entity-type":"item","numeric-id":1180700,"id":"Q1180700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$CF85AC43-BAA5-422E-B454-8DE5D3E28BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b44440b5e792fb2b39478b7bdd808e774506b45","datavalue":{"value":{"entity-type":"item","numeric-id":4025819,"id":"Q4025819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$9B70AC85-7642-41BF-8FA4-9B3C18B2A2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85438f12b2728ba9c19aea71f3be4f00937583b1","datavalue":{"value":{"entity-type":"item","numeric-id":3347940,"id":"Q3347940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$6AE22A38-9967-4C94-B26D-04C575979589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$84155209-914F-4EAF-B0F6-394A45981AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d55ceb688c679ae04421f58521735474f069e98","datavalue":{"value":{"entity-type":"item","numeric-id":3259695,"id":"Q3259695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$B119C375-9B15-46FD-9040-7E4818FA0698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312714af211b13f03cc4077e9c88b657ec75edb1","datavalue":{"value":{"entity-type":"item","numeric-id":4856909,"id":"Q4856909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$4889A92E-CD22-441A-8B25-ECF27053984C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6e682195c61a57c83d215346a2d04dfdec5cab","datavalue":{"value":{"entity-type":"item","numeric-id":5187281,"id":"Q5187281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$37A8F0E1-543D-4E5B-9C3D-698418627514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c386b079b04f5b83acb3f1fa0cc456bba1f6ce","datavalue":{"value":{"entity-type":"item","numeric-id":1059074,"id":"Q1059074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$6E87389A-0527-4FC7-A072-49C2E55BA0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfde78f73cd4ff340b10ef5b040429cdc807915","datavalue":{"value":{"entity-type":"item","numeric-id":4075454,"id":"Q4075454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$ADD31BF7-CFF3-442A-A4D2-3580079D7492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$63079060-3D8D-40E2-A626-0B364D8206E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc407297c52090de603378237bacb8fe170dae2","datavalue":{"value":{"entity-type":"item","numeric-id":3705494,"id":"Q3705494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$841EDF7E-9753-4726-B40A-CC6130CE2925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81be1bb283e8f7828e6f52594e8bd25836e71d3c","datavalue":{"value":{"entity-type":"item","numeric-id":2541690,"id":"Q2541690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$DBFB932B-1EFD-49D3-8D56-12301659D8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae30190cefe10ee396be74ecf9fa76cb69b0c8a","datavalue":{"value":{"entity-type":"item","numeric-id":5946168,"id":"Q5946168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$FD9E172F-1EA3-4F7C-8C4C-D46565606F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da04a32e468ce4867ec594afa1765b999c151299","datavalue":{"value":{"entity-type":"item","numeric-id":4152589,"id":"Q4152589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616628$E296B62D-1971-48BE-994C-0E492CEB1142","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf5bfbe3cf4edc9e08e951e456c243f6606bb151","datavalue":{"value":{"entity-type":"item","numeric-id":5933428,"id":"Q5933428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a5af575b2430f29c5ff6057308ad2bad12a176","datavalue":{"value":{"amount":"+0.8148812651634216","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":"Q616628$1CE61723-2D8E-4CCE-B8C7-165F26B378C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc472a22850bfd94a11b9c69ad549d96e345344f","datavalue":{"value":{"entity-type":"item","numeric-id":1905994,"id":"Q1905994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a108190d9168f193caf97be8b52906a8ef25e030","datavalue":{"value":{"amount":"+0.7972499132156372","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":"Q616628$B3EE7AE8-B349-4953-9502-6FAF37599FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35abad4aa2de4b5e8f9d9d2ec1270abf7abc02ff","datavalue":{"value":{"entity-type":"item","numeric-id":5170143,"id":"Q5170143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8f7db4361157a7f50abcf5b6815cca17eef15a","datavalue":{"value":{"amount":"+0.776421844959259","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":"Q616628$F5B5731F-545A-4526-8400-3688DBA8B493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff318a766c90ff70681b5c763d883b5de421ef1","datavalue":{"value":{"entity-type":"item","numeric-id":4523186,"id":"Q4523186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4789b8cb02f3852fa2d9ce05edf93c758d39d1ff","datavalue":{"value":{"amount":"+0.7699264287948608","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":"Q616628$69B8FA66-889F-4600-9135-FE6CCED1FC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97701ceac653b811d9cb3dc1e73a22d4a11cafb","datavalue":{"value":{"entity-type":"item","numeric-id":1935561,"id":"Q1935561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c5837ae2d1038424292b742e5ba980b0dcca9f7","datavalue":{"value":{"amount":"+0.7645930647850037","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":"Q616628$A1ECB4C7-5BA7-496E-96A3-46D8A44EE5D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded lattice structured discriminator varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_lattice_structured_discriminator_varieties"}}}}}