SATCHMOREBID

swMATH6623MaRDI QIDQ18711FDOQ18711

Author name not available (Why is that?)

Described by source

• SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy

Cited In (5)

• Duality for goal-driven query processing in disjunctive deductive databases
• Ordered semantic hyper tableaux
• SATCHMORE: SATCHMO with RElevancy
• R-SATCHMO: Refinements on I-SATCHMO
• A relevance restriction strategy for automated deduction

This page was built for software: SATCHMOREBID