14:53 duration 14 minutes 53 seconds
12.b
The second video of the Inf2d lecture on Inference in First-Order Logic.