scientific article; zbMATH DE number 1090102

zbMath0896.03025MaRDI QIDQ4366603

Xumin Nie, Qing Guo

Publication date: 21 September 1998

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

zbMATH Keywords

Horn clausesrenamingmeasure for being non-Horn

Mathematics Subject Classification ID

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

Related Items

Non-Horn clause logic programming