scientific article

From MaRDI portal

Publication:3326880

Jump to:navigation, search

zbMath0539.68083MaRDI QIDQ3326880

Publication date: 1983

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

zbMATH Keywords

complete lattice automatic proof procedure first order substitutions weak unification

Mathematics Subject Classification ID

Related Items (1)

Automated theorem proving methods

This page was built for publication:

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