Finite approach to the problem of optimizing theorem-proving algorithms
type: Item
instance of: scholarly article
title: Finite approach to the problem of optimizing theorem-proving algorithms
zbMATH Open document ID: 0401.68075
DOI: 10.1007/BF01091744
author: A. O. Slisenko
published in: Journal of Soviet Mathematics
publication date: 1978-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68W99
zbMATH DE Number: 3622994
zbMATH Keywords: Optimizing Theorem-Proving Algorithms
zbMATH Keywords: Predicate Calculus
zbMATH Keywords: Formal System
MaRDI profile type: Publication
cites work: Q5639374
cites work: A property of enumerable sets containing ''complexly deducible'' formulas
cites work: Q4121397
description: scientific article; zbMATH DE number 3622994