On the existence of Large Antichains for Definable quasi-Orders.

Benjamin D. Miller Zoltán Vidnyánszky

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

Keyphrases

real world
first order logic
knuth bendix
machine learning
decision making
knowledge base
image processing
relational databases