scientific article; zbMATH DE number 1405443

zbMath0938.03018MaRDI QIDQ4938416

Anatoli Degtyarev, Alexander Lyaletski, Marina K. Morokhovets

Publication date: 22 June 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order languageautomated search for theorem proofsprocessing of mathematical texts

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (5)

Evidence algorithm and inference search in first-order logics ⋮ Glushkov's evidence algorithm ⋮ Sequent forms of Herbrand theorem and their applications ⋮ The evidence algorithm and problems of representation and processing of mathematical computer knowledge ⋮ Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)

Uses Software

• Theorema

This page was built for publication: