An overview of tableau algorithms for description logics (Q5955620): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Created claim: Wikidata QID (P12): Q56771043, #quickstatements; #temporary_batch_1711094041063
 
Property / Wikidata QID
 
Property / Wikidata QID: Q56771043 / rank
 
Normal rank

Latest revision as of 15:02, 22 March 2024

scientific article; zbMATH DE number 1705610
Language Label Description Also known as
English
An overview of tableau algorithms for description logics
scientific article; zbMATH DE number 1705610

    Statements

    An overview of tableau algorithms for description logics (English)
    0 references
    0 references
    0 references
    14 February 2002
    0 references
    description logics
    0 references
    tableau algorithms
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references