Größe des Suchbaums

Die Gesamtanzahl der Knoten, die in einem Such- oder Beweisbaum während eines automatisierten Beweis- oder Suchverfahrens erzeugt werden; jeder Knoten repräsentiert ein eigenes Teilziel, eine partielle Zuordnung, eine Zwischenformel oder einen Inferenzzustand.