Reasoning theories. Toward an architecture for open mechanized reasoning systems

DOI10.1023/A:1006407208923zbMATH Open0985.68059OpenAlexW2911545029MaRDI QIDQ5931115

Paolo Pecchiari, Carolyn Talcott, Fausto Giunchiglia

Publication date: 21 May 2002

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1006407208923

zbMATH Keywords

theorem provinglinear arithmeticreasoning theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Uses Software

• OMRS

This page was built for publication: Reasoning theories. Toward an architecture for open mechanized reasoning systems

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