Help
AI3
by Javantea — Oct 2, 2012


Page "Quantifier elimination" Paragraph 6

from Wikipedia
« »  
Every theory with quantifier elimination is model complete.

2.120 seconds.



Most text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply.