Error analysis of an implicit–explicit time discretization scheme for semilinear wave equations with application to multiscale problems | Synapse