Dissolution
From MaRDI portal
Publication:3140015
DOI10.1145/174130.174135zbMath0785.68083OpenAlexW2092544922MaRDI QIDQ3140015
Neil V. Murray, Erik Rosenthal
Publication date: 6 December 1993
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/174130.174135
matrix methodsresolutioninferencepath dissolutionsemantic graphsdeduction metatheoryPrawitz analysis
Graph theory (including graph drawing) in computer science (68R10) Mechanization of proofs and logical operations (03B35)
Related Items (8)
On the relative merits of path dissolution and the method of analytic tableaux ⋮ TPS: A hybrid automatic-interactive system for developing proofs ⋮ Efficient query processing with reduced implicate tries ⋮ Structured proof procedures ⋮ A first polynomial non-clausal class in many-valued logic ⋮ Clause trees: A tool for understanding and implementing resolution in automated reasoning ⋮ Linearity and regularity with negation normal form ⋮ Reductions for non-clausal theorem proving
This page was built for publication: Dissolution
