Representing and building models for decidable subclasses of equational clausal logic (Q861367)

From MaRDI portal
Revision as of 01:26, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Representing and building models for decidable subclasses of equational clausal logic
scientific article

    Statements

    Representing and building models for decidable subclasses of equational clausal logic (English)
    0 references
    29 January 2007
    0 references
    resolution
    0 references
    model building
    0 references
    decision procedure
    0 references
    model representation
    0 references
    0 references
    0 references
    0 references

    Identifiers