scientific article; zbMATH DE number 3755911
From MaRDI portal
Publication:3939271
zbMATH Open0481.68088MaRDI QIDQ3939271FDOQ3939271
Authors: Lawrence Henschen 
Publication date: 1982
Title of this publication is not available (Why is that?)
relational databaseintensional databaseextensional databasefunction-free first-order theoryfirst-order Horn theoryprogram of retrieval requestsresolution-proof techniques over connection graphs
Information storage and retrieval of data (68P20) Mechanization of proofs and logical operations (03B35)
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)
