Universal Quantification in Mandarin.

Published in: TLLM (2020)

Keyphrases

universal quantification
universally quantified
quantified boolean formulae
propositional logic
relational calculus
relational algebra
expressive power
query evaluation
domain independent
knowledge base
search algorithm
query language