5,437 followers
On first-order expressibility of satisfiability in submodels. https://t.co/Ecay4KTEa9
On first-order expressibility of satisfiability in submodels. https://t.co/Ecay4KTEa9
Denis I. Saveliev : On first-order expressibility of satisfiability in submodels https://t.co/1R3McqYXI0 https://t.co/gnHeV1Svrm