Incremental variable splitting
From MaRDI portal
Publication:429591
DOI10.1016/j.jsc.2011.12.032zbMath1266.03023OpenAlexW1998457088MaRDI QIDQ429591
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Liberalized variable splitting
- The liberalized \(\delta\)-rule in free variable semantic tableaux
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- A Non-clausal Connection Calculus
- A Labelled System for IPL with Variable Splitting
- Automated Reasoning with Analytic Tableaux and Related Methods
This page was built for publication: Incremental variable splitting
