scientific article

From MaRDI portal

Publication:3345810

Jump to:navigation, search

zbMath0552.68076MaRDI QIDQ3345810

Susanne Biundo, František Zboray

Publication date: 1984

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

zbMATH Keywords

Skolem functions constructive definitions existentially quantified variables

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication:

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