The following pages link to SAD (Q21775):
Displaying 13 items.
- Evidence algorithm and inference search in first-order logics (Q286802) (← links)
- Glushkov's evidence algorithm (Q466397) (← links)
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- Beautiful formalizations in Isabelle/Naproche (Q2128789) (← links)
- Checking Proofs (Q2950035) (← links)
- Evidence Algorithm and System for Automated Deduction: A Retrospective View (Q3582728) (← links)
- Parsing and Disambiguation of Symbolic Mathematics in the Naproche System (Q5200117) (← links)
- Mathematical Knowledge Management (Q5313060) (← links)
- On Correctness of Mathematical Texts from a Logical and Practical Point of View (Q5505538) (← links)
- A Tactic Language for Declarative Proofs (Q5747644) (← links)
- Premise Selection in the Naproche System (Q5747782) (← links)
