An Evaluation of an Implementation of Qualified Hyperresolution

DOI10.1109/TC.1976.1674702zbMath0329.68080OpenAlexW2044705441MaRDI QIDQ4095917

Steven K. Winker

Publication date: 1976

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.1976.1674702

Mathematics Subject Classification ID

Related Items (3)

A new reduction rule for the connection graph proof procedure ⋮ Experiments with resolution-based theorem-proving algorithms ⋮ Strategies of the search for derivation of statements with restricted quantifiers

This page was built for publication: An Evaluation of an Implementation of Qualified Hyperresolution