Prompt-Testing of Logic. - Vladimir Hahanov; David Devadze; Ivan Hahanov; Svetlana Chumachenko; Eugenia Litvinova; Volodymyr Obrizan; Pashkov Dmytro; Alexander Mishchenko; Nataliya Maksymova (EWDTS, 2024)