- gestellte Fragen oder gegebene Antworten wurden upvotet (5 Punkte je Upvote)
- erhaltene Antwort akzeptiert (2 Punkte je Antwort)
- gegebene Antwort wurde akzeptiert (15 Punkte je Antwort)
Das ganze ist beispielsweise für die Aussagenresolution wichtig oder generell bei Vereinfachungen. Aussagenresolution würde aber den Rahmen dieser Frage sprengen, daher leider kein Beispiel. Wenn du dich aber für automatisiertes Beweisen von Computern interessiert, kannst du das gerne mal recherchieren!