Subterm contextual rewriting

DOI10.3233/AIC-2010-0459zbMath1206.68164MaRDI QIDQ3568223

Patrick Wischnewski, Christoph Weidenbach

Publication date: 17 June 2010

Published in: AI Communications (Search for Journal in Brave)

zbMATH Keywords

rewritingautomated theorem proving

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Logical reduction of metarules ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ SCL(EQ): SCL for first-order logic with equality ⋮ Subsumption demodulation in first-order theorem proving ⋮ SCL(EQ): SCL for first-order logic with equality

Uses Software

• SPASS
• TPTP