Herbrand interpretation (Q1035432)
Jump to navigation
Jump to search
simple logical interpretation
Language | Label | Description | Also known as |
---|---|---|---|
English | Herbrand interpretation |
simple logical interpretation |
Statements
Identifiers
Sitelinks
Wikipedia(6 entries)
- dewiki Herbrand-Interpretation
- enwiki Herbrand interpretation
- huwiki Herbrand-interpretáció
- ptwiki Interpretação de Herbrand
- ruwiki Эрбранова интерпретация
- ukwiki Інтерпретація Ербрана