scientific article; zbMATH DE number 3755911

MaRDI QIDQ3939271zbMATH OpenFDO

Authors Lawrence Henschen

Publication date 1982

zbMATH Keywords

extensional databasefirst-order Horn theoryfunction-free first-order theoryintensional databaseprogram of retrieval requestsrelational databaseresolution-proof techniques over connection graphs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Information storage and retrieval of data (68P20)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3939271)