{"entities":{"Q790858":{"pageid":792706,"ns":120,"title":"Item:Q790858","lastrevid":42697872,"modified":"2025-07-08T14:25:10Z","type":"item","id":"Q790858","labels":{"en":{"language":"en","value":"Varieties of lattice-ordered algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3849297"}},"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":"Q790858$9B9DDA48-8CF0-4497-8E86-48513E356641","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"150dc63892c66690249314228653ae07d864214a","datavalue":{"value":{"text":"Varieties of lattice-ordered algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790858$87BEAFEA-DEFC-4795-BB2F-E737EA69C46A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"714ba862afa3935aa6d76eba5a3c1bf13af71244","datavalue":{"value":"0535.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790858$1F7CA2B8-E850-4CE5-B9E8-E3C7D97C2715","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c46c28cf3bf9e2ad69fdf2e743c2c391353d774b","datavalue":{"value":"10.1007/BF01194545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790858$ACA8A3A7-CD9F-40FE-AC27-814CDD9ABD66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$CA988C4D-1963-4C7A-956A-24410B8991A4","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":"Q790858$F3403BB3-86A7-4B54-911D-CC0F27A34F9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q790858$27F4ED4A-FDBF-4457-BF90-AAA5C87E9BCC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7fe6a785cf3799651a81cf404f43a02537abc3f2","datavalue":{"value":"The variety of lattice-ordered groups generated by fully ordered groups is axiomatised either by (i) \\((x\\vee y)^ 2=x^ 2\\vee y^ 2\\) or (ii) \\((x\\vee 1)\\wedge y^{-1}(x^{-1}\\vee 1)y=1\\). The variety of lattice- ordered loops generated by fully ordered loops is axiomatised by:    (a) \\((x/z\\vee 1)\\wedge y\\backslash((z/x\\vee 1)y)=1\\)    (b) \\((x/z\\vee 1)\\wedge(((z/x\\vee 1)y)t)/yt=1\\)    (c) \\((x/z\\vee 1)\\wedge(ty\\backslash(t(y(z/x\\vee 1))))=1.\\)    This shows that the associative law can largely be dispensed with - an interesting result. The other important theorem in this paper is that every lattice-ordered loop is distributive. The authors provide a start to the study of lattice-ordered loops and challenge others to continue it.","type":"string"},"datatype":"string"},"type":"statement","id":"Q790858$509CEA9C-BA9B-4806-B202-884C19A2C06C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790858$5469CF5F-53ED-467B-A949-9D0244152646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790858$8B4D8BC4-315F-4DEF-8C49-FE274EA037DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790858$E21268C7-4FAB-43C9-AFFD-770D16B229B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790858$8EF8778F-33D6-4FB9-B2A0-E9FC46346878","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a317a55b1e65723ac0ee1137742ecb91ffcaa9fd","datavalue":{"value":"3849297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790858$70A6117F-FF60-48AB-959B-D806DFA0F7D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b385a130265e55abb6b6cbd10433ddc324bab7","datavalue":{"value":"variety of lattice-ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q790858$5846AB7E-5018-4759-9CB1-4C5C1C626C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1ffb9649a50a45de2e5d1e3321f9087126b8f11","datavalue":{"value":"variety of lattice-ordered loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q790858$6DEC2CD2-00EE-4A80-8B83-6BCB9C22003B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0abafbcd04146dd7ebf6ace902746febde529344","datavalue":{"value":"fully ordered loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q790858$E07730B6-0E66-48B8-9F51-BFA8561C0682","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"281f61f622ad88f62da56414296e2c40a4498f8e","datavalue":{"value":{"entity-type":"item","numeric-id":251978,"id":"Q251978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$594C4EC4-2620-4E6C-BD86-3C8490F0E97E","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":"Q790858$77DB78C1-FCF6-45B8-93ED-8A0D09AA9519","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d637fda503021c7be2de4ca0d88be38e8edac43","datavalue":{"value":{"entity-type":"item","numeric-id":3232337,"id":"Q3232337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$808FE5AF-F0CC-4112-977D-C8B46F9BF3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7332284752c8fd0180f6080b6011cd8e9d2df764","datavalue":{"value":{"entity-type":"item","numeric-id":2543467,"id":"Q2543467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$0BBBC197-B3C5-4ADE-B7EB-F2FF11156252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$2910BF0F-C783-4270-9DAD-AE122829D956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6747728eb93e8fede5b966e1b3b14d67492ec0ce","datavalue":{"value":{"entity-type":"item","numeric-id":5599202,"id":"Q5599202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$8B42DF99-456B-454C-B25F-39F591589977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc916d724afd2f6dad9c3efc9e5f8e2cc71892","datavalue":{"value":{"entity-type":"item","numeric-id":1394244,"id":"Q1394244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$6669F656-612F-45F7-BC9D-1AA7D16E6649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8400a42cfe5d358d32fa0b859522d2b349b62356","datavalue":{"value":{"entity-type":"item","numeric-id":1142235,"id":"Q1142235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$109EC67F-6022-4DC2-A325-9B817D2F5FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"411d3432793601f4a3e498680049b44a457e1732","datavalue":{"value":{"entity-type":"item","numeric-id":3043204,"id":"Q3043204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$2173AC18-E8E5-4B4D-B2CC-21E5355CD6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b030632257969ad8faf0b05da0bac6ce24a20ac","datavalue":{"value":{"entity-type":"item","numeric-id":5679168,"id":"Q5679168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$50FE6C76-6615-4368-975E-7DB0379212D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf74998ed0e99850ac2f596abd9ba6630fc1141","datavalue":{"value":{"entity-type":"item","numeric-id":5619852,"id":"Q5619852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$18A6E57A-68FC-4DB9-B351-BE1081A68D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d640c4169036a6c845a59db3eb602aee0f67ae","datavalue":{"value":{"entity-type":"item","numeric-id":4168953,"id":"Q4168953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$ECD66B0A-4503-4364-9564-1BA932F2C291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a1f4bc5b121db18a459a7b8c5d1263deeafc30","datavalue":{"value":{"entity-type":"item","numeric-id":5795534,"id":"Q5795534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$344D48C0-E3B9-40F6-B50F-B54C31344737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$A19C29BF-55CB-4B09-8DED-28BCC3A60ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930be0a1463bb3c6bc2aa9a413579c7ad972ce67","datavalue":{"value":{"entity-type":"item","numeric-id":5925363,"id":"Q5925363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$AA5F2FCC-2287-4E04-B50F-F21753D0BEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7b6b8d3a5e5335f977820f9e371b3c1b43042f","datavalue":{"value":{"entity-type":"item","numeric-id":5574030,"id":"Q5574030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$F35AD8D2-1C08-4BD7-BD21-7D71D8E046E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4716fe19138cd9cffd53fcd62083efa49818b51f","datavalue":{"value":{"entity-type":"item","numeric-id":5792499,"id":"Q5792499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790858$B7239505-87DE-4A7A-B56C-2E00AD566B81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5eb8894efe823933203678a69d49fb58fcdeff","datavalue":{"value":{"entity-type":"item","numeric-id":3487405,"id":"Q3487405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4fc424653915ce89cdbdce0f0d89137e386b022","datavalue":{"value":{"amount":"+0.9487365","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":"Q790858$E86346B7-2EAC-429F-B7E6-1553D6CA156B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99cd6bc5fd50b45d2a1668a0d034d1a2f264d90e","datavalue":{"value":{"entity-type":"item","numeric-id":4849831,"id":"Q4849831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd3a510e5230861536c9aa015b19e9db7ea82be","datavalue":{"value":{"amount":"+0.93981063","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":"Q790858$D4B95ED3-E871-48E2-8013-D03FAE6CB4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a802054c3f0b6f5d50d84e31a83415721ceacef3","datavalue":{"value":{"entity-type":"item","numeric-id":4298442,"id":"Q4298442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37e728722bafc5750c7b7e99ba1b07bd5da5e0d","datavalue":{"value":{"amount":"+0.9394586","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":"Q790858$CF4EEDC5-EB2A-493D-A02F-9A5EF9250CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef4731c7c596ff788b68f7fbea3c5d09741ec39","datavalue":{"value":{"entity-type":"item","numeric-id":1775133,"id":"Q1775133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a36f5381e828c6de76151b5ef8cb2579dc6cc1","datavalue":{"value":{"amount":"+0.9389509","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":"Q790858$2C2CD9A5-8542-49CC-B58F-2133D7784CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c385306bc0d6736230f482ea4251c8c7d907ba","datavalue":{"value":{"entity-type":"item","numeric-id":3338307,"id":"Q3338307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8da47442416e108947b82a97934b1f6774739b0","datavalue":{"value":{"amount":"+0.93674785","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":"Q790858$58AC6B24-8028-4D95-99F1-BFB14FB03D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c54e01f4d3e15ed7742f45432177440dbcb0d3d7","datavalue":{"value":{"entity-type":"item","numeric-id":2948590,"id":"Q2948590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5822b2e3653343cf3985533a62c075cf011a11a3","datavalue":{"value":{"amount":"+0.93366456","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":"Q790858$AAF84F54-E65F-4170-8820-0C8B822506CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3bf162316c7c3f22342057f24987e40c52975c8","datavalue":{"value":{"entity-type":"item","numeric-id":5155346,"id":"Q5155346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d596aff5a1dde327e78c28e6e07a506544d07e","datavalue":{"value":{"amount":"+0.9320399","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":"Q790858$39AF2063-684E-401C-A3A5-47E7CE4B619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738e2fd486350365128f678777913672fe784162","datavalue":{"value":{"entity-type":"item","numeric-id":1390477,"id":"Q1390477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1575c56dd4ac5aa46b9e258827c9d056e9bd485","datavalue":{"value":{"amount":"+0.9317675","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":"Q790858$C7E109B5-344C-4C7B-BEE0-3B59946EADD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b1efcdbf1f1de6fdaec67375dde64bf51e604e","datavalue":{"value":{"entity-type":"item","numeric-id":3731644,"id":"Q3731644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b100bff931f666cfaa44657e7832d03d3b6889c5","datavalue":{"value":{"amount":"+0.93158996","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":"Q790858$D918F3CA-BA64-4776-816A-99BF54A748FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:790858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:790858"}}}}}