scientific article; zbMATH DE number 1301751

MaRDI QIDQ4246966zbMATH OpenFDO

Authors Dirk Fuchs

Publication date 12 January 2000

zbMATH Keywords

demand-driven cooperative theorem provingrequirement-based cooperationsaturation-based theorem provers

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Cooperation in heterogeneous theorem prover networks (Diss., Univ. Kaiserslautern)
• Cooperating proof attempts
• scientific article; zbMATH DE number 1222430
• scientific article; zbMATH DE number 1285157
• scientific article; zbMATH DE number 1552521

Cited in

(5)

• Cooperation of background reasoners in theory reasoning by residue sharing
• Cooperation in heterogeneous theorem prover networks (Diss., Univ. Kaiserslautern)
• Cooperating proof attempts
• scientific article; zbMATH DE number 1285157 (Why is no real title available?)
• Cooperative Repositories for Formal Proofs

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