{"entities":{"Q5925810":{"pageid":8102612,"ns":120,"title":"Item:Q5925810","lastrevid":41580656,"modified":"2025-05-06T01:44:36Z","type":"item","id":"Q5925810","labels":{"en":{"language":"en","value":"Covering relation for equational theories of commutative semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1566979"}},"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":"Q5925810$78FB4F2C-0122-4CE7-AAFD-C32F0B60A6AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3957da2de3037fc1c5bf68be36ca1124c2286c57","datavalue":{"value":{"text":"Covering relation for equational theories of commutative semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5925810$897D10C8-F03C-4E73-B32A-AFD9A83C6774","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e1c9df7e3f32dd76277be0ffb55c0871951904e","datavalue":{"value":"0970.20033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925810$427A55EC-FE17-4DDC-BAEA-000EE5F142B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c24d1459156164480396e1a4258c2595759a4c5","datavalue":{"value":{"entity-type":"item","numeric-id":161611,"id":"Q161611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925810$C0F240C8-9D17-4EA5-A171-13C7169D3995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abbee602f10dfd485b9c86471b2bd23b957c2ed4","datavalue":{"value":{"entity-type":"item","numeric-id":490319,"id":"Q490319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925810$ED6CE65C-BA7D-4D29-B785-D011759E3642","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925810$EDA9A750-BFA4-4CF4-B6FF-E2ABD94B1E9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c37c3249990a784c17752a81c2a2ad74923736","datavalue":{"value":{"time":"+2001-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5925810$06266C5A-18BE-4F9A-A5A8-D7547E0F469C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925810$735E1839-60C6-4A0D-BA74-72656EB50BF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925810$4D2D8F00-A5FA-43F6-A1AD-46EB6A5120C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925810$87CF02D0-FB7C-4485-AC01-8D6ACF74143B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925810$DDD9D231-F21F-4C50-8191-089BF102B442","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95942a03abc64396614971c542009659936cad4e","datavalue":{"value":"1566979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925810$D7127691-D460-482A-88BA-6FFB469E8B07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d7701dd6ba516273ce8129d1555f3bdc7775482","datavalue":{"value":"covering relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925810$1E0226A8-D23B-4C8B-AC62-EF521C7A509A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9514532446ae8923944a80d624dd18da89c6659","datavalue":{"value":"lattices of equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925810$3511B30B-C347-4BA8-9BA8-865DA6174019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"887a11ad82083dcee3f423989049c50670017e21","datavalue":{"value":"lattices of varieties of commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925810$7F102450-D5A5-4EDE-AB49-BD4FE73D80AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db45778496e1d64a0dec8cec2243f89825524aa0","datavalue":{"value":"dual covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925810$FF516B09-7C4C-4A22-A12F-9CDACF730432","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":"Q5925810$1869BBE8-16FC-41EA-A7B5-3845E318CCBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc7145387d90f07febbed7d372966060d06a24a2","datavalue":{"value":"https://doi.org/10.1006/jabr.2000.8383","type":"string"},"datatype":"url"},"type":"statement","id":"Q5925810$B4D15668-91AA-44F5-967E-C8C25CE36C35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42dd750e6434fd7a2b0ff17f7d576978f043e72e","datavalue":{"value":"W1997945412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925810$CDA9059B-ABB0-4AC2-9409-9294D1D4F3A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb685d0ec4c76888281f0aa434d4d30778f4592","datavalue":{"value":{"entity-type":"item","numeric-id":2549339,"id":"Q2549339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925810$C3D99E78-2416-4DB6-BB04-262B13094FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64e14f6bfac5f4444249bc08d1704ba4f8edc7","datavalue":{"value":{"entity-type":"item","numeric-id":4292747,"id":"Q4292747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925810$A7C7AEDE-DCA5-4C2B-A4BE-C43B70CA74C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edba1cfc0057e342627e2f7774ee382c5c7b3e71","datavalue":{"value":{"entity-type":"item","numeric-id":1168435,"id":"Q1168435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925810$D1BE8AB0-F04A-4118-9DDA-402E134244BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2519f4fa4c437507ab27d8bd46bf11804b7718","datavalue":{"value":{"entity-type":"item","numeric-id":1838506,"id":"Q1838506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925810$40009236-1B6A-48AA-A202-7730926B278F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db169a6d1f0b881726a06dd8bfe4541743c0df8c","datavalue":{"value":{"entity-type":"item","numeric-id":5574742,"id":"Q5574742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925810$B842F2A9-A1D3-4C45-9614-E09FB5ECFEED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06584caaefb12e9d996e5efca0d391813906027b","datavalue":{"value":"10.1006/JABR.2000.8383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925810$6690D52C-CE21-49A1-BB8E-1CD3B3F7E26E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"94f4f7338dfac16573465d5ca326c0226ee7e53e","datavalue":{"value":"The purpose of this paper is to give an effective description of the covering relation in \\(L(\\text{Com})\\), the lattice of equational theories of commutative semigroups which is dually isomorphic to the lattice of varieties of commutative semigroups. In an earlier paper the second author characterized such equational theories by a quadruple consisting of one positive integer \\(r\\) and one nonnegative integer \\(m\\), a non-empty filter \\(J\\) contained in the filter generated by \\(m\\), and an equivalence relation \\(\\pi\\) on the set of finite sequences of positive integers that are not in \\(J\\). If a theory \\(E_2\\) covers \\(E_1\\) then \\(E_1\\) is a dual cover for \\(E_2\\).NEWLINENEWLINENEWLINEThere are two main results; the first shows that \\(E_1\\) is a dual cover for \\(E\\) iff the quadruple for \\(E_1\\) is of one of four types with respect to that of \\(E\\) while the second theorem is a similar result for covers. Some examples are given and it transpires that all 16 possibility types for covering really occur.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925810$88FA77E3-CC98-4871-A52F-7BD3B7CAF0D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d4654d4ed738bb552002e89c188dd356aa271f","datavalue":{"value":{"entity-type":"item","numeric-id":4532124,"id":"Q4532124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ad044a998f7e243f18880946638d23c6316bfaa","datavalue":{"value":{"amount":"+0.9271581","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":"Q5925810$70386054-0C0E-436B-9103-0AEDFC2FDEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88f4a5575b6076cbfa1751a88092563dbf36f30","datavalue":{"value":{"entity-type":"item","numeric-id":2714065,"id":"Q2714065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73894d418a70ce0f868ec27990ec218108f21ee8","datavalue":{"value":{"amount":"+0.9084322","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":"Q5925810$E0F70E17-3DAD-4B0B-8C55-7031888AEC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b884fbffde30e67d0a5008c24b60195c68517ac","datavalue":{"value":{"entity-type":"item","numeric-id":2755743,"id":"Q2755743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159fa2fa9a8d48d003739c7a232b844bb49439e5","datavalue":{"value":{"amount":"+0.90318453","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":"Q5925810$1A556FDF-4FAE-4A03-900B-6437EB67FC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63c2fe60cfaba5b869cfba5324aa301faa52d55","datavalue":{"value":{"entity-type":"item","numeric-id":514561,"id":"Q514561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5c98c1574346d2dc9ab7df8545ad837da58bf6","datavalue":{"value":{"amount":"+0.8960942","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":"Q5925810$A304EFC4-1816-4AE9-9ADC-AFF01C58C015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb11427454c9ae2337b0d4b74df340fca65bebd","datavalue":{"value":{"entity-type":"item","numeric-id":4813816,"id":"Q4813816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385056148096b4649a66f3bcf9396794847ab468","datavalue":{"value":{"amount":"+0.89403474","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":"Q5925810$2FB7CA33-D110-4978-AE9D-646DD17864B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827c7a67aa2675804ab1cb4f7ad4e711154b9636","datavalue":{"value":{"entity-type":"item","numeric-id":5055940,"id":"Q5055940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6616c91f13ef2f8e26f901b2bb6e201e413c9385","datavalue":{"value":{"amount":"+0.8926769","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":"Q5925810$8438F360-9691-4ED1-82A7-2D0E64359CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a252a25a2a296aec1863d282284438981d93e4","datavalue":{"value":{"entity-type":"item","numeric-id":2254582,"id":"Q2254582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7ffc392d96e43184e37de8710ac452a1b99dea","datavalue":{"value":{"amount":"+0.88938904","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":"Q5925810$29DFAC34-A1A4-4C40-94C7-48CCC4E0E594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c357cd97ff023c5e90d2e21ae99b36a08caf790","datavalue":{"value":{"entity-type":"item","numeric-id":1946106,"id":"Q1946106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b209605f5bdde6c2e31ff0c5b48f987e54d0fca","datavalue":{"value":{"amount":"+0.88615894","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":"Q5925810$83456EE6-44FD-4333-96C6-F5E14770EA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7c4f03c224939b7056be3a0db4b4c3fd648743","datavalue":{"value":{"entity-type":"item","numeric-id":3165644,"id":"Q3165644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dda1073272531d2a6df1bb3b721d65cdb4c82f1","datavalue":{"value":{"amount":"+0.8855471","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":"Q5925810$AF20DB1C-0FE2-41C6-A6B4-1554DB28993E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b20bc78c00191459c99de919751ae063c264e6","datavalue":{"value":{"entity-type":"item","numeric-id":5876632,"id":"Q5876632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f21311bcd1807a8dc4039c2e5e655c51d28913","datavalue":{"value":{"amount":"+0.88366693","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":"Q5925810$FC894FCE-D0E3-432A-ADB0-C831AD244532","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5925810","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5925810"}}}}}