Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/output/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 200 B image not shown  

Quellcode-Bibliothek PrintUnivsSubgraph.out   Sprache: unbekannt

 
Untersuchungsergebnis.out Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln

Set < i
    < j
i < j (because i <(from foo) j)

Set < i
    < k
i < k (because i <(from foo) j <(from connect) l <(from baz) k)

Set < u
    < v
v < u (because v <(from PrintUnivsSubgraph.T.foo) u)


[ 0.99Quellennavigators  ]