scientific article

From MaRDI portal

Publication:3326884

Jump to:navigation, search

zbMath0539.68086MaRDI QIDQ3326884

Hans Jürgen Ohlbach

Publication date: 1983

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

zbMATH Keywords

graph operations clause graph

Mathematics Subject Classification ID

Related Items

Implication of clauses is undecidable, Reduction rules for resolution-based systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3326884&oldid=16562987"