Pages that link to "Item:Q1259437"

The following pages link to A mechanical proof of the termination of Takeuchi's function (Q1259437):

Displaying 3 items.

• The termination of the higher-dimensional tarai functions (Q477602) (← links)
• Computer theorem proving in mathematics (Q704001) (← links)
• A theorem prover for a computational logic (Q6488518) (← links)