Revisão das 00h36min de 1 de fevereiro de 2015 editar Rodrigolopesbot (discussão \| contribs) Robôs 61 123 edições m →‎Ligações externas: desambiguando categoria ← Ver a alteração anterior		Revisão das 00h41min de 1 de fevereiro de 2015 editar desfazer Kaktus Kid (discussão \| contribs) 218 630 edições Ajustes Ver a alteração posterior →
Linha 21: \|conhecido_por ={{nowrap\|[[Algoritmo de Davis-Putnam]]}}, {{nowrap\|[[Algoritmo DPLL]]}} \|influenciado = \|premio ={{nowrap\|[[Prêmio ~~Herbrand~~Leroy P. Steele]] (1975)}}, {{nowrap\|[[Prêmio ~~Herbrand~~Chauvenet]] (~~2005~~1975)}}, {{nowrap\|[[Prêmio Herbrand]] (2005)}} \|conjuge = \|religiao =

Martin Davis: diferenças entre revisões