Along with Martin Davis and Hilary Putman she gave a fundamental result which contributed to the solution to Hilbert 's Tenth Problem, making what became known as the Robinson hypothesis.
Kasama Martin Davis at kasayahan Putman siya ibinigay ng isang pangunahing mga resulta na ambag sa solusyon sa Hilbert 's ikasampu Problem, paggawa ng kung ano ang naging kilala bilang ng mga teorya Robinson.