Использование А-машины в задаче автоматизации импорта и верификации данных в наукометрической информационной системетезисы доклада