@ARTICLE {, title = {Príbeh o skúške správnosti}, author = {Doboš, Jozef}, journal = {Obzory matematiky, fyziky a informatiky}, year = {2013}, volume = {42}, number = {4}, pages = {9--14}, issn = {1335-4981}, abstract = {The aim of this paper is to demonstrate that verification of a solution is possible even if the problem has infinitely many solutions.}, }