{"entities":{"Q1378409":{"pageid":1389149,"ns":120,"title":"Item:Q1378409","lastrevid":67290192,"modified":"2026-04-12T16:38:14Z","type":"item","id":"Q1378409","labels":{"en":{"language":"en","value":"A two-line algorithm for proving \\(q\\)-hypergeometric identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1117627"}},"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":"Q1378409$B8E8430F-9B7A-4CFD-8272-912991A89D0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cde02044e0a3e3079a1afff6fcce51a4b607e4f0","datavalue":{"value":{"text":"A two-line algorithm for proving \\(q\\)-hypergeometric identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1378409$7AF4B49E-4AB3-4C65-824F-9C1F441DE9D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4790ef63d4ab5921ef678b244fa1cd1b4b91a94","datavalue":{"value":"0903.33008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378409$A9DA453D-F725-4F20-A2A8-0D34B05491B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81e79fe3dbe4477c494cfbbbc07abf3001fa7e4c","datavalue":{"value":{"entity-type":"item","numeric-id":331487,"id":"Q331487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378409$8D85B34D-65D9-448A-AC50-175294179377","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378409$63D15502-2A3A-4984-994E-CC566EE61B21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22d07358f262b81c81660b922dca601525060341","datavalue":{"value":{"time":"+1998-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1378409$C1726FA3-BBFF-4431-A25D-02FD326DB041","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0072a94f84016e73497e5c27c3accf1ac89c2a1","datavalue":{"value":"In an earlier paper [\\textit{Y. Lily}, J. Math. Anal. Appl. 198, No. 3, 856-878 (1996; Zbl 0857.33002)] the author showed that hypergeometric identies \\(\\sum_kF(n,k)=f(n), n\\geq n_0\\) can be proved by checking a finite number of consecutive values of \\(n\\), id est for \\(n\\in\\{n_0,n_0+1,\\ldots,n_1\\}\\). Moreover, a first (theoretical) estimate of \\(n_1\\) was given in terms of the coefficients in \\(F(n,k)\\). The paper under review can be seen as a \\(q\\)-analogue of this earlier result. The algorithm is based on the \\(q\\)-analogue of Zeilberger's construction for proving hypergeometric identities [see \\textit{T. H. Koornwinder}, J. Comput. Appl. Math. 48, No. 1-2, 91-111 (1993; Zbl 0797.65011)]. This construction is based on Sister Celine's method [see \\textit{D. Zeilberger}, J. Math. Anal. Appl. 85, 114-145 (1982; Zbl 0485.05003) and also the marvellous book of \\textit{M. Petkovsek, H. S. Wilf} and \\textit{D. Zeilberger}, \\(A=B\\), Wellesley, MA, A.K. Peters (1996, Zbl 0848.05002)]. The first ``a priori'' estimate for \\(n_1\\) is too big and complicated to be of pratical use, but it might be possible that these estimates can be made smaller as the author indicates. More on algorithmic ways of proving hypergeometric identities can be found in [\\textit{H. S. Wilf} and \\textit{D. Zeilberger}, Invent. Math. 108, 575-634 (1992; Zbl 0782.05009)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378409$C16BF267-5DAC-40B0-B01A-4FFE84301B57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67f82d05d536127c774077d55aec4ca53f83fd2a","datavalue":{"value":"33D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378409$785FF7DA-E0E8-4252-ADAE-E072B5D42358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2878726e144b349cdff0443c91b453767c760f4","datavalue":{"value":"05A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378409$FAD5445D-E8FC-4F55-9019-846BA58EBFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25f922681f42c942d6ee32154d152600266c40ca","datavalue":{"value":"39A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378409$D36A805E-7976-40E1-BAA6-1BE17E2D63C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22593d8c9e1a01e554ae05c14b871f4de316510e","datavalue":{"value":"1117627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378409$2C9A53DC-11C6-4EB3-A4E6-CF6CAF136257","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66a284932ebbe15f0b1f7758661a1d3cd1b06646","datavalue":{"value":"\\(q\\)-hypergeometric identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378409$A00C60C6-AD29-4249-B220-90996723BB3B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f7f0502d0e2d30b1e8d4d2443c634e59469b902e","datavalue":{"value":{"entity-type":"item","numeric-id":590813,"id":"Q590813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378409$5F8EC5F9-57E0-4AEC-A8A5-D52576227946","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":"Q1378409$D06A1759-0AD8-42B5-83E5-4FAA45468B7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e3d8ddbbb217087c8e0b683972099161f01699b","datavalue":{"value":"https://doi.org/10.1006/jmaa.1997.5131","type":"string"},"datatype":"url"},"type":"statement","id":"Q1378409$B6E04456-CA82-4A77-9A8D-616801FACB27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"194ab8d52030b119adc49bd8879b78395ef0bfe9","datavalue":{"value":"W2040314425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378409$43CC8021-7836-47C3-AF42-3940021C4FB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fc9d632d0fddd428874a3c6d86571b3e1f7412","datavalue":{"value":{"entity-type":"item","numeric-id":4052481,"id":"Q4052481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378409$FE76CB76-3277-4F50-A5B2-C2DA8A1E90D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"198512f03d1613842e6fed4a80c34d9c3085f434","datavalue":{"value":{"entity-type":"item","numeric-id":5789858,"id":"Q5789858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378409$E164909A-74BD-4321-8AC2-D2CD1B777E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09869185cb34b7c6e965eb597f0621f6bc5b16bd","datavalue":{"value":{"entity-type":"item","numeric-id":4040884,"id":"Q4040884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378409$EB22B947-5E03-45F6-A048-ACFFE9F22604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aab24d6c1e3b5b37faa6b04e82b49b7247025ac","datavalue":{"value":{"entity-type":"item","numeric-id":4044675,"id":"Q4044675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378409$5868C203-30FA-4523-97B3-7DF8EBF9CA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87418d9b7c8a9bf210bfe3409cb61b5b4946fce","datavalue":{"value":{"entity-type":"item","numeric-id":1318445,"id":"Q1318445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378409$88F758DB-F0EC-4BE3-8D63-2F3732399033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40609129a0d35ee12e6ac69a93a2673b04306308","datavalue":{"value":{"entity-type":"item","numeric-id":1918896,"id":"Q1918896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378409$EC3811C3-B014-4ECC-9FBB-FF8AF4E192A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b90f86fe8d09763fca1421da1eabdf755d7afa2","datavalue":{"value":{"entity-type":"item","numeric-id":811594,"id":"Q811594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378409$BB3A2354-EBB9-4D71-84CA-8C7B3557A58B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8d47c9096800c1bb18c2bfb0528ba7e9d074f55","datavalue":{"value":"10.1006/JMAA.1997.5131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378409$86F08F41-81AD-41B1-A87A-A188E63E4CE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0be9895a507aaa2a19ba18ffaa4e7c2a98187f","datavalue":{"value":{"entity-type":"item","numeric-id":1398270,"id":"Q1398270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e60da1d861eb6aac644cb59ff40652e69ac0bf4","datavalue":{"value":{"amount":"+0.8924950957298279","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":"Q1378409$668299BD-79A5-4C9B-BC56-9FB8D2FF5DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c21c73d54f0abc5420441f210bc0528cbcd422","datavalue":{"value":{"entity-type":"item","numeric-id":1917998,"id":"Q1917998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1035e35578eb71b312fd4588e1a38a3f1b4d1cf1","datavalue":{"value":{"amount":"+0.8008975982666016","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":"Q1378409$A8305571-56B3-4791-ACD8-C0B2177F991F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3c35f27e05fcc46eb5bc5808df1e52034aba4ab","datavalue":{"value":{"entity-type":"item","numeric-id":811594,"id":"Q811594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48be8228f1838a7345c4c71d3286eb9157ffce75","datavalue":{"value":{"amount":"+0.7912917137145996","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":"Q1378409$3AE24587-025F-4455-B9ED-30B4CCEC281F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd5053bbf331aadb483b20e6d483b50a6b5ca61","datavalue":{"value":{"entity-type":"item","numeric-id":999090,"id":"Q999090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f2568d35b4c3072dfa819efbc41b1abda89575","datavalue":{"value":{"amount":"+0.7763530015945435","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":"Q1378409$9CFB31D1-7697-4292-B2CD-0EEF7EBFEB4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A two-line algorithm for proving \\(q\\)-hypergeometric identities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_two-line_algorithm_for_proving_%5C(q%5C)-hypergeometric_identities"}}}}}