[texdoc]
\documentclass[a4paper,12pt]{scrartcl}
\usepackage[ngerman]{babel}
\usepackage[hidelinks]{hyperref}
\usepackage[thref,hyperref]{ntheorem}
\usepackage{amsmath}
\begin{document}
\pagenumbering{Roman}
\setcounter{page}{1}
\newtheorem{defi}{Definition}[section]
\newtheorem{satz}[defi]{Satz}
\newtheorem{kor}[defi]{Korollar}
\section{Kapitel}
\begin{defi}\label{def1}
Inhalt...
\end{defi}
\begin{satz}\label{satz1}
Inhalt...
\end{satz}
\begin{kor}\label{kor1}
Inhalt...
\end{kor}
\subsection{Ist-Zustand}
\begin{align*}
\overset{\textrm{\thref{def1}}}{=} \\
\overset{\textrm{\thref{satz1}}}{=}\\
\overset{\textrm{\thref{kor1}}}{=}
\end{align*}
\subsection{Soll-Zustand}
\begin{align*}
\overset{\textrm{Def.}~\ref{def1}}{=} \\
\overset{\textrm{Satz}~\ref{satz1}}{=} \\
\overset{\textrm{Kor.}~\ref{kor1}}{=} \\
\end{align*}
\end{document}
[/texdoc]
Besteht die Möglichkeit, vielleicht über einen neuen Command auch thref mit Abkürzungen zu nutzen. Also dass im Fließtext weiterhin "Definition 1.1" steht, aber in einer Formel "Def. 1.1"? Und das halt automatisch für Definition, Korollar, usw.