Matches in SemOpenAlex for { <https://semopenalex.org/work/W47776629> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W47776629 endingPage "543" @default.
- W47776629 startingPage "543" @default.
- W47776629 created "2016-06-24" @default.
- W47776629 creator A5038489315 @default.
- W47776629 creator A5061468940 @default.
- W47776629 date "1977-08-22" @default.
- W47776629 modified "2023-09-28" @default.
- W47776629 title "Theorem proving with structure sharing and efficient unification" @default.
- W47776629 hasPublicationYear "1977" @default.
- W47776629 type Work @default.
- W47776629 sameAs 47776629 @default.
- W47776629 citedByCount "3" @default.
- W47776629 crossrefType "proceedings-article" @default.
- W47776629 hasAuthorship W47776629A5038489315 @default.
- W47776629 hasAuthorship W47776629A5061468940 @default.
- W47776629 hasConcept C136119220 @default.
- W47776629 hasConcept C199360897 @default.
- W47776629 hasConcept C202444582 @default.
- W47776629 hasConcept C206880738 @default.
- W47776629 hasConcept C33923547 @default.
- W47776629 hasConcept C41008148 @default.
- W47776629 hasConcept C80444323 @default.
- W47776629 hasConcept C96146094 @default.
- W47776629 hasConceptScore W47776629C136119220 @default.
- W47776629 hasConceptScore W47776629C199360897 @default.
- W47776629 hasConceptScore W47776629C202444582 @default.
- W47776629 hasConceptScore W47776629C206880738 @default.
- W47776629 hasConceptScore W47776629C33923547 @default.
- W47776629 hasConceptScore W47776629C41008148 @default.
- W47776629 hasConceptScore W47776629C80444323 @default.
- W47776629 hasConceptScore W47776629C96146094 @default.
- W47776629 hasLocation W477766291 @default.
- W47776629 hasOpenAccess W47776629 @default.
- W47776629 hasPrimaryLocation W477766291 @default.
- W47776629 hasRelatedWork W128793516 @default.
- W47776629 hasRelatedWork W136366005 @default.
- W47776629 hasRelatedWork W150402802 @default.
- W47776629 hasRelatedWork W1531901718 @default.
- W47776629 hasRelatedWork W1580177913 @default.
- W47776629 hasRelatedWork W2100738443 @default.
- W47776629 hasRelatedWork W2103017056 @default.
- W47776629 hasRelatedWork W2476720312 @default.
- W47776629 hasRelatedWork W2590678415 @default.
- W47776629 hasRelatedWork W2612664774 @default.
- W47776629 hasRelatedWork W2738825909 @default.
- W47776629 hasRelatedWork W2781836943 @default.
- W47776629 hasRelatedWork W2913968350 @default.
- W47776629 hasRelatedWork W2952409637 @default.
- W47776629 hasRelatedWork W587228181 @default.
- W47776629 hasRelatedWork W648769193 @default.
- W47776629 hasRelatedWork W75561324 @default.
- W47776629 hasRelatedWork W821177344 @default.
- W47776629 hasRelatedWork W2157104747 @default.
- W47776629 hasRelatedWork W2646533441 @default.
- W47776629 isParatext "false" @default.
- W47776629 isRetracted "false" @default.
- W47776629 magId "47776629" @default.
- W47776629 workType "article" @default.