Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226): Difference between revisions
From MaRDI portal
Latest revision as of 15:54, 22 July 2024
scientific article; zbMATH DE number 7198318
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable |
scientific article; zbMATH DE number 7198318 |
Statements
Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (English)
0 references
11 May 2020
0 references