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