Statistics for Еффективность разновидностей правила подстановки для классических и неклассических логических систем / Տեղադրության կանոնի տարատեսակների էֆեկտիվությունը դասական և ոչ դասական տրամաբանական համակարգերի համար / Efficiency of substitution rule modifications for classical and non-classical logical systems