Pages that link to "Item:Q3261418"

The following pages link to The first order properties of products of algebraic systems (Q3261418):

Displaying 2 items.

• Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
• First order theory of cyclically ordered groups (Q2636535) (← links)