Pages that link to "Item:Q2362206"

The following pages link to A fully automatic theorem prover with human-style output (Q2362206):

Displaying 13 items.

• Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
• Human-centered automated proof search (Q2069871) (← links)
• Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
• A framework for step-wise explaining how to solve constraint satisfaction problems (Q2238723) (← links)
• Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917) (← links)
• Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues (Q2364670) (← links)
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)
• From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
• AUTO2, A Saturation-Based Heuristic Prover for Higher-Order Logic (Q2829278) (← links)
• NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
• PLANS AND PLANNING IN MATHEMATICAL PROOFS (Q5027672) (← links)
• Proofs as Objects (Q5057055) (← links)
• Proof in the time of machines (Q6130529) (← links)