Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures
type: Item
instance of: scholarly article
title: Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures
zbMATH Open document ID: 0805.68103
DOI: 10.1007/BF00885766
author: Shie-Jue Lee
author: Chih-Hung Wu
published in: Journal of Automated Reasoning
publication date: 1994-12-21T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 704960
zbMATH Keywords: first-order logic
zbMATH Keywords: theorem proving
zbMATH Keywords: hyperlinks
zbMATH Keywords: unification
zbMATH Keywords: clause network
describes a project that uses: CLIPS
describes a project that uses: CLIN
describes a project that uses: TPTP
MaRDI profile type: Publication
cites work: Non-resolution theorem proving
cites work: Q5679729
cites work: A Computing Procedure for Quantification Theory
cites work: Synthesizing constraint expressions
cites work: Eliminating dublication with the hyper-linking strategy
cites work: Problem solving by searching for models with a theorem prover
cites work: Q4139711
cites work: Problem corner: Non-Horn problems
cites work: Complexity and related enhancements for automated theorem-proving programs
cites work: Experiments with discrimination-tree indexing and path indexing for term retrieval
cites work: Seventy-five problems for testing automatic theorem provers
cites work: A simplified problem reduction format
cites work: A structure-preserving clause form translation
cites work: Theorem-Proving on the Computer
cites work: Q3742689
cites work: A Prolog technology theorem prover: Implementation by an extended Prolog compiler
cites work: The TPTP problem library. CNF release v1. 2. 1
full work available at URL: https://doi.org/10.1007/bf00885766
OpenAlex ID: W1994344807
description: scientific article; zbMATH DE number 704960