Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301804792> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4301804792 abstract "The proof identity problem asks: When are two proofs the same? The question naturally occurs when one reflects on mathematical practice. The problem understandably can be seen as a challenge for mathematical logic, and indeed various perspectives on the problem can be found in the proof theory literature. From the proof theory perspective, the challenge is met by laying down new calculi that eliminate ``bureaucracy''; techniques such as normalization and cut-elimination, as well as proof compression, are employed. In this note a new perspective on the proof identity problem is outlined. The new approach employs the concepts and tools of automated theorem proving and complements the rather more theoretical perspectives coming from pure proof theory. The practical approach is illustrated with experiments coming from the TPTP Problem Library." @default.
- W4301804792 created "2022-10-05" @default.
- W4301804792 creator A5039051935 @default.
- W4301804792 date "2014-03-03" @default.
- W4301804792 modified "2023-10-16" @default.
- W4301804792 title "Proof identity for mere mortals" @default.
- W4301804792 doi "https://doi.org/10.48550/arxiv.1403.0641" @default.
- W4301804792 hasPublicationYear "2014" @default.
- W4301804792 type Work @default.
- W4301804792 citedByCount "0" @default.
- W4301804792 crossrefType "posted-content" @default.
- W4301804792 hasAuthorship W4301804792A5039051935 @default.
- W4301804792 hasBestOaLocation W43018047921 @default.
- W4301804792 hasConcept C105605280 @default.
- W4301804792 hasConcept C107038049 @default.
- W4301804792 hasConcept C108710211 @default.
- W4301804792 hasConcept C111472728 @default.
- W4301804792 hasConcept C12713177 @default.
- W4301804792 hasConcept C135754263 @default.
- W4301804792 hasConcept C136119220 @default.
- W4301804792 hasConcept C136886441 @default.
- W4301804792 hasConcept C138885662 @default.
- W4301804792 hasConcept C144024400 @default.
- W4301804792 hasConcept C154945302 @default.
- W4301804792 hasConcept C19165224 @default.
- W4301804792 hasConcept C195653647 @default.
- W4301804792 hasConcept C199343813 @default.
- W4301804792 hasConcept C202444582 @default.
- W4301804792 hasConcept C2318724 @default.
- W4301804792 hasConcept C2524010 @default.
- W4301804792 hasConcept C2777686260 @default.
- W4301804792 hasConcept C2778355321 @default.
- W4301804792 hasConcept C33923547 @default.
- W4301804792 hasConcept C41008148 @default.
- W4301804792 hasConcept C71924100 @default.
- W4301804792 hasConcept C94461902 @default.
- W4301804792 hasConceptScore W4301804792C105605280 @default.
- W4301804792 hasConceptScore W4301804792C107038049 @default.
- W4301804792 hasConceptScore W4301804792C108710211 @default.
- W4301804792 hasConceptScore W4301804792C111472728 @default.
- W4301804792 hasConceptScore W4301804792C12713177 @default.
- W4301804792 hasConceptScore W4301804792C135754263 @default.
- W4301804792 hasConceptScore W4301804792C136119220 @default.
- W4301804792 hasConceptScore W4301804792C136886441 @default.
- W4301804792 hasConceptScore W4301804792C138885662 @default.
- W4301804792 hasConceptScore W4301804792C144024400 @default.
- W4301804792 hasConceptScore W4301804792C154945302 @default.
- W4301804792 hasConceptScore W4301804792C19165224 @default.
- W4301804792 hasConceptScore W4301804792C195653647 @default.
- W4301804792 hasConceptScore W4301804792C199343813 @default.
- W4301804792 hasConceptScore W4301804792C202444582 @default.
- W4301804792 hasConceptScore W4301804792C2318724 @default.
- W4301804792 hasConceptScore W4301804792C2524010 @default.
- W4301804792 hasConceptScore W4301804792C2777686260 @default.
- W4301804792 hasConceptScore W4301804792C2778355321 @default.
- W4301804792 hasConceptScore W4301804792C33923547 @default.
- W4301804792 hasConceptScore W4301804792C41008148 @default.
- W4301804792 hasConceptScore W4301804792C71924100 @default.
- W4301804792 hasConceptScore W4301804792C94461902 @default.
- W4301804792 hasLocation W43018047921 @default.
- W4301804792 hasOpenAccess W4301804792 @default.
- W4301804792 hasPrimaryLocation W43018047921 @default.
- W4301804792 hasRelatedWork W1496026483 @default.
- W4301804792 hasRelatedWork W1610564136 @default.
- W4301804792 hasRelatedWork W1854197585 @default.
- W4301804792 hasRelatedWork W187835144 @default.
- W4301804792 hasRelatedWork W2040769847 @default.
- W4301804792 hasRelatedWork W2263677784 @default.
- W4301804792 hasRelatedWork W315696179 @default.
- W4301804792 hasRelatedWork W4297816441 @default.
- W4301804792 hasRelatedWork W2119682046 @default.
- W4301804792 hasRelatedWork W2491370528 @default.
- W4301804792 isParatext "false" @default.
- W4301804792 isRetracted "false" @default.
- W4301804792 workType "article" @default.