System Description: E- KRHyper

DOI10.1007/978-3-540-73595-3_37zbMath1213.68574OpenAlexW2117935620MaRDI QIDQ3608796

Christoph Wernhard, Björn Pelzer

Publication date: 6 March 2009

Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_37

Mathematics Subject Classification ID

Related Items (8)

Craig interpolation with clausal first-order tableaux ⋮ Model evolution with equality -- revised and implemented ⋮ LogAnswer - A Deduction-Based Question Answering System (System Description) ⋮ Deontic Logic for Human Reasoning ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ Learning from Łukasiewicz and Meredith: investigations into proof structures ⋮ E-KRHyper ⋮ Possible models computation and revision -- a practical approach

Uses Software

• SATCHMO

This page was built for publication: System Description: E- KRHyper