One modification of the ordering strategy in the resolution method

DOI10.1007/BF01097068zbMath0664.03009OpenAlexW2048815285MaRDI QIDQ1115411

N. K. Zamov

Publication date: 1988

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01097068

zbMATH Keywords

resolution methoddecision algorithmordering strategydeduction search

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Cites Work

• On a bound for the complexity of terms in the resolution method
• A Machine-Oriented Logic Based on the Resolution Principle
• Automatic Theorem Proving With Renamable and Semantic Resolution
• Unnamed Item

This page was built for publication: One modification of the ordering strategy in the resolution method