Vaught Sentences and the Covering Theorem.

David W. Kueker

Published in: Math. Log. Q. (1988)

Keyphrases

natural language
multi document summarization
sentence level
extractive summarization
text classification
syntactic structures
document summarization
inter annotator agreement
linguistic features
von neumann
automatic summarization
phrase structure
lexical features
interactive theorem proving