Liberalized variable splitting
type: Item
instance of: scholarly article
title: Liberalized variable splitting
zbMATH Open document ID: 1121.03019
author: Roger Antonsen
author: Arild Waaler
published in: Journal of Automated Reasoning
publication date: 2007-05-04T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5149287
zbMATH Keywords: connection method
zbMATH Keywords: tableau calculus
zbMATH Keywords: first-order logic
describes a project that uses: ModLeanTAP
MaRDI profile type: Publication
full work available at URL: s10817-006-9055-9
OpenAlex ID: W1988574992
cites work: Theorem Proving via General Matings
cites work: Automated Reasoning with Analytic Tableaux and Related Methods
cites work: Free-variable tableaux for propositional modal logics
cites work: Q4282596
cites work: Q3667967
cites work: Q4692618
cites work: Q4863622
cites work: Q4539640
cites work: Tableaux and related methods
cites work: Using meta-variables for natural deduction in \textit{Theorema}
cites work: Q4524783
cites work: IeanCOP: lean connection-based theorem proving
cites work: An improved proof procedure1
cites work: Q3682462
cites work: Q5560258
cites work: Connections in nonclassical logics
cites work: Q3999539
DOI: 10.1007/S10817-006-9055-9
description: scientific article; zbMATH DE number 5149287