The Relative Power of Semantics and Unification (Q4916085)

From MaRDI portal





scientific article; zbMATH DE number 6155896
Language Label Description Also known as
default for all languages
No label defined
    English
    The Relative Power of Semantics and Unification
    scientific article; zbMATH DE number 6155896

      Statements

      The Relative Power of Semantics and Unification (English)
      0 references
      0 references
      0 references
      19 April 2013
      0 references
      theorem proving
      0 references
      propositional calculus
      0 references
      semantics
      0 references
      unification
      0 references
      OSHL
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers