09:47 duration 9 minutes 47 seconds
12.c
The third video of the Inf2d lecture on Inference in First-Order Logic.