scientific article; zbMATH DE number 517073

zbMath0793.68130MaRDI QIDQ4282603

Uwe Egly

Publication date: 17 March 1994

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

zbMATH Keywords

resolution calculusfunction introduction ruletautology introduction rule

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

KoMeT

This page was built for publication: