scientific article; zbMATH DE number 1114343

From MaRDI portal

Publication:4376061

Jump to:navigation, search

zbMath0888.03017MaRDI QIDQ4376061

Evgeniĭ Olegovich Makarov

Publication date: 1 June 1998

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

zbMATH Keywords

SLDNF-resolution proof procedure non-unifiability hereditary Harrop formulas unifiability program completion negation as inconsistency Clark's equational theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)

This page was built for publication:

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