Zeugenextraktion

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Der Prozess, aus einem Beweis, einer Widerlegung, einem Modell oder einer Solver-Trace einen konkreten Zeugen, Gegenbeispiel oder eine erfüllende Belegung zu erzeugen, sodass existenzielle Aussagen oder Erfüllbarkeitsresultate durch explizite Artefakte belegt werden.