The anatomy of vampire. Implementing bottom-up procedures with code trees
type: Item
instance of: scholarly article
title: The anatomy of vampire. Implementing bottom-up procedures with code trees
zbMATH Open document ID: 0838.68100
DOI: 10.1007/BF00881918
author: Andrei Voronkov
published in: Journal of Automated Reasoning
publication date: 1995-12-20T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 828197
zbMATH Keywords: abstract subsumption machine
zbMATH Keywords: code trees
Wikidata QID: Q56429030
describes a project that uses: SETHEO
describes a project that uses: OTTER
describes a project that uses: SATCHMO
describes a project that uses: VAMPIRE
MaRDI profile type: Publication
cites work: Analyzing logic programs using “prop”-ositional logic programs and a magic wand
cites work: Q4855371
cites work: Q4198056
cites work: On the efficiency of subsumption algorithms
cites work: Integrity constraint checking in stratified databases
cites work: A basis for deductive database systems
cites work: Q3821629
cites work: Complexity and related enhancements for automated theorem-proving programs
cites work: Problems and Experiments for and with Automated Theorem-Proving Programs
cites work: Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic''
cites work: Experiments with discrimination-tree indexing and path indexing for term retrieval
cites work: Refutation search for Horn sets by a subgoal-extraction method
cites work: An implementation of hyper-resolution
cites work: Seventy-five problems for testing automatic theorem provers
cites work: Q5541351
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Q5624683
cites work: A Prolog technology theorem prover: Implementation by an extended Prolog compiler
cites work: Investigating production system representations for non-combinatorial match
cites work: Recursive query processing: The power of logic
cites work: Q4264724
Recommended article: Q3150300
Recommended article: Programming Languages and Systems
Recommended article: Q4201894
Recommended article: Tree Interpolation in Vampire
Recommended article: Skeletons from the treecode closet
Recommended article: Combining Top-Down and Bottom-Up Techniques in Program Derivation
Recommended article: Q2729054
description: scientific article; zbMATH DE number 828197