Beweiszustand
Ein Beweiszustand ist die Menge der momentan noch offenen Beweisverpflichtungen, die im Verlauf einer Beweisführung noch zu zeigen sind.
Select a result to preview
Ein Beweiszustand ist die Menge der momentan noch offenen Beweisverpflichtungen, die im Verlauf einer Beweisführung noch zu zeigen sind.