Википедия
Процинозу́х (Procynosuchus) — род цинодонтов поздней перми (зоны Cistecephalus-Dicynodon). Остатки обнаружены в Карру, Замбии и Германии.
Процинозух получил своё название от Роберта Брума в 1937 году. Он же в 1931 году дал имя другому цинодонту — цирбазиодону (Cyrbasiodon). Паррингтон в 1936 году дал имя ещё одному цинодонту — паратринаксодону (Parathrinaxodon). Оба животных считаются синонимами процинозуха . По Международному кодексу зоологической номенклатуры, цирбазиодон и паратринаксодон — приоритетные имена, так как они были даны раньше. Но, в отличие от процинозуха, чьё название довольно часто встречается в научной литературе, эти названия редко использовались после выделения. В 2009 году некоторые учёные предложили присвоить Procynosuchus статус «сохранённого» имени (nomen conservandum), а Cyrbasiodon и Parathrinaxodon — статус «отвергнутого» имени (nomena rejecta). В 2010 году процинозуху был присвоен статус «сохранённого имени». Кстати, из верхней перми России был описан цинодонт Cyrbasiodon vladimiriensis, который в настоящее время считается видом рода процинозух.