Precondition - Satisfiability
Frage:
Wann ist eine Vorbedingung c eines Schritts $S_j$ erfüllt (durch $S_i$)?
Antwort:
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Kommentare
Nur angemeldete Nutzer dürfen kommentieren.
Hier geht's zur kostenlosen Registrierung.