In the early 1960s, by using techniques from the model theory of first-order logic, Robinson gave a rigorous formulation and …
