Practically useful variants of definitional translations to normal form
type: Item
instance of: scholarly article
title: Practically useful variants of definitional translations to normal form
zbMATH Open document ID: 1003.68149
author: Uwe Egly
author: Thomas Rath
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 1853133
describes a project that uses: TPTP
describes a project that uses: KoMeT
MaRDI profile type: Publication
full work available at URL: inco.1999.2861
OpenAlex ID: W1975422829
cites work: Theorem Proving via General Matings
cites work: Q4285787
cites work: Q3997615
cites work: On different structure-preserving translations to normal form
cites work: On the practical value of different definitional translations to normal form
cites work: Controlled integration of the cut rule into connection tableau calculi
cites work: A note on assumptions about Skolem functions
cites work: A structure-preserving clause form translation
cites work: A Prolog technology theorem prover: A new exposition and implementation in Prolog
cites work: The TPTP problem library
cites work: Minimizing the number of clauses by renaming
DOI: 10.1006/INCO.1999.2861
description: scientific article; zbMATH DE number 1853133