First-order reasoning and efficient semi-algebraic proofs.

Fedor Part Neil Thapen Iddo Tzameret

Published in: Ann. Pure Appl. Log. (2025)

Keyphrases

knowledge base
higher order
database
databases
computationally efficient
semi algebraic
mathematical proofs