SAT Encoding of Unification in $\mathcal{EL}$ (Q4933298)

From MaRDI portal
scientific article; zbMATH DE number 5798890
Language Label Description Also known as
English
SAT Encoding of Unification in $\mathcal{EL}$
scientific article; zbMATH DE number 5798890

    Statements

    SAT Encoding of Unification in $\mathcal{EL}$ (English)
    0 references
    0 references
    0 references
    12 October 2010
    0 references

    Identifiers