scientific article
From MaRDI portal
Publication:2772903
zbMath0991.03017MaRDI QIDQ2772903
No author found.
Publication date: 19 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hypergraphs (05C65) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (3)
Bipartite bihypergraphs: a survey and new results ⋮ Reversed resolution in reducing general satisfiability problem ⋮ Atoms, anti-atoms and complements in the lattice of quasi-uniformities
This page was built for publication:
