question: What did von Neumann use the Haar theorem to solve in a 1936 paper ?
answer: Hilbert 's fifth problem in the case of compact groups
turker_answer: Von Neumann used Hilbert 's fifth problem in the case of compact groups .
rule-based: Von Neumann used Hilbert 's fifth problem in the case of compact groups the Haar theorem to solve in a 1936 paper .