scientific article

From MaRDI portal

Publication:3783627

Jump to:navigation, search

zbMATH Open0642.68157MaRDI QIDQ3783627

Roland Dietrich

Publication date: 1986

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

zbMATH Keywords

resolution Horn logic algebraic completion theorem provers unifications inference steps

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

Unnamed Item ⋮ On the relation between resolution based and completion based theorem proving

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3783627&oldid=17333766"