scientific article
From MaRDI portal
Publication:3732983
zbMath0598.68062MaRDI QIDQ3732983
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first order inductive theory representable in Horn clauseslimited forward chainingPROLOG-based deductive theorem provingproving properties of data typesskolemization by needsuspended evaluationverification of PROLOG programs
This page was built for publication:
