scientific article; zbMATH DE number 1302382

MaRDI QIDQ4247684zbMATH OpenFDO

Authors Pavel Vanousek

Publication date 12 January 2000

zbMATH Keywords

automated theorem provingcombination of theorem provers for different theoriescombination of theories with disjoint signaturesModel EliminationProlog Technology Theorem ProvingSLD resolution

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Combining decision procedures.
• Combination of disjoint theories: beyond decidability
• scientific article; zbMATH DE number 2090060
• Model-theoretic methods in combined constraint satisfiability
• Deciding Combinations of Theories

Cited in

(1)

• A case study in automated theorem proving: Finding sages in combinatory logic

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 Q4247684)