Значение ИВАНОВ ЧЕРВЯЧОК в Большой советской энциклопедии, БСЭ

Что такое ИВАНОВ ЧЕРВЯЧОК

червячок, насекомое семейства мягкотелок отряда жуков; то же, что светляк .

Большая советская энциклопедия, БСЭ.