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