Statements (14)
Predicate | Object |
---|---|
gptkbp:instanceOf |
mathematical program
proof-theoretic concept |
gptkbp:aimsTo |
extract constructive content from non-constructive proofs
|
gptkbp:describedBy |
papers by Georg Kreisel in the 1950s and 1960s
|
gptkbp:field |
gptkb:logic
proof theory |
https://www.w3.org/2000/01/rdf-schema#label |
Kreisel's unwinding program
|
gptkbp:introduced |
gptkb:Georg_Kreisel
|
gptkbp:namedAfter |
gptkb:Georg_Kreisel
|
gptkbp:relatedTo |
gptkb:logic
gptkb:reverse_mathematics proof mining |
gptkbp:bfsParent |
gptkb:Georg_Kreisel
|
gptkbp:bfsLayer |
6
|