Pages that link to "Item:Q1242887"
From MaRDI portal
The following pages link to Decidability of a portion of the predicate calculus (Q1242887):
Displaying 6 items.
- Testable and untestable classes of first-order formulae (Q440006) (← links)
- On the structure of \(Ext_ p(G,{\mathbb{Z}})\) (Q1118039) (← links)
- Thue trees (Q1861534) (← links)
- Relational Properties Expressible with One Universal Quantifier Are Testable (Q3646124) (← links)
- Prefix classes of krom formulae with identity (Q3956908) (← links)
- A method for building models automatically. Experiments with an extension of OTTER (Q5210763) (← links)
