Model-theoretic Elekes-Szabó in the strongly minimal case.

Artem Chernikov Sergei Starchenko

Published in: J. Math. Log. (2021)

Keyphrases

model theoretic
description logics
deductive databases
minimal models
logic programs
proof theoretic
default reasoning
database systems
fixpoint
decision procedures
databases
natural language
special case
probabilistic model
presburger arithmetic