Besonderhede van voorbeeld: -6010924120042383601

English

Together with Martin Davis he developed the Davis–Putnam algorithm for the Boolean satisfiability problem[17] and he helped demonstrate the unsolvability of Hilbert's tenth problem.

Spanish

Desarrolló, junto con Martin Davis, el algoritmo de Davis-Putnam para el problema de satisfacibilidad booleana,[11] y ayudó a demostrar la irresolubilidad del décimo problema de Hilbert.