On Skolem Ultrapowers and Their Non-Standard Variant.

Henryk Kotlarski

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

Keyphrases

first order logic
real world
metadata
data mining
reinforcement learning
search algorithm
pairwise