Hypergeometric evaluation identities and supercongruences

In this article, we provide an application of hypergeometric evaluation identities, including a strange valuation of Gosper, to prove several supercongruences related to special valuations of truncated hypergeometric series. In particular, we prove a conjecture of van Hamme.