Transformation formulas for terminating Saalschützian hypergeometric series of unit argument (Q1893875)

The author's main result is a formula expressing \[ {}_{p+2} F_{p+1} \left[ \begin{matrix} {\l}&\;\r\\ a_1, \dots, a_{p+1}, &-m\\ b_1, \dots, b_p, &1-s-m \end{matrix}\;\biggl|\;1\right], \qquad s=b_1+ \cdots+ b_p- a_1- \dots- a_{p+1} \] as a finite sum of \(m+1\) terms, each involving a terminating Saalschützian \({}_{p+1} F_p\). The formula for \(p=4\) is combined with that for \(p=3\) to obtain a double (finite) sum for terminating Saalschützian \({}_6 F_5\). Also, the limit \(m\to \infty\) is considered.