Matches in SemOpenAlex for { <https://semopenalex.org/work/W624962384> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W624962384 abstract "In the early seventies it was conjectured that a certain mathematically well-defined equivalence relation (bh-equivalence) on proofs in natural deduction captures the informal notion of identity of ..." @default.
- W624962384 created "2016-06-24" @default.
- W624962384 creator A5074071817 @default.
- W624962384 date "2001-01-01" @default.
- W624962384 modified "2023-09-27" @default.
- W624962384 title "Identity of proofs" @default.
- W624962384 hasPublicationYear "2001" @default.
- W624962384 type Work @default.
- W624962384 sameAs 624962384 @default.
- W624962384 citedByCount "1" @default.
- W624962384 crossrefType "book" @default.
- W624962384 hasAuthorship W624962384A5074071817 @default.
- W624962384 hasConcept C107038049 @default.
- W624962384 hasConcept C108710211 @default.
- W624962384 hasConcept C138885662 @default.
- W624962384 hasConcept C199343813 @default.
- W624962384 hasConcept C2524010 @default.
- W624962384 hasConcept C2777686260 @default.
- W624962384 hasConcept C2778355321 @default.
- W624962384 hasConcept C33923547 @default.
- W624962384 hasConcept C41008148 @default.
- W624962384 hasConcept C71924100 @default.
- W624962384 hasConceptScore W624962384C107038049 @default.
- W624962384 hasConceptScore W624962384C108710211 @default.
- W624962384 hasConceptScore W624962384C138885662 @default.
- W624962384 hasConceptScore W624962384C199343813 @default.
- W624962384 hasConceptScore W624962384C2524010 @default.
- W624962384 hasConceptScore W624962384C2777686260 @default.
- W624962384 hasConceptScore W624962384C2778355321 @default.
- W624962384 hasConceptScore W624962384C33923547 @default.
- W624962384 hasConceptScore W624962384C41008148 @default.
- W624962384 hasConceptScore W624962384C71924100 @default.
- W624962384 hasLocation W6249623841 @default.
- W624962384 hasOpenAccess W624962384 @default.
- W624962384 hasPrimaryLocation W6249623841 @default.
- W624962384 hasRelatedWork W1515004177 @default.
- W624962384 hasRelatedWork W1541568758 @default.
- W624962384 hasRelatedWork W1563605622 @default.
- W624962384 hasRelatedWork W1582284382 @default.
- W624962384 hasRelatedWork W1900331061 @default.
- W624962384 hasRelatedWork W1903328864 @default.
- W624962384 hasRelatedWork W1910579840 @default.
- W624962384 hasRelatedWork W2038735278 @default.
- W624962384 hasRelatedWork W2081515694 @default.
- W624962384 hasRelatedWork W2103132941 @default.
- W624962384 hasRelatedWork W2215542482 @default.
- W624962384 hasRelatedWork W2487677574 @default.
- W624962384 hasRelatedWork W2502253281 @default.
- W624962384 hasRelatedWork W2782676325 @default.
- W624962384 hasRelatedWork W3104200622 @default.
- W624962384 hasRelatedWork W33768007 @default.
- W624962384 hasRelatedWork W597205208 @default.
- W624962384 hasRelatedWork W629639683 @default.
- W624962384 hasRelatedWork W643334840 @default.
- W624962384 hasRelatedWork W654852326 @default.
- W624962384 isParatext "false" @default.
- W624962384 isRetracted "false" @default.
- W624962384 magId "624962384" @default.
- W624962384 workType "book" @default.