Connection tableau calculi with disjunctive constraints

DOI10.1023/A:1015134701251zbMATH Open0998.03007MaRDI QIDQ1604795

Ortrun Ibens

Publication date: 8 July 2002

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

search space reductionfirst-order automated theorem provingautomated connection tableau prover SETHEOconstrained-connection-tableau calculifirst-order constraint solving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Uses Software

• TPTP
• Title not available (Why is that?)

This page was built for publication: Connection tableau calculi with disjunctive constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1604795)