Uninterpreted function (Q7885264)
Jump to navigation
Jump to search
Type of function in mathematical logic
Language | Label | Description | Also known as |
---|---|---|---|
English | Uninterpreted function |
Type of function in mathematical logic |
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Uninterpreted function
- fawiki تابع تفسیرنشده