Pages that link to "Item:Q1772785"
From MaRDI portal
The following pages link to Automated search for Gödel's proofs (Q1772785):
Displaying 4 items.
- On mind \& Turing's machines (Q885688) (← links)
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant (Q2051568) (← links)
- Human-centered automated proof search (Q2069871) (← links)
- A formally verified abstract account of Gödel's incompleteness theorems (Q2305432) (← links)