{"entities":{"Q1298586":{"pageid":1309336,"ns":120,"title":"Item:Q1298586","lastrevid":67316364,"modified":"2026-04-12T16:48:28Z","type":"item","id":"Q1298586","labels":{"en":{"language":"en","value":"Identities of nonterminating series by Zeilberger's algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1326386"}},"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":"Q1298586$8B75D154-499E-4F44-8E09-0D021357668E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd5fae27aa7b4c01089a4ff455b35efd07ba1a09","datavalue":{"value":{"text":"Identities of nonterminating series by Zeilberger's algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1298586$F30BD259-AFCC-45C1-8120-E83833E732C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c87f44b4663f193ec98b31b24023891a455513a","datavalue":{"value":"0945.65015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298586$ED45EC53-C7D7-4247-99E7-BAD86574BCA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79509499b3686e0f698499b92b2c1181cc38df82","datavalue":{"value":"10.1016/S0377-0427(98)00176-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298586$5476E509-47D2-4261-8CE3-E514905F9191","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9291c21615d62497aa2bb6404791ba4d7844695d","datavalue":{"value":{"entity-type":"item","numeric-id":61355,"id":"Q61355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1298586$7FF96D71-4002-40EE-B087-6263225121BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab7ec59f442ed2c9caeaddf0e0a1a05bb9be28f4","datavalue":{"value":{"time":"+2000-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1298586$E80BCE27-5A9E-42C9-9895-C8590011AA33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4f7de179eb6a74ed9d4d66f757497d3470f0ec2","datavalue":{"value":"https://arxiv.org/abs/math/9805010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1298586$20A20327-DD37-4C54-877D-9F8F4ECF3129","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c2dd5a93febae40b9d663d61f472fd432f9bf9ce","datavalue":{"value":"The Gosper algorithm and in particular the subsequent Zeilberger algorithm and the related WZ method have been extremely successful for an approach by computer algebra to identities involving hypergeometric functions [cf. \\textit{M. Petov\u0161ek}, \\textit{H. S. Wilfe} and \\textit{D. Zeilberger}, \\(A=B\\). Wellesley, MA: A. K. Peters (1996; Zbl 0848.05002)]. But this method remains restricted to the case of identities for the terminating hypergeometric series.   The author shows that automated proofs of the identities for non-terminating hypergeometric series are feasible by a combination of Zeilberger's algorithm and asymptotic estimates. It is shown that the method extends to the non-terminating generalization of Saalsch\u00fctz' summation formula for a terminating Saalsch\u00fctzian \\({_3F_2}\\) hypergeometric series of argumentation \\(1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298586$6EBD71C1-9206-49F2-85B9-8B53D9340B5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c618f816e6308977cf393dfcfa211f201052855","datavalue":{"value":"33C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298586$E730D49F-1D95-47E5-A925-C21A321D1209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42de9321ec9bffe9bd1dcf8c8689a504914f3754","datavalue":{"value":"33F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298586$BC80223F-445F-47D0-9A1B-09561B3BE092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298586$ECBCC8F7-1C4B-4D36-87BC-BF945CDC2D93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dce17afa8d87e7cf6ba956433ec13c2d84a838f","datavalue":{"value":"1326386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298586$554A85F7-8480-4202-B5D1-24C990D55D23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771d174b0ecc6f8cffab66818ee8315d54ca865f","datavalue":{"value":"Gosper algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298586$E468471B-B75C-494B-8FF4-4CA3A6567F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"360938fac8c8f88172ba832a9bd51413e23755d7","datavalue":{"value":"Zeilberger algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298586$9C44ABA8-9E4D-47E8-9C62-216F48716BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc5c4aa8d75caea86589e893539b86480983849e","datavalue":{"value":"WZ method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298586$46293D5B-CC65-4BD5-97A4-713906DFD9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298586$4C7137C4-CFB3-46C5-AEC2-941FB72E06E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83a8b7c60fa08f7eb828c812b4a3955886f43b32","datavalue":{"value":"non-terminating hypergeometric series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298586$017C4CC3-1C61-4D75-BDB6-326B170A77E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f0dd244fc60859ee67020eb323fce817c7ed66a","datavalue":{"value":"asymptotic estimates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298586$E481C745-19CB-4EE8-8EFF-563C61F64230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2dd118b58997d5402746fe8227146a4551d2890","datavalue":{"value":"Saalsch\u00fctz' summation formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298586$90D227AA-1393-47E7-8BDC-E5210998479B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56bc6579d9d399ab27f8aa4584476465253c1dbb","datavalue":{"value":"\\({_3F_2}\\) hypergeometric series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298586$A857D383-1BB2-464D-8E9A-0C00F9DC74AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bbd744923c8f667f8e10a1ef0276a45f2659cb2","datavalue":{"value":{"entity-type":"item","numeric-id":162501,"id":"Q162501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1298586$5C22BCE5-57F1-47CF-9010-34FED65CA85B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c3f4e3418bf16eb083f84c9a838712a352aedfe2","datavalue":{"value":{"entity-type":"item","numeric-id":590594,"id":"Q590594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1298586$1CCAE7E7-B808-4C73-A477-3A5CA058BBA7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f15991c6248f2d7d18e14dd85e0aa71a9fa6e2ed","datavalue":{"value":{"entity-type":"item","numeric-id":26750,"id":"Q26750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1298586$2EE64426-C321-4482-BEB6-DFC465AF4418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67a15cf49eee6a04fd0d093b653c49a45b6143f4","datavalue":{"value":{"entity-type":"item","numeric-id":23280,"id":"Q23280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1298586$0EC6044B-596A-48AE-94C1-D9CB58A3F5CF","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":"Q1298586$AC9F879C-FFB1-40D0-A920-1AEB9743F900","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf642f27a5e151d87048789170324d5bd920c44e","datavalue":{"value":{"entity-type":"item","numeric-id":5820721,"id":"Q5820721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1298586$DA342A40-48BB-46F1-A49F-9E932BEDB998","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":"Q1298586$84175D8B-53A1-48CC-8EF7-CAD909EF4085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b4806b269c9eb7d5de143d7058220f9d40478e","datavalue":{"value":{"entity-type":"item","numeric-id":1918478,"id":"Q1918478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1298586$CDDF9237-0589-4593-A98B-25C228FED2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae9fcffdb48e411530342e9bcb62b3d5f0a6166","datavalue":{"value":{"entity-type":"item","numeric-id":749714,"id":"Q749714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1298586$95D2B8BC-CBB9-4345-B093-A10376EBFADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28e1d9c61e24d48f582f3e8025b51bf5846ae2cd","datavalue":{"value":{"entity-type":"item","numeric-id":4059363,"id":"Q4059363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1298586$C503A933-1CD8-40FB-BAE2-DFE60C93F56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c4ec75eb1df7410ececc1deecb107ec91c8a62","datavalue":{"value":{"entity-type":"item","numeric-id":4875364,"id":"Q4875364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1298586$37CE54F6-3AB9-4385-AAFC-C705E84CABE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1bf873958b9ae258ff6e01bc2ceec21154b580","datavalue":{"value":{"entity-type":"item","numeric-id":3533804,"id":"Q3533804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06d34ac635b857cced41a37d24bb8161afa5142","datavalue":{"value":{"amount":"+0.8464211225509644","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":"Q1298586$0F6A413E-83C8-4EB0-9EEF-485D14897A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5ff401e8f5edb43bf82c5b9f7abe0b32c2693a","datavalue":{"value":{"entity-type":"item","numeric-id":1918478,"id":"Q1918478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d510956ba54207cf9b6eb1fb6193ec2a3f694a","datavalue":{"value":{"amount":"+0.8382800817489624","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":"Q1298586$264FFDD0-2A50-4045-94AA-E2086D598377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"446a893b2746e2f3f8e585f5b460abb28e1bd1bb","datavalue":{"value":{"entity-type":"item","numeric-id":913796,"id":"Q913796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7abd75ec7332944523ec692429379ee480cea051","datavalue":{"value":{"amount":"+0.8329065442085266","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":"Q1298586$56153380-D046-4279-9C6F-674B33BA0CDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Identities of nonterminating series by Zeilberger's algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Identities_of_nonterminating_series_by_Zeilberger%27s_algorithm"}}}}}