This video belongs to the openHPI course Knowledge Engineering with Semantic Web Technologies. Do you want to see more?
Previous
3.5 Short Recapitulation of First Order Logic
Next
3.6 How to mechanize Reasoning - Tableaux Algorithm