In Chernikov's articles, therefore, a series of geometrically obvious properties of linear inequalities is given in analytic form that is more convenient for the use of machine techniques.
Sa Chernikov's articles, samakatuwid, ng isang serye ng mga geometrically halata pag-aari ng mga guhit inequalities ay ibinigay sa analytic form na ito ay mas madali para sa paggamit ng mga makina pamamaraan.