Talk:Uninterpreted function
Add topicLatest comment: 6 years ago by Jarble in topic "Function symbol" vs. "function symbol (logic)"
 | This redirect does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
| ||||||||||||||||||
Misleading example
[edit]The example does not use the empty theory! --Tillmo (talk) 17:56, 24 June 2011 (UTC)
- I agree (8 years later). The select() function in the example is clearly not uninterpreted, since its definition is given. I'll remove the example and try to come up with a better one. Jonathan Boatl (talk) 11:45, 22 November 2019 (UTC)
- I replaced the example with a very simple SMT-LIB one. Jonathan Boatl (talk) 12:08, 22 November 2019 (UTC)
"Function symbol" vs. "function symbol (logic)"
[edit]"Function symbol" redirects to functional predicate, but function symbol (logic) redirects to uninterpreted function. What is the reason for this inconsistency? Jarble (talk) 15:40, 9 March 2020 (UTC)