Comparing instance generation methods for automated reasoning
type: Item
instance of: scholarly article
title: Comparing instance generation methods for automated reasoning
zbMATH Open document ID: 1113.68089
author: Swen Jacobs
author: Uwe Waldmann
published in: Journal of Automated Reasoning
publication date: 2007-05-04T00:00:00Z
full work available at URL: http://edoc.mpg.de/279121
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 5149280
zbMATH Keywords: tableau-based methods
zbMATH Keywords: disconnection tableau calculus
MaRDI profile type: Publication
OpenAlex ID: W2006807333
cites work: Q2723420
cites work: Automated Deduction – CADE-19
cites work: A machine program for theorem-proving
cites work: Partial instantiation methods for inference in first-order logic
cites work: Automated Reasoning with Analytic Tableaux and Related Methods
cites work: Eliminating dublication with the hyper-linking strategy
cites work: Proof and Model Generation with Disconnection Tableaux
cites work: Automated Reasoning
cites work: Ordered semantic hyper-linking
cites work: Q4412859
DOI: 10.1007/S10817-006-9046-X
description: scientific article; zbMATH DE number 5149280