Publication:4282591

zbMath0793.68037MaRDI QIDQ4282591

Leszek Pacholski

Publication date: 17 March 1994

zbMATH Keywords

undecidability; Horn clause implication problem

Mathematics Subject Classification ID

68P15: Database theory

03B25: Decidability of theories and sets of sentences

68N17: Logic programming