Strategies of the search for derivation of statements with restricted quantifiers

DOI10.1007/BF01072145zbMath0562.68069MaRDI QIDQ3675553

K. P. Vershinin, Marina K. Morokhovets

Publication date: 1983

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

restricted quantifiersresolution procedures

Mathematics Subject Classification ID

Related Items (1)

Glushkov's evidence algorithm

Cites Work

• A paradigm for reasoning by analogy
• Unit Refutations and Horn Sets
• An Evaluation of an Implementation of Qualified Hyperresolution
• Theorem Proving with Lemmas
• Two Results on Ordering for Resolution with Merging and Linear Format

This page was built for publication: Strategies of the search for derivation of statements with restricted quantifiers