The Gödel Completeness Theorem for Uncountable Languages.

Julian J. Schlöder Peter Koepke

Published in: Formaliz. Math. (2012)

Keyphrases

expressive power
language independent
cross lingual
databases
von neumann
information retrieval
query translation
real time
data mining
genetic algorithm
data quality
text summarization
social bookmarking
language identification
arabic language