Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
trs.prf
Sprache: Unknown
|
(trs
(IMP_critical_pairs_TCC1 0
(IMP_critical_pairs_TCC1-1 nil 3416647606
("" (rewrite "var_countable") nil nil)
((var_countable formula-decl nil trs nil)) nil)))
[ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
]
|
|
