{"entities":{"Q1101140":{"pageid":1111892,"ns":120,"title":"Item:Q1101140","lastrevid":66135438,"modified":"2026-04-12T07:46:52Z","type":"item","id":"Q1101140","labels":{"en":{"language":"en","value":"On atoms in the lattice of quasivarieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045814"}},"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":"Q1101140$99D0488E-F251-4271-BB05-A2E082CED278","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e21fb625c81c5d3d9eaef54f1465e55acef6d2b","datavalue":{"value":{"text":"On atoms in the lattice of quasivarieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101140$53A2C3BA-2B3F-4977-9F62-49640E7572D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52e9c1bbe9b1ec3e7ed8c5f277bb885c5df1c14b","datavalue":{"value":"0642.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101140$07B48045-F071-4E8B-9680-40FE79267C7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41fa865682dfc347f415b4ca9cd5170ccc96fa85","datavalue":{"value":"10.1007/BF01188380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101140$8DCC86DD-C526-4F0D-B407-A8FA5D7EDE6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89098eababd83875f79fea2b87e2f3eb9200540","datavalue":{"value":{"entity-type":"item","numeric-id":690108,"id":"Q690108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101140$375C0AA5-92D6-41D2-ABEC-09B049854669","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":"Q1101140$2C10F7B4-6E38-4447-B2A6-1269CE898588","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1101140$02306E61-BA4F-4BBA-B39F-8085D77D3CAC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb151f3653d2b7d78926945697930ea8cd6e6b58","datavalue":{"value":"A Q-lattice is a lattice isomorphic to the subquasivariety lattice of a quasivariety of algebraic systems. Every Q-lattice is join semi- distributive. The converse statement is false since every Q-lattice is atomic and its dual is algebraic. The aim of the present paper is to prove the following theorem: ``The join of a finite set X of atoms in any Q-lattice contains at most \\(2^{| X|}-1\\) atoms'', which allows us to answer the following question: ``Is every finite join semi- distributive lattice a Q-lattice?''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101140$E4163CF0-D317-4E92-A937-E9E38B8937A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101140$8F5D48B9-C5CD-4497-9835-DE387D0F9625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101140$B6E90AC2-9D8C-4B5A-9019-1314C43C7A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101140$3D40D1B6-8414-4746-893F-1DFD21E0FE0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c32da3a697b90bb4e4668d171cc2e1de4f4f8e73","datavalue":{"value":"4045814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101140$24B28004-A1E5-4D67-8016-D8BFC25CEAB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922dd5b5d3c3b4c11754bf29c76680dc7e535fce","datavalue":{"value":"finite distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101140$BEA8507B-C70A-446A-86E4-398E7F751E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"177a4b57b7a68b49265cc76e2ca3d58ba4c7b842","datavalue":{"value":"Q-lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101140$4ABCDF34-C42A-46A0-8BF6-41AE840A7CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b850ab1e8574560090161007de6347d31f685789","datavalue":{"value":"subquasivariety lattice of a quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101140$727577F7-D1C2-42F7-912F-9D5C924BC745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5b33f354f45ba97ebe5cc17236ae01ef2d2b38","datavalue":{"value":"atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101140$92C1503C-7593-4147-8AC8-ECBDAF26E8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45e7ea6f510de2f564b7b7755465b7415d6ee9b0","datavalue":{"value":"finite join semi-distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101140$FF5DF777-B850-4D95-BB2C-33A0565D051A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c93679e77d7e9ed0daa7be1aa9cc683868a1ac48","datavalue":{"value":{"entity-type":"item","numeric-id":587873,"id":"Q587873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101140$B843D84A-EB19-4C5C-8E0E-D03F2DF1CAD7","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":"Q1101140$59990277-168D-4838-A5DF-EDCE26EF991F","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":"Q1101140$E100CD40-86A4-4E11-A1A4-65298A525BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abdec9230c336f813089d54dce856d2c1ffb6d28","datavalue":{"value":{"entity-type":"item","numeric-id":4053721,"id":"Q4053721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101140$7665226A-5AF3-4D3F-99D8-120DF67D969E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49486bd6e3ee72f9ca03c6a479fb2fb490ff4475","datavalue":{"value":{"entity-type":"item","numeric-id":799718,"id":"Q799718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101140$B91026AB-ACF5-4A50-B81A-45EB6BFC9747","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3979f17ff02aef4ec94b36be2e144e9da10d2ff7","datavalue":{"value":"https://doi.org/10.1007/bf01188380","type":"string"},"datatype":"url"},"type":"statement","id":"Q1101140$5B0D16E7-4A54-457D-A678-8DC660342D24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f348e043604a6ec1fb20d2498b291a18db6a74ab","datavalue":{"value":"W1578310358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101140$AD120E48-029B-4BAA-87C8-7C22E60CAF08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00feafc6e1260705b347794786f9a762f4fd7e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4948583,"id":"Q4948583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72501532782997e277f46045cab91a93cab2893b","datavalue":{"value":{"amount":"+0.9587365","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":"Q1101140$E5FB6773-2F49-4F19-8B6C-E4B334BCA4F2","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":"124f7c8702e26870f9b9fdd1d80cf324662be15d","datavalue":{"value":{"amount":"+0.9409625","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":"Q1101140$30C46AAF-F814-4F5A-A73D-E02D6BAB37FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3aecf513e664edc6e165cb9bdfb784d0e71f9e4","datavalue":{"value":{"entity-type":"item","numeric-id":2986656,"id":"Q2986656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa48579ec42fd12bd2ba496fedc6b26c64d67c6d","datavalue":{"value":{"amount":"+0.9346718","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":"Q1101140$014012F7-1707-4D46-9BE8-FEA647C2CEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff4cf215ccfcd8f8e8d5de328d1b538af1246177","datavalue":{"value":{"entity-type":"item","numeric-id":4314800,"id":"Q4314800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a4e39b25fa92773a418db9fd252303db8898f1","datavalue":{"value":{"amount":"+0.93395126","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":"Q1101140$3BF60D44-B661-4439-8FDB-7EC54952A444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"657c8e7e12efdd628cc878598f7ea679a470d430","datavalue":{"value":{"entity-type":"item","numeric-id":1342130,"id":"Q1342130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d3009d38b81eb57f26add164d164212846f19f","datavalue":{"value":{"amount":"+0.9095939","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":"Q1101140$97B76AA0-773C-4490-A0EA-938101B36AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd2964a4d8ee8cff57a9db65ab8ef151febfad6","datavalue":{"value":{"entity-type":"item","numeric-id":3222893,"id":"Q3222893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37446d8f1034b5bdc66fa2986f9e2619419fef3b","datavalue":{"value":{"amount":"+0.90053725","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":"Q1101140$7EC93B49-F3CD-4CD0-9CAA-76EB497DB958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b6bbdb70e4a156b002b24a5abe8be6b703b075","datavalue":{"value":{"entity-type":"item","numeric-id":941931,"id":"Q941931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bfff740bce493e15f17b0aae55cd348fb059b4e","datavalue":{"value":{"amount":"+0.89506817","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":"Q1101140$3398617F-DFEF-4A05-9A6E-2DC3386642A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cd793ecce974827c3868ade48678f17cb8a9afa","datavalue":{"value":{"entity-type":"item","numeric-id":5928564,"id":"Q5928564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"482117036caa0eac8a252e9dd5e04277515e1691","datavalue":{"value":{"amount":"+0.89180136","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":"Q1101140$8DBF6DF8-E9B7-44AF-9EBB-A6F9E8C1B2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b8a89baf169b627597a0b09db7c87f2b00c794","datavalue":{"value":{"entity-type":"item","numeric-id":1652873,"id":"Q1652873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdab3a980f2d934490f97052870311ef2b13a16","datavalue":{"value":{"amount":"+0.88943946","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":"Q1101140$8A9C0636-4118-4AB9-B72E-539BE71B159C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c704cab90587b8f90ceb8b86d73f2df2124b1d01","datavalue":{"value":{"entity-type":"item","numeric-id":4175599,"id":"Q4175599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8f7a5e77334998e42a958726065690024f2ada","datavalue":{"value":{"amount":"+0.8891108","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":"Q1101140$6503AB6B-0CB1-4452-8398-701850B5B099","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On atoms in the lattice of quasivarieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_atoms_in_the_lattice_of_quasivarieties"}}}}}