Pages that link to "Item:Q944367"
From MaRDI portal
The following pages link to CERES: An analysis of Fürstenberg's proof of the infinity of primes (Q944367):
Displaying 14 items.
- CERES in higher-order logic (Q716500) (← links)
- On the form of witness terms (Q982183) (← links)
- Describing proofs by short tautologies (Q1023053) (← links)
- Ceres in intuitionistic logic (Q2363201) (← links)
- Schematic refutations of formula schemata (Q2666952) (← links)
- Schematic Cut Elimination and the Ordered Pigeonhole Principle (Q2817924) (← links)
- System Description: GAPT 2.0 (Q2817928) (← links)
- (Q3384900) (← links)
- Cut-Elimination and Proof Schemata (Q3455184) (← links)
- A Clausal Approach to Proof Analysis in Second-Order Logic (Q3605531) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata (Q5495914) (← links)
- Herbrand Sequent Extraction (Q5505525) (← links)
- System Description: The Proof Transformation System CERES (Q5747781) (← links)