3TAP

swMATH21544MaRDI QIDQ33351FDOQ33351

Author name not available (Why is that?)

Cited In (13)

• Title not available (Why is that?)
• A completion-based method for mixed universal and rigid \(E\)-unification
• Ordered tableaux: extensions and applications
• The tableau-based theorem prover 3 T A P Version 4.0
• Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
• What you always wanted to know about rigid \(E\)-unification
• Title not available (Why is that?)
• The disconnection tableau calculus
• Free variable tableaux for propositional modal logics
• LeanT A P: Lean tableau-based theorem proving
• Incremental theory reasoning methods for semantic tableaux
• Hyper tableaux
• Theorem proving in large theories

This page was built for software: 3TAP