{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T17:55:46Z","timestamp":1759341346728},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T00:00:00Z","timestamp":1585526400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T00:00:00Z","timestamp":1585526400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Algebra Univers."],"published-print":{"date-parts":[[2020,5]]},"DOI":"10.1007\/s00012-020-00651-z","type":"journal-article","created":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T22:02:53Z","timestamp":1585605773000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On difunctionality of class relations"],"prefix":"10.1007","volume":"81","author":[{"given":"Michael","family":"Hoefnagel","sequence":"first","affiliation":[]},{"given":"Zurab","family":"Janelidze","sequence":"additional","affiliation":[]},{"given":"Diana","family":"Rodelo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,30]]},"reference":[{"key":"651_CR1","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1017\/S1446788700035436","volume":"53","author":"P Agliano","year":"1992","unstructured":"Agliano, P., Ursini, A.: Ideals and other generalizations of congruence classes. J. Aust. Math. Soc. 53, 103\u2013115 (1992)","journal-title":"J. Aust. Math. Soc."},{"key":"651_CR2","first-page":"97","volume":"13","author":"A Carboni","year":"1992","unstructured":"Carboni, A., Pedicchio, M.C., Pirovano, N.: Internal graphs and internal groupoids in Mal\u2019tsev categories. Can. Math. Soc. Conf. Proc. 13, 97\u2013109 (1992)","journal-title":"Can. Math. Soc. Conf. Proc."},{"key":"651_CR3","first-page":"243","volume":"38","author":"I Chajda","year":"1988","unstructured":"Chajda, I.: The egg-box property of congruences. Math. Slovaca 38, 243\u2013247 (1988)","journal-title":"Math. Slovaca"},{"key":"651_CR4","first-page":"247","volume":"53","author":"I Chajda","year":"2003","unstructured":"Chajda, I., Cz\u00e9dli, G., Horva\u00e1th, E.K.: Trapezoid lemma and congruence distributivity. Math. Slovaca 53, 247\u2013253 (2003)","journal-title":"Math. Slovaca"},{"key":"651_CR5","volume-title":"Congruence Classes in Universal Algebra. Research Expositions in Mathematics","author":"I Chajda","year":"2003","unstructured":"Chajda, I., Eigenthaler, G., L\u00e4nger, H.: Congruence Classes in Universal Algebra. Research Expositions in Mathematics, vol. 26. Heldermann Verlag, Berlin (2003)"},{"key":"651_CR6","first-page":"19","volume":"46","author":"I Chajda","year":"2007","unstructured":"Chajda, I., Halas, R.: Varieties satisfying the triangular scheme need not be conguence distributive. Acta Univ. Palack. Olomuc. Fac. Rerum Natur. Math. 46, 19\u201324 (2007)","journal-title":"Acta Univ. Palack. Olomuc. Fac. Rerum Natur. Math."},{"key":"651_CR7","doi-asserted-by":"publisher","first-page":"167","DOI":"10.4153\/CMB-1969-016-6","volume":"12","author":"A Day","year":"1969","unstructured":"Day, A.: A characterization of modularity for congruence lattices of algebras. Can. Math. Bull. 12, 167\u2013173 (1969)","journal-title":"Can. Math. Bull."},{"key":"651_CR8","doi-asserted-by":"crossref","first-page":"394","DOI":"10.21136\/CPM.1986.118287","volume":"111","author":"J Duda","year":"1986","unstructured":"Duda, J.: Varieties having directly decomposable congruence classes. \u010casopis pro p\u011bstov\u00e1n\u00ed matematiky 111, 394\u2013403 (1986)","journal-title":"\u010casopis pro p\u011bstov\u00e1n\u00ed matematiky"},{"key":"651_CR9","unstructured":"Duda, J.: The upright principle for congruence distributive varieties. Abstract of a lecture seminar presented in Brno. (2000)"},{"key":"651_CR10","unstructured":"Duda, J.: The triangular principle for congruence distributive varieties. Abstract of a lecture seminar presented in Brno. (2000)"},{"key":"651_CR11","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1090\/S0002-9939-1970-0265258-1","volume":"26","author":"GA Fraser","year":"1970","unstructured":"Fraser, G.A., Horn, A.: Congruence relations in direct products. Proc. Am. Math. Soc. 26, 390\u2013394 (1970)","journal-title":"Proc. Am. Math. Soc."},{"key":"651_CR12","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/BF01223741","volume":"36","author":"HP Gumm","year":"1981","unstructured":"Gumm, H.P.: Congruence modularity is permutability composed with distributivity. Arch. Math. (Basel) 36, 569\u2013576 (1981)","journal-title":"Arch. Math. (Basel)"},{"key":"651_CR13","doi-asserted-by":"publisher","unstructured":"Gumm, H.P.: Geometrical methods in congruence modular algebras. Mem. Am. Math. Soc. (1983). https:\/\/doi.org\/10.1090\/memo\/0286","DOI":"10.1090\/memo\/0286"},{"key":"651_CR14","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01191491","volume":"19","author":"HP Gumm","year":"1984","unstructured":"Gumm, H.P., Ursini, A.: Ideals in universal algebra. Algebra Univ. 19, 45\u201354 (1984)","journal-title":"Algebra Univ."},{"key":"651_CR15","volume-title":"Direct Decompositions of Finite Algebraic Systems. Notre Dame Mathematical Lectures","author":"B J\u00f3nsson","year":"1947","unstructured":"J\u00f3nsson, B., Tarski, A.: Direct Decompositions of Finite Algebraic Systems. Notre Dame Mathematical Lectures, vol. 5. University of Notre Dame, Indiana (1947)"},{"key":"651_CR16","doi-asserted-by":"publisher","first-page":"45","DOI":"10.4153\/CJM-1958-005-6","volume":"10","author":"J Lambek","year":"1957","unstructured":"Lambek, J.: Goursat\u2019s theorem and the Zassenhaus lemma. Can. J. Math. 10, 45\u201356 (1957)","journal-title":"Can. J. Math."},{"key":"651_CR17","first-page":"3","volume":"35","author":"AI Mal\u2019tsev","year":"1954","unstructured":"Mal\u2019tsev, A.I.: On the general theory of algebraic systems. Mat. Sbornik N. S. 35, 3\u201320 (1954). (Russian)","journal-title":"Mat. Sbornik N. S."},{"key":"651_CR18","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1090\/S0002-9939-1963-0146104-X","volume":"14","author":"AF Pixley","year":"1963","unstructured":"Pixley, A.F.: Distributivity and permutability in equational classes. Proc. Am. Math. Soc. 14, 105\u2013109 (1963)","journal-title":"Proc. Am. Math. Soc."},{"key":"651_CR19","doi-asserted-by":"publisher","first-page":"114","DOI":"10.24033\/bsmf.1401","volume":"76","author":"J Riguet","year":"1948","unstructured":"Riguet, J.: Relations binaires, fermetures, correspondances de Galois. Bull. Soc. Math. Fr. 76, 114\u2013155 (1948)","journal-title":"Bull. Soc. Math. Fr."},{"key":"651_CR20","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/BF01236518","volume":"31","author":"A Ursini","year":"1994","unstructured":"Ursini, A.: On subtractive varieties. I. Algebra Univ. 31, 204\u2013222 (1994)","journal-title":"I. Algebra Univ."},{"key":"651_CR21","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BF02945126","volume":"3","author":"H Werner","year":"1973","unstructured":"Werner, H.: A Mal\u2019cev condition for admissible relations. Algebra Univ. 3, 263 (1973)","journal-title":"Algebra Univ."}],"container-title":["Algebra universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00012-020-00651-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00012-020-00651-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00012-020-00651-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,29]],"date-time":"2021-03-29T23:09:39Z","timestamp":1617059379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00012-020-00651-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,30]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,5]]}},"alternative-id":["651"],"URL":"https:\/\/doi.org\/10.1007\/s00012-020-00651-z","relation":{},"ISSN":["0002-5240","1420-8911"],"issn-type":[{"value":"0002-5240","type":"print"},{"value":"1420-8911","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,30]]},"assertion":[{"value":"9 December 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 March 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 March 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"19"}}