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.
Does a proof simply take too long or will the computation never halt anyway?
Due to its complexity and remaining limitations FOL is often not suitable for practical applications
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License