Incremental variable splitting

DOI10.1016/J.JSC.2011.12.032zbMATH Open1266.03023OpenAlexW1998457088MaRDI QIDQ429591FDOQ429591

Martin Giese, Christian Mahesh Hansen, Roger Antonsen, Arild Waaler

Publication date: 20 June 2012

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2011.12.032

Recommendations

• Liberalized variable splitting
• A free variable sequent calculus with uniform variable splitting
• Automated Reasoning with Analytic Tableaux and Related Methods
• The 481 ways to split a clause and deal with propositional variables
• scientific article; zbMATH DE number 1765699

zbMATH Keywords

theorem provingtableauxvariable splittingincremental closure

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The liberalized \(\delta\)-rule in free variable semantic tableaux
• Title not available (Why is that?)
• A Non-clausal Connection Calculus
• A Labelled System for IPL with Variable Splitting
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automated Reasoning with Analytic Tableaux and Related Methods
• Liberalized variable splitting

Cited In (1)

• Title not available (Why is that?)

Uses Software

• TPTP

This page was built for publication: Incremental variable splitting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q429591)