{"entities":{"Q922575":{"pageid":924423,"ns":120,"title":"Item:Q922575","lastrevid":65434974,"modified":"2026-04-12T02:34:04Z","type":"item","id":"Q922575","labels":{"en":{"language":"en","value":"Equational closure operator and forbidden semidistributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168754"}},"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":"Q922575$DB41B669-4053-4440-A235-75B8F8475897","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b4a03dc04ad7a887124f0ecf9c6b17dc2314e17","datavalue":{"value":{"text":"Equational closure operator and forbidden semidistributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q922575$8DAA06CA-49C8-4EB4-9A56-2683E9C95F5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db4a5c99f6338d185f3e861d4afb1ead9a2d90b4","datavalue":{"value":"0711.08013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922575$8BEB1D1F-AEF8-4F78-9155-5995F3451572","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"455562d65055bf498f8ec59d53309faa5dae0f3c","datavalue":{"value":"10.1007/BF00970904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922575$ED6625B1-DFB3-40DB-907C-E5042B58F954","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28f542c590689b7db9e238ff6636ee04500855c3","datavalue":{"value":{"entity-type":"item","numeric-id":922574,"id":"Q922574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922575$79EED5C7-1362-4424-8331-1F7D6203186D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"671d6252e10d234fe158e63fa05ca36668141196","datavalue":{"value":{"entity-type":"item","numeric-id":790863,"id":"Q790863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922575$400886BE-EDC2-494D-BCEF-A030B5AF2851","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922575$56F05EC0-749E-4499-B672-5905B1295033","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q922575$3FFD487A-94D0-48E7-816B-DDF798BA387A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37de5193b4cdc7af81edf32ac7fed9bad1a94815","datavalue":{"value":"Let \\({\\mathcal S}\\) be a quasivariety. A subclass \\({\\mathcal R}\\subset {\\mathcal S}\\) is called an \\({\\mathcal S}\\)-variety if \\({\\mathcal R}={\\mathcal S}\\cap {\\mathcal V}\\) for some variety \\({\\mathcal V}\\). Denote by \\(L_ q({\\mathcal S})\\) the lattice of all subquasivarieties of \\({\\mathcal S}\\). Let Q be the class of all lattices of quasivarieties. The author found some new property of Q-lattices which implies the known Dziobiak's property. It is shown that the operator on \\(L_ q({\\mathcal S})\\) assigning to each subquasivariety its equational closure in \\({\\mathcal S}\\) can be axiomatized and that every coalgebraic lattice is isomorphic to the lattice of \\({\\mathcal S}\\)-varieties of some quasivariety S. The authors characterize ordered sets whose lattices of convex subsets are Q-lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q922575$69CC18EB-E64A-49CB-9AF8-F02CD5BAAB35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922575$3AE60AFD-151A-4D2D-ABD5-CCAC222279D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922575$2ABABF3A-7044-4389-B104-3F6EFD773BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922575$A37E32A2-BCAE-413F-8F52-2E5A6A9FCBD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70101cfc4881bd1345fc98d9e148ba5f8990fbb3","datavalue":{"value":"4168754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922575$C7A45E54-B25E-4F8F-AF05-46AD3673F768","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q922575$F6F2099E-6375-4F32-B6C4-119B67C209FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4226fc35aa62f74959ceca2f1b62614f7d9168bb","datavalue":{"value":"lattices of quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q922575$BACC7F8A-C55C-45F8-B297-1A75F4C2AACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec72b248a03f03201c68920f66553296ed3fdf8","datavalue":{"value":"Dziobiak's property","type":"string"},"datatype":"string"},"type":"statement","id":"Q922575$4031268B-E048-4C28-A58A-DE623F4E22A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f54bf36695c67e693980fdcf23a7155ec8c9a976","datavalue":{"value":"equational closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q922575$A373E652-CE3B-4F7F-B510-B9139C3304A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68d52fc14adf9b65fe4b0187078a78b35862e8e6","datavalue":{"value":"coalgebraic lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q922575$9C2D9507-EDE0-4131-9094-D5731A5C6772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c996d9f82554550644866f2e38610a47477c2e0b","datavalue":{"value":"lattices of convex subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q922575$21701AE7-A5BE-438D-ACB4-79F9BBAFEC4F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922575$4C58A5FD-6C8D-44D0-B333-95E5A712AB1F","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":"Q922575$DE2FED76-21C0-448A-B951-0CBA3CBC6BC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a610bc1bf0fec7f50d96f8e16fd50589c03d066c","datavalue":{"value":{"entity-type":"item","numeric-id":4132572,"id":"Q4132572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922575$32A1669A-F0E0-44CB-9969-789B0A94619C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0f0485b6aa16262c1c04442cee8ec03470805d","datavalue":{"value":{"entity-type":"item","numeric-id":1101140,"id":"Q1101140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922575$1DE1FD35-E356-46A9-AB43-62E4C85D880B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845f5259d118402fce789dcd5890ee1a17bb585a","datavalue":{"value":{"entity-type":"item","numeric-id":1083465,"id":"Q1083465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922575$B4E52587-CC6B-484C-BE64-24B1B189DF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922575$ED10AF13-22C4-4475-88A7-D81744524515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e241ab1191c2a5db3428bcc293282a5898133266","datavalue":{"value":{"entity-type":"item","numeric-id":1159761,"id":"Q1159761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922575$63D99842-D61D-4E8D-A175-7A5DBAC6D4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36a7bb41afdb60617f3a3c9a6a2037590f844926","datavalue":{"value":{"entity-type":"item","numeric-id":3963056,"id":"Q3963056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922575$B82602D1-ADD9-4823-94B0-19610C53BCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dde4aee40dc84cf4c7fbd58c5f1842e4652e74","datavalue":{"value":{"entity-type":"item","numeric-id":4078085,"id":"Q4078085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922575$BC86BFF7-BFC4-40D4-9794-33A219E4CA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f91168bc1bb3073a14223c8358662aef5b9bb4e","datavalue":{"value":{"entity-type":"item","numeric-id":1074609,"id":"Q1074609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922575$E6BCD3F9-E1F1-4302-842B-A6C94DC8C8ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5a810e5205645169735f83564a0bf25ab1857a1","datavalue":{"value":{"entity-type":"item","numeric-id":1652882,"id":"Q1652882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55cd468e6f0fde4619eb73af9176ae7ee33bfa3f","datavalue":{"value":{"amount":"+0.8646167516708374","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":"Q922575$BA9AE8EB-CC19-4CB8-8DF7-9FBC1B9C380A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c498572aedf7b9983ecd561bb3d0606bebbedd","datavalue":{"value":{"entity-type":"item","numeric-id":4902684,"id":"Q4902684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85d0e117b405e3a905b05ae80503117980f109e","datavalue":{"value":{"amount":"+0.8310896754264832","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":"Q922575$C71BBF23-3F67-43E9-9E69-52F8321D5C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a259d4bfff62d56addf6b917fe3c126c6458b028","datavalue":{"value":{"entity-type":"item","numeric-id":4713153,"id":"Q4713153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f295f54550a906fd4253d1ee528bc288390bc039","datavalue":{"value":{"amount":"+0.8191452622413635","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":"Q922575$75ED2214-9B76-41E8-85FD-298CD9EEE32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1538706414d73a6855b64baea6a6e1f99f1bf383","datavalue":{"value":{"entity-type":"item","numeric-id":2974302,"id":"Q2974302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ab27ea4b57ae9a5850b43a18ed816e72602eba","datavalue":{"value":{"amount":"+0.8162579536437988","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":"Q922575$AC62246C-62A8-47EF-8BBE-692405A46135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e963cb0a83d7e04b74c00cc5c4579c63ca0534e","datavalue":{"value":{"entity-type":"item","numeric-id":4902685,"id":"Q4902685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155914736cc1ae6f60e1aed53e255de5a034163d","datavalue":{"value":{"amount":"+0.7984978556632996","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":"Q922575$2188138D-E7E3-4EB2-B0ED-19B3F8D6CA87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational closure operator and forbidden semidistributive lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_closure_operator_and_forbidden_semidistributive_lattices"}}}}}