{"entities":{"Q1193500":{"pageid":1204249,"ns":120,"title":"Item:Q1193500","lastrevid":66822930,"modified":"2026-04-12T13:06:11Z","type":"item","id":"Q1193500","labels":{"en":{"language":"en","value":"Semicomplements in lattices of varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64761"}},"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":"Q1193500$901863A9-8B3A-4B22-8B37-3A243B7B1817","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f43d393091135bbe132283f12b9364219371cda6","datavalue":{"value":{"text":"Semicomplements in lattices of varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193500$45B633EE-77D8-46AF-B1A8-85A38B5E8B7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebcef822b1383871e3449c39b83c7ee552e74a8c","datavalue":{"value":"0776.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193500$BA8C3FF7-2BC2-4A03-8866-03B58599D4A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bcc8290d9db5436ef237aa877e8b2dbac3f29fd","datavalue":{"value":"10.1007/BF01190608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193500$1B90F5EB-C785-4822-B7EA-AAB10E62AF2B","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":"Q1193500$A0E9F4F4-5A08-4C77-B2FF-80E84D792DAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193500$D5A510B7-77DA-48EB-BE80-C58B10EB046E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af66af4fcd58cca28d2ea3cb1ddc253ba71957bc","datavalue":{"value":"A lattice \\(L\\) with 0 and 1 is said to be upper semicomplemented if, for each \\(x\\in L\\backslash\\{0\\}\\), there exists \\(y\\in L\\backslash\\{1\\}\\) with \\(x\\vee y=1\\). The author and \\textit{M. V. Volkov} [Izv. Vyssh. Uchebn. Zaved., Mat. 1982, No. 11(246), 17-20 (1982; Zbl 0512.08004)] have asked whether every upper semicomplemented lattice of subvarieties of a variety of algebras is complemented. Here this question is answered in the affirmative for locally finite varieties of finite type, congruence- modular varieties, semigroup varieties, and several other partial cases. Recently, \\textit{V. Diercks}, \\textit{M. Ern\u00e9} and \\textit{J. Reinhold} [``Complements in lattices of varieties and equational theories'', Algebra Univers. (to appear)] answered this question in the affirmative in the general case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193500$E232F706-548E-4B8D-A617-87D9FA4144F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193500$507B6C89-427A-43C3-B8CE-A469C009D96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193500$87E2A620-C93C-4E93-806B-830F844F50DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dedc66f62f953097764315f902994a9c7b1965bd","datavalue":{"value":"64761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193500$8EB64159-9CE1-4EAA-9567-5B3FBAFF2FBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c84702a3ee51a5b006233be738ce76295837e825","datavalue":{"value":"complemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193500$181B9378-3285-403F-91F4-849D505D4100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e399bd6ccc04132bd4ae28d9b5b6e230d88eea9e","datavalue":{"value":"upper semicomplemented lattice of subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193500$FEBD9846-7A75-40C4-9BF6-64913F8BD8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"247a9848415ff1b5bd6b5928a313247c4ef0a22a","datavalue":{"value":"locally finite varieties of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193500$1AB0FA60-8891-44E8-98CB-06464EFA1224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87bc69f70b6401a1c6c361fba78bbf39d79e23b2","datavalue":{"value":"congruence-modular varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193500$80893EF5-ABD9-433E-ACD1-ECFB3E3A882B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aa39a453056bf57cb855f01b7554092a313eab","datavalue":{"value":"semigroup varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193500$9FA1E52C-001E-409F-B3C6-B2BFEC86B7E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6039a4b990757a47677be3d64819ea6dc9307212","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193500$D8E6A42A-E09B-40AC-8640-DDAC11BF6158","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b14ac833afc72247aace02692250d7eb69a8515e","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193500$5F45FB47-685D-4322-A5E0-F810F5A8D45D","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":"Q1193500$9EF8EE5B-0EA4-4B3D-8C47-8871D98807B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a29da93c5c84efe7d6b531382d8754650481c1","datavalue":{"value":{"entity-type":"item","numeric-id":5539764,"id":"Q5539764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193500$B7A0EFA8-4C0B-4A31-8EA5-F35AED8A5E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3276fa1114b8c4b98812cd499a6a4dd6a39916","datavalue":{"value":{"entity-type":"item","numeric-id":5631147,"id":"Q5631147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193500$08783D58-C437-4616-AE5A-23503C436099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ecb793918faa2093362b244a24ccffb91bc6de","datavalue":{"value":{"entity-type":"item","numeric-id":5631148,"id":"Q5631148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193500$D39425FF-4A11-4A5D-ABED-BCDCCFDA446D","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":"Q1193500$7566BAEF-3F31-4C09-A9BF-061890A658BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e3565404a0cf6e73ec3ab4051faa7fe61567fe","datavalue":{"value":{"entity-type":"item","numeric-id":4750700,"id":"Q4750700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193500$09FC0888-8B19-45FD-9259-D3533CDDF8D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e840bcfd579f8bce7858ee88b5c14f5b2f00084","datavalue":{"value":{"entity-type":"item","numeric-id":735936,"id":"Q735936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88555a7f96d6f72f11fc865ee7b1b33f234c1a9","datavalue":{"value":{"amount":"+0.94863105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193500$CD38377D-2214-47A7-8973-5C6887550595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c686879f6bc4577a06dcc8956b14bdf1ec8e4d","datavalue":{"value":{"entity-type":"item","numeric-id":3746022,"id":"Q3746022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcdc5e1955ccf0ea5762d4c8124ce14d576ee8f5","datavalue":{"value":{"amount":"+0.94143844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193500$C10BA9D9-B728-4A5E-9AF2-45B2C9CA924B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723c8260bc5826cd64622108965529bdf1ed46d8","datavalue":{"value":{"entity-type":"item","numeric-id":1066281,"id":"Q1066281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b09039dc54b144afa30c959cf06506395991de","datavalue":{"value":{"amount":"+0.93965274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193500$79DD5BF1-91EE-4FD3-B0C2-8205C14ADB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"068f01a2417c0658a1c54041a3a80a305bb2e9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3487647,"id":"Q3487647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf672d8b969e893b21edbc6a3c7896dbc46e48e9","datavalue":{"value":{"amount":"+0.9375546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193500$6FD5CDCD-A088-4659-88B7-039FAAAED5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a40528c39ac10e8c450ac3c5a1f185a92b0b7e2c","datavalue":{"value":{"entity-type":"item","numeric-id":332072,"id":"Q332072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148d3ae1126c901f74d0a52d1cd2596168bda38f","datavalue":{"value":{"amount":"+0.9343509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193500$D1837A85-2C71-40F8-8758-200E2209F46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ef4b6c1dadd73497e9c85388ddede64ce757a5","datavalue":{"value":{"entity-type":"item","numeric-id":5618408,"id":"Q5618408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b2111874f34909be76e7745c7f9a4c90e31a72","datavalue":{"value":{"amount":"+0.93358123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193500$E7000AFE-D40A-40B3-BBF4-115D4FA9B635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddec74c4f90e4becf2470c6cd42f0643b26305cf","datavalue":{"value":{"entity-type":"item","numeric-id":3689225,"id":"Q3689225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3f999adcdab8f4592933361ee88697db11f803","datavalue":{"value":{"amount":"+0.93101966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193500$A052F337-A82D-40F8-89A8-340AF9C66F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66124f67b8446643cb5cbec9138173d4aa49eeb7","datavalue":{"value":{"entity-type":"item","numeric-id":4031107,"id":"Q4031107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4baf126a3ea2463e32d83b47adfc12a5ed9723","datavalue":{"value":{"amount":"+0.9299349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193500$D1C8BF06-BBA0-4FFB-9701-5A488F354495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616c7ad138414eed55ba5959f9ce2b8aa65f7758","datavalue":{"value":{"entity-type":"item","numeric-id":3767513,"id":"Q3767513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37e2db5195caaf8af98ef7627450332ddf4b437","datavalue":{"value":{"amount":"+0.9299128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193500$87669675-F766-4B4C-B12F-3E3B57A97EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"214a7af904a166d2dfb05d6b34af49d79f301b1c","datavalue":{"value":{"entity-type":"item","numeric-id":3322298,"id":"Q3322298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37e2db5195caaf8af98ef7627450332ddf4b437","datavalue":{"value":{"amount":"+0.9299128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193500$36E05C1F-4E79-4DC7-B805-173FE1887B4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semicomplements in lattices of varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semicomplements_in_lattices_of_varieties"}}}}}