Glushkov's evidence algorithm
type: Item
instance of: scholarly article
title: Glushkov's evidence algorithm
zbMATH Open document ID: 1371.68003
published in: Cybernetics and Systems Analysis
publication date: 2014-10-27T00:00:00Z
Mathematics Subject Classification ID: 68-03
Mathematics Subject Classification ID: 68T01
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6361661
zbMATH Keywords: evidence algorithm
zbMATH Keywords: automated theorem proving
zbMATH Keywords: inference search
zbMATH Keywords: automated proving system
zbMATH Keywords: TL language
zbMATH Keywords: ForTheL language
author: A. A. Letichevskij
author: Alexander Lyaletski
author: Marina K. Morokhovets
describes a project that uses: SAD
describes a project that uses: ForTheL
MaRDI profile type: Publication
full work available at URL: s10559-013-9534-z
OpenAlex ID: W1965825144
cites work: Q3244734
cites work: THE ABSTRACT THEORY OF AUTOMATA
cites work: Q5672193
cites work: Toward Mechanical Mathematics
cites work: Handbook of automated reasoning. In 2 vols
cites work: Proof theory in the USSR 1925–1969
cites work: Some problems in the theories of automata and artificial intelligence
cites work: Q5620583
cites work: Strategies of the search for derivation of statements with restricted quantifiers
cites work: Q3726081
cites work: Deduction-seeking procedures and transitive relations
cites work: Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
cites work: Q4282505
cites work: Q4938416
cites work: Q4471536
cites work: SAD as a mathematical assistant -- how should we go from here to there?
cites work: System for Automated Deduction (SAD): A Tool for Proof Verification
cites work: On Correctness of Mathematical Texts from a Logical and Practical Point of View
cites work: Computations in APS
cites work: Q3365842
cites work: Q4002046
DOI: 10.1007/S10559-013-9534-Z
description: scientific article; zbMATH DE number 6361661