{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:43:12Z","timestamp":1740123792943,"version":"3.37.3"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,3,14]],"date-time":"2018-03-14T00:00:00Z","timestamp":1520985600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,3,14]],"date-time":"2018-03-14T00:00:00Z","timestamp":1520985600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1500235"],"award-info":[{"award-number":["1500235"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1007\/s11083-018-9455-6","type":"journal-article","created":{"date-parts":[[2018,3,14]],"date-time":"2018-03-14T14:32:58Z","timestamp":1521037978000},"page":"65-76","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Testing for a Semilattice Term"],"prefix":"10.1007","volume":"36","author":[{"given":"Ralph","family":"Freese","sequence":"first","affiliation":[]},{"given":"J. B.","family":"Nation","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6568-7526","authenticated-orcid":false,"given":"Matt","family":"Valeriote","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,14]]},"reference":[{"issue":"1","key":"9455_CR1","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF02488025","volume":"9","author":"KA Baker","year":"1979","unstructured":"Baker, K.A.: Congruence-distributive polynomial reducts of lattices. Algebra Univers. 9(1), 142\u2013145 (1979)","journal-title":"Algebra Univers."},{"key":"9455_CR2","unstructured":"Barto, L., Krokhin, A., Willard, R.: Polymorphisms, and how to use them. In: Krokhin, A., Zivny, S. (eds.) The Constraint Satisfaction Problem: Complexity and Approximability, volume 7 of Dagstuhl Follow-Ups, pp. 1\u201344. Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl (2017)"},{"key":"9455_CR3","volume-title":"Universal Algebra, Volume 301 of Pure and Applied Mathematics (Boca Raton)","author":"C Bergman","year":"2012","unstructured":"Bergman, C.: Universal Algebra, Volume 301 of Pure and Applied Mathematics (Boca Raton). CRC Press, Boca Raton (2012). Fundamentals and selected topics"},{"issue":"1","key":"9455_CR4","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1142\/S0218196799000084","volume":"9","author":"C Bergman","year":"1999","unstructured":"Bergman, C., Juedes, D., Slutzki, G.: Computational complexity of term-equivalence. Int. J. Algebra Comput. 9(1), 113\u2013128 (1999)","journal-title":"Int. J. Algebra Comput."},{"key":"9455_CR5","volume-title":"A Course in Universal Algebra, Volume 78 of Graduate Texts in Mathematics","author":"S Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra, Volume 78 of Graduate Texts in Mathematics. Springer, New York-Berlin (1981)"},{"issue":"1","key":"9455_CR6","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1142\/S0218196709004956","volume":"19","author":"R Freese","year":"2009","unstructured":"Freese, R., Valeriote, M.A.: On the complexity of some Maltsev conditions. Int. J. Algebra Comput. 19(1), 41\u201377 (2009)","journal-title":"Int. J. Algebra Comput."},{"key":"9455_CR7","unstructured":"Freese, R., Kiss, E., Valeriote, M.: Universal Algebra Calculator. Available at: \n                    www.uacalc.org\n                    \n                   (2011)"},{"key":"9455_CR8","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/076","volume-title":"The Structure of Finite Algebras, Volume 76 of Contemporary Mathematics","author":"D Hobby","year":"1988","unstructured":"Hobby, D., McKenzie, R.: The Structure of Finite Algebras, Volume 76 of Contemporary Mathematics. American Mathematical Society, Providence (1988). Revised edition: 1996"},{"issue":"6","key":"9455_CR9","doi-asserted-by":"publisher","first-page":"1521","DOI":"10.1142\/S0218196713500343","volume":"23","author":"J Horowitz","year":"2013","unstructured":"Horowitz, J.: Computational complexity of various Mal\u2019cev conditions. Int. J. Algebra Comput. 23(6), 1521\u20131531 (2013)","journal-title":"Int. J. Algebra Comput."},{"issue":"1968","key":"9455_CR10","doi-asserted-by":"publisher","first-page":"110","DOI":"10.7146\/math.scand.a-10850","volume":"21","author":"B J\u00f3nsson","year":"1967","unstructured":"J\u00f3nsson, B.: Algebras whose congruence lattices are distributive. Math. Scand. 21(1968), 110\u2013121 (1967)","journal-title":"Math. Scand."},{"key":"9455_CR11","unstructured":"Kazda, A., Valeriote, M.: Deciding some Maltsev conditions in finnite idempotent algebras. Preprint (2017)"},{"issue":"1046","key":"9455_CR12","first-page":"viii+\u2009169","volume":"222","author":"KA Kearnes","year":"2013","unstructured":"Kearnes, K.A., Kiss, E.W.: The shape of congruence lattices. Mem. Am. Math. Soc. 222(1046), viii+\u2009169 (2013)","journal-title":"Mem. Am. Math. Soc."},{"issue":"2","key":"9455_CR13","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s00012-009-0011-5","volume":"61","author":"W Taylor","year":"2009","unstructured":"Taylor, W.: Simple equations on real intervals. Algebra Univers. 61(2), 213\u2013226 (2009)","journal-title":"Algebra Univers."},{"issue":"4","key":"9455_CR14","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1112\/blms\/bdu044","volume":"46","author":"M Valeriote","year":"2014","unstructured":"Valeriote, M., Willard, R.: Idempotent n-permutable varieties. Bull. Lond. Math. Soc. 46(4), 870\u2013880 (2014)","journal-title":"Bull. Lond. Math. Soc."}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-018-9455-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-018-9455-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-018-9455-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,13]],"date-time":"2020-05-13T22:03:45Z","timestamp":1589407425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-018-9455-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,14]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["9455"],"URL":"https:\/\/doi.org\/10.1007\/s11083-018-9455-6","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"type":"print","value":"0167-8094"},{"type":"electronic","value":"1572-9273"}],"subject":[],"published":{"date-parts":[[2018,3,14]]},"assertion":[{"value":"5 December 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 March 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 March 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}