The Relative Power of Semantics and Unification (Q4916085): Difference between revisions

From MaRDI portal
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: TPTP / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-642-37651-1_14 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W148444778 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ordered semantic hyper-linking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2723420 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4539623 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Deduction – CADE-19 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model Evolution with Equality Modulo Built-in Theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: The model evolution calculus as a first-order DPLL method / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Deduction – CADE-20 / rank
 
Normal rank
Property / cites work
 
Property / cites work: iProver-Eq: An Instantiation-Based Theorem Prover with Equality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Science Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Eliminating dublication with the hyper-linking strategy / rank
 
Normal rank
Property / cites work
 
Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Computing Procedure for Quantification Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Machine-Oriented Logic Based on the Resolution Principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: A machine program for theorem-proving / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ordered semantic hyper tableaux / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated deduction by theory resolution / rank
 
Normal rank
Property / cites work
 
Property / cites work: The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5486135 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3150300 / rank
 
Normal rank
Property / cites work
 
Property / cites work: STRIPS: A new approach to the application of theorem proving to problem solving / rank
 
Normal rank
Property / cites work
 
Property / cites work: ADL and the State-Transition Model of Action / rank
 
Normal rank

Latest revision as of 08:45, 6 July 2024

scientific article; zbMATH DE number 6155896
Language Label Description Also known as
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