Elimination of self-resolving clauses

DOI10.1023/A:1005894718064zbMath0901.03014OpenAlexW1577126556MaRDI QIDQ1383994

Hans Jürgen Ohlbach

Publication date: 26 November 1998

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005894718064

zbMATH Keywords

recursivenessautomating complexity analysiseliminating loops in logic programselimination of clausesparallelizing closure computation algorithmssearch behavior of automated theorem proversself-resolving clauses

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication: Elimination of self-resolving clauses