Kodierung der Differentialgleichung erster Ordnung als Formel erster Ordnung
Kann mir jemand helfen, die beste Kodierung für die folgende Gleichung unter Verwendung einer Formel erster Ordnung zu finden, um sie als Eingabe für den SMT-Löser zu verwenden?