Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567212264> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- W1567212264 endingPage "182" @default.
- W1567212264 startingPage "143" @default.
- W1567212264 created "2016-06-24" @default.
- W1567212264 creator A5001961708 @default.
- W1567212264 date "1994-05-12" @default.
- W1567212264 modified "2023-09-23" @default.
- W1567212264 title "A Mechanical Proof of the Church–Rosser Theorem" @default.
- W1567212264 doi "https://doi.org/10.1017/cbo9780511569883.007" @default.
- W1567212264 hasPublicationYear "1994" @default.
- W1567212264 type Work @default.
- W1567212264 sameAs 1567212264 @default.
- W1567212264 citedByCount "0" @default.
- W1567212264 crossrefType "book-chapter" @default.
- W1567212264 hasAuthorship W1567212264A5001961708 @default.
- W1567212264 hasConcept C199343813 @default.
- W1567212264 hasConcept C2777686260 @default.
- W1567212264 hasConcept C33923547 @default.
- W1567212264 hasConcept C71924100 @default.
- W1567212264 hasConceptScore W1567212264C199343813 @default.
- W1567212264 hasConceptScore W1567212264C2777686260 @default.
- W1567212264 hasConceptScore W1567212264C33923547 @default.
- W1567212264 hasConceptScore W1567212264C71924100 @default.
- W1567212264 hasLocation W15672122641 @default.
- W1567212264 hasOpenAccess W1567212264 @default.
- W1567212264 hasPrimaryLocation W15672122641 @default.
- W1567212264 hasRelatedWork W1974891317 @default.
- W1567212264 hasRelatedWork W2044189972 @default.
- W1567212264 hasRelatedWork W2063488590 @default.
- W1567212264 hasRelatedWork W2069964982 @default.
- W1567212264 hasRelatedWork W2102781400 @default.
- W1567212264 hasRelatedWork W2313400459 @default.
- W1567212264 hasRelatedWork W2913765211 @default.
- W1567212264 hasRelatedWork W4225152035 @default.
- W1567212264 hasRelatedWork W4230623537 @default.
- W1567212264 hasRelatedWork W4245490552 @default.
- W1567212264 isParatext "false" @default.
- W1567212264 isRetracted "false" @default.
- W1567212264 magId "1567212264" @default.
- W1567212264 workType "book-chapter" @default.