00:00
14
This is a clip which comes from video-monitoring the knowledge base of our Automated Theorem Prover Leo II running an example from the TPTP library.
Leo II's representation of terms is graph based, thus the term memory can be displayed as an image. I took a snapshot of the graph after each processing step.
ags.uni-sb.de/~chris/leo
tptp.org
Loading more stuff…