Проверка фактов (информатика)