Hypergeometric type identities in the p-adic setting and modular forms

We prove hypergeometric type identities for a function defined in terms of quotients of the p-adic gamma function. We use these identities to prove a supercongruence conjecture of Rodriguez-Villegas between a truncated 4F3 hypergeometric series and the Fourier coefficients of certain weight four modular form.