Disproving false conjectures

zbMATH Open1273.03045MaRDI QIDQ3408129FDOQ3408129

Authors: Serge Autexier, Carsten Schürmann 

Publication date: 24 February 2010

Recommendations

• scientific article; zbMATH DE number 1348458
• scientific article; zbMATH DE number 4164177
• Turning decision procedures into disprovers
• Truthful Monadic Abstractions
• Logic Based Program Synthesis and Transformation

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Cited In (9)

• Falsificationism falsified
• Proving infinite satisfiability
• Title not available (Why is that?)
• Turning decision procedures into disprovers
• Logic Based Program Synthesis and Transformation
• Disproving using the inverse method by iterative refinement of finite approximations
• The inevitability of inconsistent abstract spaces
• Falsification and Future Performance
• Withdrawing unfalsifiable hypotheses

This page was built for publication: Disproving false conjectures

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