Rechnungsprüfung mit dem Z3-Solver

Wie CustoDoc Rechnungen auf formale Konsistenz prüft, statt Fehler nur zu vermuten.

Bei erkannten Eingangsrechnungen prüft CustoDoc mit dem Z3-Solver formal, ob Nettobetrag, Steuersatz, Steuerbetrag und Bruttosumme rechnerisch zueinander passen, und zeigt eine konkrete Abweichung statt einer pauschalen Fehlermeldung.

Formale Prüfung statt Plausibilitäts-Schätzung

Erkennt CustoDoc anhand des extrahierten Textes eine Eingangsrechnung, lässt sich über den Knopf Rechnungsprüfung (Z3) ein formaler Konsistenz-Check anstoßen: Der Z3-Solver prüft, ob Nettobetrag, Steuersatz, Steuerbetrag und Bruttosumme mathematisch zusammenpassen.

Konkrete statt pauschale Fehlermeldungen

Passt eine Rechnung nicht zusammen, zeigt CustoDoc die genaue Abweichung, zum Beispiel einen falsch berechneten Steuerbetrag, statt nur "Rechnung fehlerhaft" zu melden. Das erspart das manuelle Nachrechnen jeder auffälligen Rechnung.

So sieht die Rechnungsprüfung aus

Formale Rechnungsprüfung mit dem Z3-Solver in CustoDoc

Eine echte geprüfte Rechnung

📄

Eingangsrechnung Bürobedarf Nr. 4471

Rechnung · Musterkanzlei Rechtsanwälte · Status: In Prüfung

Häufige Fragen

Ersetzt die Rechnungsprüfung die Buchhaltung?

Nein. Sie prüft die rechnerische Konsistenz der erkannten Zahlen und weist auf Abweichungen hin, die eigentliche Buchung bleibt Aufgabe der Buchhaltung oder des Steuerbüros.