Generating relevant models

DOI10.1007/BF00249019zbMath0733.68072WikidataQ56560683 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

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