Hierarchies of forcing axioms II.

Published in: J. Symb. Log. (2008)

Keyphrases

knowledge base
first order logic
real time
real world
preprocessing
hierarchical structure
databases
information retrieval
social networks
logic programming