scientific article; zbMATH DE number 3892614

zbMath0559.68068MaRDI QIDQ5184426

Ondrej Sýkora

Publication date: 1985

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

zbMATH Keywords

Horn clausesrenaming of predicates

Mathematics Subject Classification ID

This page was built for publication: