@misc{Hambardzumyan_Arsen_A._Investigation,
 author={Hambardzumyan, Arsen A.},
 howpublished={online},
 publisher={Изд-во НАН РА},
 abstract={In this paper, we investigate the relations between the Frege proof lines of minimal tautologies and the results of substitutions in them. Սույն աշխատանքում հետազոտվել են մինիմալ նույնաբանությունների և նրանց մեջ կատարված տեղադրությունների արդյունքների նվազագույն արտածման քայերի հարաբերությունը Ֆրեգեի համակարգերում: В настоящей работе для систем Фреге исследовано соотношение количества шагов выводов минимальных тавтологий и результатов подстановки в них.},
 title={Investigation of Monotonous Properties for Frege Systems},
 type={Հոդված},
 keywords={Mathematical cybernetics, Computer science},
}