Existential Horn Sentences (Q5722263): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: On closure under direct product / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On sentences which are true of direct unions of algebras / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An interpolation theorem in the predicate calculus / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The decision problem for some classes of sentences without quantifiers / rank | |||
Normal rank | |||
Latest revision as of 20:19, 11 June 2024
scientific article; zbMATH DE number 3185966
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Existential Horn Sentences |
scientific article; zbMATH DE number 3185966 |
Statements
1959
0 references
mathematical logic
0 references
Existential Horn Sentences (English)
0 references
