Первое мая —
Международный праздник трудящихся; день солидарности рабочих всего мира, боевого смотра сил трудящихся всех стран...
Большая советская энциклопедия
ПЕРВОЕ МАЯ —
Междунар. праздник трудящихся, день солидарности рабочих всего мира, день боевого смотра сил трудящихся всех стран...
Советская историческая энциклопедия
ПЕРВОЕ МАЯ —
ПЕРВОЕ МАЯ — день международной солидарности трудящихся...
Большой энциклопедический словарь