TY  - JOUR
AU  - M. M. Kipnis
TI  - A property of propositional formulas
JO  - Doklady Akademii Nauk
PY  - 1967
SP  - 277
EP  - 278
VL  - 174
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1967_174_2_a4/
LA  - ru
ID  - DAN_1967_174_2_a4
ER  -