Pages that link to "Item:Q2374390"

The following pages link to Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor (Q2374390):

Displaying 3 items.

• Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor (Q2374390) (← links)
• What Is Essential Unification? (Q3305325) (← links)
• Unification in the Description Logic $\mathcal{EL}$ without the Top Concept (Q5200016) (← links)