Matches in SemOpenAlex for { <https://semopenalex.org/work/W44296976> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W44296976 created "2016-06-24" @default.
- W44296976 creator A5019533838 @default.
- W44296976 creator A5067809065 @default.
- W44296976 date "1988-01-01" @default.
- W44296976 modified "2023-10-03" @default.
- W44296976 title "Proving Inductive Theorems in Equational Theories." @default.
- W44296976 hasPublicationYear "1988" @default.
- W44296976 type Work @default.
- W44296976 sameAs 44296976 @default.
- W44296976 citedByCount "0" @default.
- W44296976 crossrefType "journal-article" @default.
- W44296976 hasAuthorship W44296976A5019533838 @default.
- W44296976 hasAuthorship W44296976A5067809065 @default.
- W44296976 hasConcept C136119220 @default.
- W44296976 hasConcept C145420912 @default.
- W44296976 hasConcept C154564781 @default.
- W44296976 hasConcept C154690210 @default.
- W44296976 hasConcept C199343813 @default.
- W44296976 hasConcept C199360897 @default.
- W44296976 hasConcept C202444582 @default.
- W44296976 hasConcept C2777686260 @default.
- W44296976 hasConcept C2993131915 @default.
- W44296976 hasConcept C33923547 @default.
- W44296976 hasConcept C41008148 @default.
- W44296976 hasConcept C71924100 @default.
- W44296976 hasConcept C88610354 @default.
- W44296976 hasConceptScore W44296976C136119220 @default.
- W44296976 hasConceptScore W44296976C145420912 @default.
- W44296976 hasConceptScore W44296976C154564781 @default.
- W44296976 hasConceptScore W44296976C154690210 @default.
- W44296976 hasConceptScore W44296976C199343813 @default.
- W44296976 hasConceptScore W44296976C199360897 @default.
- W44296976 hasConceptScore W44296976C202444582 @default.
- W44296976 hasConceptScore W44296976C2777686260 @default.
- W44296976 hasConceptScore W44296976C2993131915 @default.
- W44296976 hasConceptScore W44296976C33923547 @default.
- W44296976 hasConceptScore W44296976C41008148 @default.
- W44296976 hasConceptScore W44296976C71924100 @default.
- W44296976 hasConceptScore W44296976C88610354 @default.
- W44296976 hasLocation W442969761 @default.
- W44296976 hasOpenAccess W44296976 @default.
- W44296976 hasPrimaryLocation W442969761 @default.
- W44296976 hasRelatedWork W123438006 @default.
- W44296976 hasRelatedWork W148555788 @default.
- W44296976 hasRelatedWork W1502047167 @default.
- W44296976 hasRelatedWork W1502451498 @default.
- W44296976 hasRelatedWork W1562132117 @default.
- W44296976 hasRelatedWork W1566809768 @default.
- W44296976 hasRelatedWork W1573750525 @default.
- W44296976 hasRelatedWork W1600600745 @default.
- W44296976 hasRelatedWork W174440544 @default.
- W44296976 hasRelatedWork W1965764611 @default.
- W44296976 hasRelatedWork W1969319414 @default.
- W44296976 hasRelatedWork W2066365568 @default.
- W44296976 hasRelatedWork W2082559330 @default.
- W44296976 hasRelatedWork W2166841305 @default.
- W44296976 hasRelatedWork W237267753 @default.
- W44296976 hasRelatedWork W2976732574 @default.
- W44296976 hasRelatedWork W3146292543 @default.
- W44296976 hasRelatedWork W63496701 @default.
- W44296976 hasRelatedWork W75769703 @default.
- W44296976 hasRelatedWork W2625681448 @default.
- W44296976 isParatext "false" @default.
- W44296976 isRetracted "false" @default.
- W44296976 magId "44296976" @default.
- W44296976 workType "article" @default.