Representing and building models for decidable subclasses of equational clausal logic (Q861367): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 15:03, 30 January 2024

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
    0 references
    29 January 2007
    0 references
    resolution
    0 references
    model building
    0 references
    decision procedure
    0 references
    model representation
    0 references

    Identifiers