Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory).