scientific article
From MaRDI portal
Publication:4025013
zbMath0760.03003MaRDI QIDQ4025013
Publication date: 22 February 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hypergraphs (05C65) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items (3)
Bipartite bihypergraphs: a survey and new results ⋮ Reversed resolution in reducing general satisfiability problem ⋮ Satisfiability on hypergraphs
This page was built for publication:
