Pages that link to "Item:Q1040258"
From MaRDI portal
The following pages link to Algebraic geometry in first-order logic (Q1040258):
Displaying 17 items.
- Multi-sorted logic, models, and logical geometry. (Q289767) (← links)
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras (Q535110) (← links)
- Logic in representations of groups (Q694234) (← links)
- Computer theorem proving in mathematics (Q704001) (← links)
- Isotyped algebras (Q744308) (← links)
- Multi-sorted logic and logical geometry: some problems. (Q895878) (← links)
- Topologies of pointwise convergence in the first order languages and in affine spaces (Q2046641) (← links)
- Universal algebraic geometry: syntax and semantics (Q2673104) (← links)
- Syntax versus semantics in knowledge bases – I (Q4611332) (← links)
- Action of endomorphism semigroups on definable sets (Q4611342) (← links)
- Types of points and algebras (Q4611348) (← links)
- (Q4691922) (← links)
- Algebraic Logic and Knowledge Bases (Q5015962) (← links)
- Logically automorphically equivalent knowledge bases models (Q5157754) (← links)
- Geometric view on homogeneous groups (Q5239104) (← links)
- Syntax versus semantics in knowledge bases II (Q5239105) (← links)
- Seven lectures on universal algebraic geometry (Q5239109) (← links)
