Generating relevant models

DOI10.1007/BF00249019zbMath0733.68072DBLPjournals/jar/Ramsay91WikidataQ56560683 ScholiaQ56560683MaRDI QIDQ809621

Allan Ramsay

Publication date: 1991

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

zbMATH Keywords

first-order predicate calculusManthey and Bry's model

Mathematics Subject Classification ID

Related Items (7)

SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy ⋮ Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction ⋮ Theorem proving for intensional logic ⋮ SATCHMORE: SATCHMO with RElevancy ⋮ Eliminating redundant search space on backtracking for forward chaining theorem proving ⋮ \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE ⋮ A relevance restriction strategy for automated deduction

Uses Software

• SATCHMO

Cites Work

• Seventy-five problems for testing automatic theorem provers
• A Proof Procedure Using Connection Graphs
• Unnamed Item
• Unnamed Item

This page was built for publication: Generating relevant models