17c246a3cc
Verpnüfung und vergleich mit KNF wurde hinzugefügt.
3 lines
No EOL
56 B
Text
3 lines
No EOL
56 B
Text
Variables: a, b, c, d , e , f, g, h
|
|
Terms:
|
|
"xx01xx01">1 |