{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:18:28Z","timestamp":1773937108997,"version":"3.50.1"},"reference-count":17,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["12071208"],"award-info":[{"award-number":["12071208"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2026,7]]},"DOI":"10.1016\/j.jsc.2025.102545","type":"journal-article","created":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T16:56:41Z","timestamp":1766422601000},"page":"102545","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Supercongruences involving products of two binomial coefficients modulo p4"],"prefix":"10.1016","volume":"135","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7182-3408","authenticated-orcid":false,"given":"Guo-Shuai","family":"Mao","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jsc.2025.102545_br0010","series-title":"Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables","author":"Albramowitz","year":"1972"},{"issue":"7","key":"10.1016\/j.jsc.2025.102545_br0020","doi-asserted-by":"crossref","first-page":"1789","DOI":"10.1142\/S1793042112501035","article-title":"Congruences concerning Jacobi polynomials and Ap\u00e9ry-like formulae","volume":"8","author":"Hessami Pilehrood","year":"2012","journal-title":"Int. J. Number Theory"},{"key":"10.1016\/j.jsc.2025.102545_br0030","series-title":"A Classical Introduction to Morden Number Theory","first-page":"239","author":"Ireland","year":"1982"},{"key":"10.1016\/j.jsc.2025.102545_br0040","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/j.jnt.2012.05.036","article-title":"Congruences for central binomial sums and finite polylogarithms","volume":"133","author":"Mattarei","year":"2013","journal-title":"J. Number Theory"},{"key":"10.1016\/j.jsc.2025.102545_br0050","series-title":"A=B","author":"Petkov\u0161ek","year":"1996"},{"key":"10.1016\/j.jsc.2025.102545_br0060","article-title":"Symbolic summation assists combinatorics","volume":"56","author":"Schneider","year":"2007","journal-title":"S\u00e9min. Lothar. Comb."},{"key":"10.1016\/j.jsc.2025.102545_br0070","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/S0012-365X(97)81050-3","article-title":"Congruences for Bernoulli numbers and Bernoulli polynomials","volume":"163","author":"Sun","year":"1997","journal-title":"Discrete Math."},{"key":"10.1016\/j.jsc.2025.102545_br0080","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/S0166-218X(00)00184-0","article-title":"Congruences concerning Bernoulli numbers and Bernoulli polynomials","volume":"105","author":"Sun","year":"2000","journal-title":"Discrete Appl. Math."},{"issue":"2","key":"10.1016\/j.jsc.2025.102545_br0090","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1016\/j.jnt.2007.03.003","article-title":"Congruences involving Bernoulli and Euler numbers","volume":"128","author":"Sun","year":"2008","journal-title":"J. Number Theory"},{"issue":"8","key":"10.1016\/j.jsc.2025.102545_br0100","doi-asserted-by":"crossref","first-page":"2393","DOI":"10.1142\/S1793042115501110","article-title":"Super congruences concerning Bernoulli polynomials","volume":"11","author":"Sun","year":"2015","journal-title":"Int. J. Number Theory"},{"key":"10.1016\/j.jsc.2025.102545_br0110","doi-asserted-by":"crossref","first-page":"2509","DOI":"10.1007\/s11425-011-4302-x","article-title":"Super congruences and Euler numbers","volume":"54","author":"Sun","year":"2011","journal-title":"Sci. China, Math."},{"issue":"1","key":"10.1016\/j.jsc.2025.102545_br0130","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/j.jnt.2013.07.011","article-title":"p-adic congruences motivated by series","volume":"134","author":"Sun","year":"2014","journal-title":"J. Number Theory"},{"issue":"8","key":"10.1016\/j.jsc.2025.102545_br0120","doi-asserted-by":"crossref","DOI":"10.1142\/S0129167X1550055X","article-title":"A new series for \u03c03 and related congruences","volume":"26","author":"Sun","year":"2015","journal-title":"Int. J. Math."},{"key":"10.1016\/j.jsc.2025.102545_br0140","article-title":"Supercongruences for a truncated hypergeometric series","volume":"12","author":"Tauraso","year":"2012","journal-title":"Integers"},{"key":"10.1016\/j.jsc.2025.102545_br0150","first-page":"129","article-title":"Congruences of alternating multiple harmonic sums","volume":"2","author":"Tauraso","year":"2010","journal-title":"J. Comb. Number Theory"},{"issue":"3","key":"10.1016\/j.jsc.2025.102545_br0160","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/S0747-7171(08)80044-2","article-title":"The method of creative telescoping","volume":"11","author":"Zeilberger","year":"1991","journal-title":"J. Symb. Comput."},{"issue":"1","key":"10.1016\/j.jsc.2025.102545_br0170","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1142\/S1793042108001146","article-title":"Wolstenholme type theorem for multiple harmonic sums","volume":"4","author":"Zhao","year":"2008","journal-title":"Int. J. Number Theory"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717125001270?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717125001270?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T14:35:06Z","timestamp":1773930906000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717125001270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":17,"alternative-id":["S0747717125001270"],"URL":"https:\/\/doi.org\/10.1016\/j.jsc.2025.102545","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2026,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Supercongruences involving products of two binomial coefficients modulo p4","name":"articletitle","label":"Article Title"},{"value":"Journal of Symbolic Computation","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jsc.2025.102545","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2025 Elsevier Ltd. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"102545"}}