TY - JOUR T1 - Príbeh o skúške správnosti A1 - Doboš, Jozef JA - Obzory matematiky, fyziky a informatiky Y1 - 2013 VL - 42 IS - 4 SP - 9 EP - 14 SN - 1335-4981 N2 - The aim of this paper is to demonstrate that verification of a solution is possible even if the problem has infinitely many solutions. ER -