{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:39:05Z","timestamp":1774417145357,"version":"3.50.1"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2000,4,1]],"date-time":"2000-04-01T00:00:00Z","timestamp":954547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,4,1]],"date-time":"2000-04-01T00:00:00Z","timestamp":954547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[2000,4]]},"DOI":"10.1023\/a:1006279127474","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T01:20:41Z","timestamp":1040520041000},"page":"365-370","source":"Crossref","is-referenced-by-count":5,"title":["A Hyperbase for Binary Lattice Hyperidentities"],"prefix":"10.1007","volume":"24","author":[{"given":"R.","family":"Padmanabhan","sequence":"first","affiliation":[]},{"given":"P.","family":"Penner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"211863_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02944948","volume":"1","author":"J. Acz\u00e9l","year":"1971","unstructured":"Acz\u00e9l, J.: Proof of a theorem on distributive hyperidentities, Algebra Universalis\n1 (1971), 1-6.","journal-title":"Algebra Universalis"},{"key":"211863_CR2","doi-asserted-by":"crossref","unstructured":"Belousov, D.: Systems of quasigroups with generalized identities, Uspekhi Mat. Nauk\n20 (1965).","DOI":"10.1070\/RM1965v020n01ABEH004140"},{"key":"211863_CR3","first-page":"117","volume-title":"Contributions General Algebra 9","author":"K. Denecke","year":"1995","unstructured":"Denecke, K. and Reichel, M.: Monoids of hypersubstitutions and M-solid varieties, in: Contributions General Algebra 9, H\u00f6lder-Pichler-Tempsky, Vienna, Teubner, Stuttgart, 1995, pp. 117-126."},{"key":"211863_CR4","volume-title":"Lattice Theory: First Concepts and Distributive Lattices","author":"G. Gr\u00e4tzer","year":"1971","unstructured":"Gr\u00e4tzer, G.: Lattice Theory: First Concepts and Distributive Lattices, W. H. Freeman & Co, San Francisco, 1971."},{"key":"211863_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gr\u00e4tzer","year":"1979","unstructured":"Gr\u00e4tzer, G.: Universal Algebra, 2nd edn, Springer-Verlag, New York, 1979.","edition":"2nd edn"},{"key":"211863_CR6","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01190711","volume":"27","author":"E. Graczynska","year":"1990","unstructured":"Graczynska, E. and Schweigert, D.: Hyperidentities of a given type, Algebra Universalis\n27 (1990), 305-318.","journal-title":"Algebra Universalis"},{"key":"211863_CR7","series-title":"Tech. Report ANL-94\/6","doi-asserted-by":"crossref","DOI":"10.2172\/10129052","volume-title":"OTTER 3.0 reference manual and guide","author":"W. McCune","year":"1994","unstructured":"McCune, W.: OTTER 3.0 reference manual and guide, Tech. Report ANL-94\/6, Argonne National Laboratory, Argonne, IL, 1994."},{"issue":"1","key":"211863_CR8","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1090\/S0002-9947-1971-0281661-3","volume":"158","author":"R. Padmanabhan","year":"1971","unstructured":"Padmanabhan, R.: Regular identities in lattices, Trans. Amer. Math. Soc.\n158(1) (1971), 179-188.","journal-title":"Trans. Amer. Math. Soc."},{"key":"211863_CR9","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/BF01830976","volume":"44","author":"R. Padmanabhan","year":"1992","unstructured":"Padmanabhan, R. and Penner, P.: Binary hyperidentities of lattices, Aequationes Math.\n44 (1992), 154-167.","journal-title":"Aequationes Math."},{"key":"211863_CR10","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/BF01188184","volume":"31","author":"R. Padmanabhan","year":"1994","unstructured":"Padmanabhan, R. and Penner, P.: Subdirectly irreducible n-quasilattices, Algebra Universalis\n31 (1994), 124-134.","journal-title":"Algebra Universalis"},{"key":"211863_CR11","unstructured":"Penner, P.: Hyperidentities of Lattices, Semilattices and Diagonal Semigroups, Ph.D. thesis, University of Manitoba."},{"key":"211863_CR12","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/BF02188010","volume":"23","author":"W. Taylor","year":"1981","unstructured":"Taylor, W.: Hyperidentities and hypervarieties, Aequationes Math.\n23 (1981), 30-49.","journal-title":"Aequationes Math."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006279127474.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1006279127474\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006279127474.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:31:40Z","timestamp":1749123100000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1006279127474"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,4]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,4]]}},"alternative-id":["211863"],"URL":"https:\/\/doi.org\/10.1023\/a:1006279127474","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,4]]}}}