Labelled Unit Superposition Calculi for Instantiation-Based Reasoning (Q4933325)

From MaRDI portal
Revision as of 00:23, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 5798915
Language Label Description Also known as
English
Labelled Unit Superposition Calculi for Instantiation-Based Reasoning
scientific article; zbMATH DE number 5798915

    Statements

    Labelled Unit Superposition Calculi for Instantiation-Based Reasoning (English)
    0 references
    0 references
    0 references
    12 October 2010
    0 references

    Identifiers