scientific article; zbMATH DE number 7799614

DOI10.4230/lipics.fsttcs.2021.36arXiv2106.15250MaRDI QIDQ6187052

Unnamed Author, Unnamed Author, Bartosz Bednarczyk, Tony Tan

Publication date: 5 February 2024

Full work available at URL: https://arxiv.org/abs/2106.15250

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

knowledge representationsatisfiabilityguarded fragmentstatistical reasoningtwo-variable fragmentfragments of first-order logic(un)decidability

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

This page was built for publication: