Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Resolution is a sound and complete inference procedure for First-Order Logic
Due to its complexity and remaining limitations FOL is often not suitable for practical applications
Often formalisms expressivity and complexity results are more appropriate:
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License