Определение слова «Петровск-Порт»

Большой энциклопедический словарь:

ПЕТРОВСК-ПОРТ — название г. Махачкала до 1922.

Большая советская энциклопедия:

Петровск-Порт
Прежнее (с 1857 до 1922) название г. Махачкала, столицы Дагестана АССР.

Топонимический словарь:

см. Махачкала