{"entities":{"Q1337154":{"pageid":1347893,"ns":120,"title":"Item:Q1337154","lastrevid":43041246,"modified":"2025-07-17T04:02:21Z","type":"item","id":"Q1337154","labels":{"en":{"language":"en","value":"Congruence semimodular varieties. II: Regular varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 679605"}},"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":"Q1337154$CE6B4109-322B-4CF9-B6D0-DAEA4BDEC6EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eead1f655ef0f1c82960e5428eb27e0f1f378a6e","datavalue":{"value":{"text":"Congruence semimodular varieties. II: Regular varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337154$3CB3ECCE-79A6-4EA7-AE59-183C21E15505","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4dfb4436bb8e3feef2f995dc14a20e431924ff8c","datavalue":{"value":"0815.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337154$FD29B1EB-F703-40F4-9127-A149186EFE0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22a40f87c836e1fcce86b3d7c1a76fcb20acfcc0","datavalue":{"value":"10.1007/BF01191541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337154$319FC7C9-2533-470A-805D-E857489566F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84297c5215b806900e2c55a691083e6708c2b134","datavalue":{"value":{"entity-type":"item","numeric-id":755898,"id":"Q755898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337154$F0CEA54E-AAF2-4E9F-B04C-46467E5A506A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83edf687e87db231eb1aae462d2d9887611a063","datavalue":{"value":{"entity-type":"item","numeric-id":331016,"id":"Q331016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337154$A25444B9-26D4-4E90-8984-125A81C94B04","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":"Q1337154$0F413BDA-208E-4949-91E3-5F823DE4629B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2ec3281f9c57212345943bc79834cc395cbf387","datavalue":{"value":{"time":"+1994-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337154$859E5DB4-9A99-4444-8B5C-4250EF3D7F42","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c36b6607f6f2abff1bb569443e68318e28400b33","datavalue":{"value":"[Part I is reviewed above.]   An equation \\(p= q\\) is regular (or normal) if \\(p\\) and \\(q\\) have the same free variables. A variety \\(V\\) of algebras is regular if it can be axiomatized by regular equations. If \\(A\\) is an algebra of a regular variety \\(V\\) and \\(p\\) a unary polynomial of \\(A\\), then \\(p\\) is called permissible if there is an \\((n+1)\\)-ary term \\(t\\) which depends on all of its variables in \\(V\\) and an \\(n\\)-tuple \\(\\overline a\\in A^ n\\) such that \\(p(x)= t^ A(x,\\overline a)\\). Define \\(\\prec_ A\\) as the transitive closure of \\(\\{\\langle p(a), a\\rangle| a\\in A\\) and \\(p\\) a permissible polynomial of \\(A\\}\\) and \\(\\approx_ A\\) as the symmetric part of the quasi-order \\(\\prec_ A\\). The main result of the paper under review states that a regular variety \\(V\\) is congruence semimodular iff for all \\(A\\in V\\) and all nonzero \\(\\alpha\\in \\text{Con }A\\) one has \\(\\alpha\\not\\subseteq\\approx_ A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337154$88253D6C-3C64-4901-8A32-F8414A8E18A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337154$B275D09D-440C-455F-A3B9-B2FCC84F4ABE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"173cd61fab62065f54868fd5bf968cf1cfd4c8f1","datavalue":{"value":"679605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337154$B600EF16-6714-4AD7-801B-C2AF87191298","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f019dccd22b9fbac454ee815cb4c1adfae7bad2","datavalue":{"value":"congruence semimodular variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337154$411A2BAE-FC33-4CE7-84DA-38B85AC4CAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bde2cf8b0eea3e4927d61da4b6a2864a90137f6","datavalue":{"value":"regular variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337154$E81F5DFD-763D-4C4C-85ED-50D51C18B40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7d7ab3851959f052ee8df994e1ba7e16d71a0ca","datavalue":{"value":"permissible polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337154$25722569-5CC0-43AF-8936-B51797D2A78A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a4269540e775ce717310028f86928e9eeea39c7","datavalue":{"value":{"entity-type":"item","numeric-id":241780,"id":"Q241780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337154$EDEED4C2-6047-42AA-A132-2A2D9F6BF1CA","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":"Q1337154$729CE03F-3D92-4B71-A9FA-40AF77F1E309","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c4c0897352b97a82197c4d1f1765f692821cc4","datavalue":{"value":{"entity-type":"item","numeric-id":755899,"id":"Q755899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337154$A74154B8-537D-4F14-B805-EAB4E1FCB138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec95b7073e4b41d00730be2bfc0b882ad082024f","datavalue":{"value":{"entity-type":"item","numeric-id":1337153,"id":"Q1337153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337154$ADF7C3C2-BB24-4D9E-9484-87D040020C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6e67fcf6a8980c29e1d57e8424044d1e53bc5e5","datavalue":{"value":{"entity-type":"item","numeric-id":581435,"id":"Q581435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337154$8ED907FE-9BD9-49B5-A2B4-A79ACEDC482D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82da210450dd0e3c09c11009da08762c29712ac5","datavalue":{"value":{"entity-type":"item","numeric-id":912882,"id":"Q912882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337154$D3A8D1E9-5F75-486B-95C0-2432612F1951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d57a230b4bbfeeca49cf0ac14239a914a144e","datavalue":{"value":{"entity-type":"item","numeric-id":3337662,"id":"Q3337662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337154$55DDBF97-F2D4-4BE5-9226-DA65BFF59C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337154$CA62FA97-7202-43CF-A5AC-021EE7DCABAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43645a68f02a761842016cdd513e67366168a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1167196,"id":"Q1167196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337154$BBC6C480-9DA7-433E-AC3A-A4065D87DCC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f5e729a9230888fdd6020297cbbdcf085984381","datavalue":{"value":"https://doi.org/10.1007/bf01191541","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337154$5D620892-51A6-490D-AB33-7274AB9FFE95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6645f6a5c83151b62c165f4c31f7d96a6288ca0a","datavalue":{"value":"W1997571938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337154$7F4F96A4-D72E-45EC-AF79-E18EA8E100EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b118ac37065d3cc99d1f3c5109d003d8c4d1940f","datavalue":{"value":{"entity-type":"item","numeric-id":1337153,"id":"Q1337153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8ca29dedf82a2ca5ccec57049efabb5938447b","datavalue":{"value":{"amount":"+0.9296682","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":"Q1337154$FA3509DD-B6AC-47F9-96F9-93F442B7DCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b236402c98229bcfa21c87d49175d2cc9b46d3b8","datavalue":{"value":{"entity-type":"item","numeric-id":3785045,"id":"Q3785045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e66bd2a6866df1a3dbeeba696189ac698c0aa58a","datavalue":{"value":{"amount":"+0.9169582","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":"Q1337154$99D7F56E-6072-43A6-9160-E618D0CB125B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57945aba9470a59d40998ff80324b3f8bad9b364","datavalue":{"value":{"entity-type":"item","numeric-id":1771948,"id":"Q1771948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c571aebcc82f1cbf20b0ca04be4204a362548ab1","datavalue":{"value":{"amount":"+0.90954757","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":"Q1337154$CC1F91FA-5EBE-437B-95AA-BACF262E500E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728cd9b630dd0212f16821612436da76e6fad5ba","datavalue":{"value":{"entity-type":"item","numeric-id":4261828,"id":"Q4261828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff80f05a601a6b9e6d5ba43cf141e2ab2695977","datavalue":{"value":{"amount":"+0.9048352","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":"Q1337154$F477BB12-43C6-4C20-B99A-20A6302578D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36c6c595be77a7994ea61c80b7a578f3fe3eb4b1","datavalue":{"value":{"entity-type":"item","numeric-id":1317569,"id":"Q1317569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4fe48822ee6ce580b7e4d5e625f84960947d7d4","datavalue":{"value":{"amount":"+0.8980958","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":"Q1337154$3393ADCC-A0C1-4917-83C0-8C098A4140A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f1e5cbc02ba9927b83dae6a4af3e367c9d5419","datavalue":{"value":{"entity-type":"item","numeric-id":4005692,"id":"Q4005692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aeabd5ffc1f208f13c479ad6e31ab500adae841","datavalue":{"value":{"amount":"+0.89756787","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":"Q1337154$721BC022-0AA4-490C-8452-032A980EAF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc8fc69ce1986ca4bc8d76f5d57bb0a06a85b38","datavalue":{"value":{"entity-type":"item","numeric-id":1906646,"id":"Q1906646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089273688b17fd64fda129ba9e24a02fedfa8595","datavalue":{"value":{"amount":"+0.8960133","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":"Q1337154$0A7E36E9-903A-43E3-9B5C-0DEC40C5BA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fea376e34483a406212b2f5756acc0e7efd299e","datavalue":{"value":{"entity-type":"item","numeric-id":3549519,"id":"Q3549519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d314171f6567e9616b0a8f4f3bab38c98a7d2125","datavalue":{"value":{"amount":"+0.8940402","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":"Q1337154$69314173-C6A8-462B-A615-9B216936939F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fcaecc269092a65dee0fffc20f57f95036ecf2","datavalue":{"value":{"entity-type":"item","numeric-id":3734719,"id":"Q3734719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a490e5432402ad10d32adbb803cdd2e01606175c","datavalue":{"value":{"amount":"+0.8932185","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":"Q1337154$65B0980C-1CD4-426F-B49A-4782E064E1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13f7f5a28e1dfcafb4013de69ae563328b8248b","datavalue":{"value":{"entity-type":"item","numeric-id":2031437,"id":"Q2031437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd92526bd0fb9b0bb1083603fef9488e3ad5cbae","datavalue":{"value":{"amount":"+0.8925287","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":"Q1337154$E11F9770-984D-47FA-9C30-CDB32B106C83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1337154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1337154"}}}}}