Matches in SemOpenAlex for { <https://semopenalex.org/work/W202752014> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W202752014 endingPage "246" @default.
- W202752014 startingPage "227" @default.
- W202752014 created "2016-06-24" @default.
- W202752014 creator A5089857623 @default.
- W202752014 date "1998-01-01" @default.
- W202752014 modified "2023-09-24" @default.
- W202752014 title "Type-free Equational Reasoning in the Theeory of Inductively Defined Types." @default.
- W202752014 hasPublicationYear "1998" @default.
- W202752014 type Work @default.
- W202752014 sameAs 202752014 @default.
- W202752014 citedByCount "0" @default.
- W202752014 crossrefType "proceedings-article" @default.
- W202752014 hasAuthorship W202752014A5089857623 @default.
- W202752014 hasConcept C18903297 @default.
- W202752014 hasConcept C2777299769 @default.
- W202752014 hasConcept C41008148 @default.
- W202752014 hasConcept C86803240 @default.
- W202752014 hasConceptScore W202752014C18903297 @default.
- W202752014 hasConceptScore W202752014C2777299769 @default.
- W202752014 hasConceptScore W202752014C41008148 @default.
- W202752014 hasConceptScore W202752014C86803240 @default.
- W202752014 hasLocation W2027520141 @default.
- W202752014 hasOpenAccess W202752014 @default.
- W202752014 hasPrimaryLocation W2027520141 @default.
- W202752014 hasRelatedWork W140672603 @default.
- W202752014 hasRelatedWork W1517226445 @default.
- W202752014 hasRelatedWork W1539044812 @default.
- W202752014 hasRelatedWork W1580323916 @default.
- W202752014 hasRelatedWork W2026410426 @default.
- W202752014 hasRelatedWork W2044511080 @default.
- W202752014 hasRelatedWork W2072882694 @default.
- W202752014 hasRelatedWork W2106105719 @default.
- W202752014 hasRelatedWork W2109660563 @default.
- W202752014 hasRelatedWork W2202809771 @default.
- W202752014 hasRelatedWork W2501017624 @default.
- W202752014 hasRelatedWork W2790555876 @default.
- W202752014 hasRelatedWork W2792434392 @default.
- W202752014 hasRelatedWork W2913078623 @default.
- W202752014 hasRelatedWork W323292917 @default.
- W202752014 hasRelatedWork W59559460 @default.
- W202752014 hasRelatedWork W2099427244 @default.
- W202752014 hasRelatedWork W2182171529 @default.
- W202752014 hasRelatedWork W2798984738 @default.
- W202752014 hasRelatedWork W3117421045 @default.
- W202752014 isParatext "false" @default.
- W202752014 isRetracted "false" @default.
- W202752014 magId "202752014" @default.
- W202752014 workType "article" @default.