This video belongs to the openHPI course Semantic Web Technologies . Do you want to see more?
Previous
4-5 Foundations of Logic
Next
4-9 Tableaux Algorithm