Metadata
Author: ParaCrawl Corpus
Data
German[de]
Die dritte dient dem Nachweis der Equivalenz von mehreren Kriterien für das Herauslesen von Unabhängigkeitsfeststellungen aus gerichteten azyklischen Graphen.
English[en]
The third is to show the equivalence of several criteria for reading off independence statements from directed acyclic graphs.'