Teken aan
Besonderhede van voorbeeld: 3886598018155476508
terug
Metadata
Author:
ParaCrawl Corpus
Data
English
[en]
It was also used by Yuri Matiyasevich to solve Hilbert's tenth problem.
Spanish
[es]
También fue usado por Yuri Matiyasevich para solucionar el décimo problema de Hilbert.
History
Your action:
Comment
Mark incorrect example
Please enable JavaScript.