Besonderhede van voorbeeld: -2884618589490642108

German

Wie in Abschn. 4.3 ordnen wir Falsifizierungsregeln abwärts gerichteten Kanten eines Baumes zu.

English

As in Section 4.3, we associate falsification rules with downward directed edges of a tree.