Talk:Herbrand base
From Wikipedia, the free encyclopedia
The phrase: "the Herbrand base recursively defines the set of all terms" is wrong, in my opinion, for the Herbrand base contains atoms, not terms.
Interaction
- This page was last modified 09:37, 5 July 2007 by Wikipedia user Paolo Serafino. Based on work by Wikipedia user(s) Snowbot.
- All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity. - About Wikipedia
- Disclaimers