scientific article; zbMATH DE number 6129439

zbMath1265.68250MaRDI QIDQ4900970

Zhenghua Pan, Sheng-Li Zhang

Publication date: 24 January 2013

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

zbMATH Keywords

resolution principle\(\lambda\)-resolution\(\lambda\)-interpretationmedium predicate logic system

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Combinatory logic and lambda calculus (03B40)

This page was built for publication: