Semilinear wave equations with time-dependent coefficients

We prove the existence of strong and weak solutions to the semilinear wave equation with coefficients depending both on time and space variables, with continuous nonlinearity satisfying the sign condition. The uniqueness is proven under slightly more restrictive assumptions. Furthermore, the results obtained in abstract setting are illustrated on practical examples.