Talk:Uninterpreted function
Latest comment: 4 years ago by Jarble in topic "Function symbol" vs. "function symbol (logic)"
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
| ||||||||||||||||||
Misleading example
editThe 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" 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)