Herbrandization English (Q5736209)
construction that maps a formula to another in a way that preserves validity (but not necessarily satisfiability) English
| Language | Label | Description | Also known as |
|---|---|---|---|
| British English | No label defined |
No description defined |
Statements
/m/0f7898
0 references
Q448086 (Deleted Item)
0 references