Decidability_of_first-order_theories_of_the_real_numbers loading ...