scientific article; zbMATH DE number 4022667

MaRDI QIDQ3765266zbMATH OpenFDO

Authors Jürgen Müller

Publication date 1987

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 3856444
• Resolution theorem proving
• Theorem-proving with resolution and superposition
• SETHEO: A high-performance theorem prover
• A superposition oriented theorem prover

Cited in

(2)

• \textsf{Ko\(_{\mathsf{M}}\)eT}
• On the relation between resolution based and completion based theorem proving

Describes a project that uses

Uses Software

• THEOPOGLES

This page was built for publication:

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