A $p$-adic lower bound for a linear form in logarithms
Linear forms in logarithms have an important role in the theory of Diophantine equations. In this article, we prove explicit $p$-adic lower bounds for linear forms in $p$-adic logarithms of rational numbers using Padé approximations of the second kind.