{"entities":{"Q2020003":{"pageid":2030745,"ns":120,"title":"Item:Q2020003","lastrevid":53978114,"modified":"2026-01-26T00:48:03Z","type":"item","id":"Q2020003","labels":{"en":{"language":"en","value":"Proof of a supercongruence conjecture of He"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7336787"}},"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":"Q2020003$7BB0F510-6A6B-4FB7-9A96-C76CF556340E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e8ce09dbf300431c6299a1ee4166780af16220e","datavalue":{"value":{"text":"Proof of a supercongruence conjecture of He","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2020003$AF315C4C-9C43-48DA-9745-617AA1E3E002","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae3587be0009958191e3250172f34681302c67d2","datavalue":{"value":"1472.11010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020003$843DC9C5-B1F2-4060-9A68-5E4B479ECFAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea1df551cf562b95b6699fd5efa330da4990f63e","datavalue":{"value":{"entity-type":"item","numeric-id":515998,"id":"Q515998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$F96AB40C-165F-4F8B-8839-1DE6BD4D8E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f73af14c41aca70d69c44d26195fd8ddb361161f","datavalue":{"value":{"entity-type":"item","numeric-id":829678,"id":"Q829678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$ED26F671-4A53-4853-9453-19CCCE959FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f601534cf04405d13dc3bb4b568c7e783def6f22","datavalue":{"value":{"entity-type":"item","numeric-id":454355,"id":"Q454355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$8F99DFB4-7921-4072-B9AF-9EEE0E59C506","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df5f8c354fea6f60fb60c332660963d0551b6095","datavalue":{"value":{"entity-type":"item","numeric-id":254941,"id":"Q254941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$EE325520-9A91-424C-BDCD-B79C278C1E1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf8a5b7f21409e54e1a54b87dc13de420e37e80","datavalue":{"value":{"time":"+2021-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2020003$960A3CC4-27E7-495F-B1FB-F68788A90B84","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7e323451dc4fe0fd1cfa21a94e83c44ec55f9892","datavalue":{"value":"The authors prove the following theorem:   Theorem 1.2 Let \\(p\\) be an odd prime such that \\(p\\equiv 5 \\pmod 6\\). If \\(r\\) is a positive integer, then  \\[  \\sum_{k=0}^{tp^r-1} \\left(\\frac{(\\frac{1}{3})_k}{k!}\\right)^3 \\equiv \\begin{cases}\\quad p^r\\pmod{p^{\\min(6,r+3)}},\\quad \\text{if }r \\text{ is even}, \\\\ -\\frac{p^{r+1}}{3} \\Gamma_p(\\frac{1}{3})^6 \\pmod{p^3},\\quad \\text{if }r \\text{ is odd}, \\end{cases} \\]  where \\(t=1\\) if \\(r\\) is even, and \\(t=2\\) if \\(r\\) is odd.   Using \\(\\binom{z}{k} = (-1) \\frac{(-z)_k}{(1)_k}\\) they obtain a recent conjectural supercongruence of \\textit{Bing He} [Result. Math. 71, No. 3-4, 1223--1234 (2017; Zbl 1421.11005), Conjecture1.3]  They use the general method introduced by \\textit{L. Long} [Pac. J. Math. 249, No. 2, 405--418 (2011; Zbl 1215.33002)] to prove their results. Furthermore, a suitable hypergeometric series identity and properties of gamma function together with recurrence relations of certain rising factorials are used to deduce the main result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2020003$26E4A3B2-3DEC-4DCA-A038-A96AF22FBFAC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3629f9b58c1c86062c61ff85f3263e580bc52bf7","datavalue":{"value":{"entity-type":"item","numeric-id":586708,"id":"Q586708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$05966B07-5139-4FB0-B6B0-5CB3E664C226","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020003$B0F1C0D8-59B6-4FED-B460-704C3F22126C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2db7c2ef637f895a1617542f6fec055c0c00e7f5","datavalue":{"value":"11S80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020003$72209376-FB1E-49A4-A3F1-D226AA709120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24ecfaa76bdf1f24dddaf5b52ce070d4bfb35c4f","datavalue":{"value":"33B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020003$0B64468C-902B-49C2-8AA3-6436850631E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c618f816e6308977cf393dfcfa211f201052855","datavalue":{"value":"33C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020003$DA3848CF-F5CA-48D1-B3AE-45E004312798","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66c56d68608946d9f197ae7a2edd440dfb6a7e76","datavalue":{"value":"7336787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020003$0DD690B1-9865-4BB1-ACCD-8A7356469339","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001a4bfab4cc1e147ed731e59dda9af07a97c548","datavalue":{"value":"hypergeometric series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2020003$E8901264-CC47-4803-8C7F-FE1C228FBD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6933904f2da74e6d0560cde2be3588f167798f0e","datavalue":{"value":"supercongruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2020003$55913EFB-F65C-428F-8B50-4DCE38E5FA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acadc98dcbde88a1a9a2c8f5e7af69185c6ce200","datavalue":{"value":"gamma function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2020003$45B01D19-0B48-4FDD-BAF9-56919E274F97","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":"Q2020003$AFE6B342-4DC2-4742-9021-636E58140A4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54e2da92371c450e220e23f1824c5a05581f9c4c","datavalue":{"value":"https://doi.org/10.1007/s40993-021-00249-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2020003$47733772-D8A0-4175-BAA2-E8E4A49A62D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f180314a620cc8b294f62fa7ab05ff91e060b950","datavalue":{"value":"W3137070426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020003$73DD2D49-3DE5-445F-A72D-64F6B681A2C4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f8e53b76f3ebc800b677b5a90d136c25af970d3e","datavalue":{"value":"Q113891357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020003$954A746D-15CA-415C-8B96-523623142627","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7353a9573c6bfd39561f913f769e86f5b2f6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4222737,"id":"Q4222737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$960E3C7B-01C6-4B43-AE2D-61EF8847EA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae9ca02b00acaba766c152981ff6deadb7b5b204","datavalue":{"value":{"entity-type":"item","numeric-id":5207976,"id":"Q5207976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$FC7044A6-CD63-4043-892D-C8D7B417722B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f861bf7d003a529179e06de06870f4d2e56ea48c","datavalue":{"value":{"entity-type":"item","numeric-id":4965502,"id":"Q4965502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$A834E3A6-D50E-4534-84D8-41C5E96B82AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491f284aa75e267039e6b77543f2110b29f72726","datavalue":{"value":{"entity-type":"item","numeric-id":273478,"id":"Q273478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$1033E464-DEF7-4653-9E84-C15E2B58555A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e898d17f994f123297acfc5e2186db2d18af8d8","datavalue":{"value":{"entity-type":"item","numeric-id":2410849,"id":"Q2410849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$43E981D8-1260-4046-84DC-D0AC39E7337F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2149c8d3bfde8f8396642e9bedcfe6b41e302ce","datavalue":{"value":{"entity-type":"item","numeric-id":2406988,"id":"Q2406988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$51E33F50-A8F3-4F7E-9156-60FE2876376F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c0f74190ff469f4f34d6e138f2ab4616d4ac5a","datavalue":{"value":{"entity-type":"item","numeric-id":5222700,"id":"Q5222700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$1CC1B4D4-B86C-428B-ABC8-455ADF50BB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b61497dadc361dd4523e56ecdbc2b18bc581a91","datavalue":{"value":{"entity-type":"item","numeric-id":829679,"id":"Q829679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$F24F7FB8-D38E-4EF6-82DF-08DC8E62B4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c7a19f1b16b8ad4f4e36357a0c590ca882e033","datavalue":{"value":{"entity-type":"item","numeric-id":2210763,"id":"Q2210763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$0CE91DDE-4330-43D6-AD84-9AA6CACBFFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e859ad8a3f93949da4b24128e52887294039adfa","datavalue":{"value":{"entity-type":"item","numeric-id":4644439,"id":"Q4644439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$BD4B0B1D-7D2B-41DD-A868-B0EEB37FA92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea350e466250067a6f70ee5f328890dbdf3cc851","datavalue":{"value":{"entity-type":"item","numeric-id":2241679,"id":"Q2241679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$9E915346-80A4-407B-B372-08FC3E196A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0582593b9922595669235397dc565e39e9f3c3c3","datavalue":{"value":{"entity-type":"item","numeric-id":3880931,"id":"Q3880931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$3A62E636-DDE9-4E37-A610-BAD67AF9700F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89e7072f325fbe898ff1ff06cd71b35e50727de","datavalue":{"value":{"entity-type":"item","numeric-id":681260,"id":"Q681260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$58E5A78C-3752-44F4-A545-EBB9D13F0701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc3b4749d6780ae2178efe7b99a66966fadf10e","datavalue":{"value":{"entity-type":"item","numeric-id":627404,"id":"Q627404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$66441B80-1C1B-4BF0-8702-33C44A1BA1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e352cf56ecb5cf22d9a3c0558fbe8d1f94c3c0","datavalue":{"value":{"entity-type":"item","numeric-id":908081,"id":"Q908081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$8DB40EDC-C4EF-4805-9035-AFFADAE4C450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7d4f5c02a6b67764103cbb594b526df444958d","datavalue":{"value":{"entity-type":"item","numeric-id":290374,"id":"Q290374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$6F0F40FE-23DC-4B3A-892A-DBBC59328A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae9710e7342a294f3b54d4c4e1c25c6734feb60","datavalue":{"value":{"entity-type":"item","numeric-id":4357441,"id":"Q4357441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020003$E812D2B9-2BD6-45A3-976C-E39BEE7568B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c9a82d65ec169594d3e06bad1404bcad2a52291","datavalue":{"value":"10.1007/S40993-021-00249-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020003$48D7D47A-662E-478A-ADC1-D1452C7BE19E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354a804ee672224ea40799593ce8e98cb64d3ef4","datavalue":{"value":{"entity-type":"item","numeric-id":4644439,"id":"Q4644439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b90536247c7cc3b9a3d6f92a29d628ed0ef7db","datavalue":{"value":{"amount":"+0.8813957571983337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2020003$F80D095F-6DF2-43CB-A787-36175B4020FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b156a857b744c6abe103cabb9f0b83b89774e8be","datavalue":{"value":{"entity-type":"item","numeric-id":2406988,"id":"Q2406988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321ea25c1c0108bb34cae51eb1428ddbbd1896cf","datavalue":{"value":{"amount":"+0.854022204875946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2020003$DEAC6545-8C12-4CC6-9FF6-42D55FE4E449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c9d8b81a1bd9015826345a892f6222dcc62603e","datavalue":{"value":{"entity-type":"item","numeric-id":2001241,"id":"Q2001241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1b2568706f218651391c208af7ac30a0f4177d","datavalue":{"value":{"amount":"+0.8487323522567749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2020003$21470087-C727-41B1-8BC7-A3E901AC449C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc2bba9af5c5ff057b675112c73b2c22a8e8ac42","datavalue":{"value":{"entity-type":"item","numeric-id":908081,"id":"Q908081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b22b5be94adec7b223fde9c671103d6bc00d0c","datavalue":{"value":{"amount":"+0.8449507355690002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2020003$B79A13F1-12FF-444E-934C-B968103DE699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c659d26dcdbea91fce9e9ba0178770bac92af6d","datavalue":{"value":{"entity-type":"item","numeric-id":5243407,"id":"Q5243407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76a5520c2af00ab7d48cb5379136d96b5507388","datavalue":{"value":{"amount":"+0.8382400870323181","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2020003$6A383362-E505-4E39-BCDF-309BF4F8FF04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2020003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2020003"}}}}}