Decidability of Querying First-Order Theories via Countermodels of Finite Width
From MaRDI portal
Publication:6432930
arXiv2304.06348MaRDI QIDQ6432930
Thomas Feller, Sebastian Rudolph, Piotr Ostropolski-Nalewaja, Tim S. Lyon
Publication date: 13 April 2023
This page was built for publication: Decidability of Querying First-Order Theories via Countermodels of Finite Width