@misc{Sona_R._Aleksanyan_On,
 author={Sona R. Aleksanyan and Anahit A. Chubaryan},
 howpublished={online},
 publisher={Изд-во НАН РА},
 abstract={In [4] a measure s on propositional formula was de¯ned such that for every tautology φ "high" value of s(φ) requires the large size of proof in the "weak" propositional systems. In this paper it is shown, that there is a tautology φ, the measure s(φ) of which has exponential dependence on the size of φ, but its proof complexity in Frege systems is polynomially bounded.},
 type={Հոդված},
 title={On some proporties of Frege proofs},
 keywords={Mathematics},
}