Double Exponential Inseparability Of Robinson Subsystem Q+ From The Unsatisfiable Sentences In The Language Of Addition.
Giovanni FagliaPublished in: Kurt Gödel Colloquium (1993)
Keyphrases
- double exponential
- natural language
- intended meaning
- programming language
- model theoretic
- database
- language learning
- operational semantics
- artificial intelligence
- special case
- first order logic
- expressive power
- text summarization
- machine translation system
- semantic representations
- probabilistic context free grammars