Das Computerprogramm überprüfte verschiedene Modelle, um zu sehen, welches genau vorhersagte, obder Schüler die Klasse bestehen würde, basierend auf seinen Hausaufgabennoten.
Ein mathematisches Problem und seine Lösung bilden eine Menge von Sätzen; die richtige Antwort liefert die Modelle für diesesProblem und macht die mathematischen Sätze wahr.