3TAP

swMATH21544MaRDI QIDQ33351FDOQ33351

Author name not available (Why is that?)

Cited In (13)

• What you always wanted to know about rigid E-unification
• Title not available (Why is that?)
• The tableau-based theorem prover 3 T A P Version 4.0
• 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
• Ordered tableaux: Extensions and applications
• Incremental theory reasoning methods for semantic tableaux
• A completion-based method for mixed universal and rigid E-unification
• Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
• Hyper tableaux
• Theorem proving in large theories

This page was built for software: 3TAP