Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912262297> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2912262297 created "2019-02-21" @default.
- W2912262297 creator A5015518667 @default.
- W2912262297 creator A5069407934 @default.
- W2912262297 date "1994-09-19" @default.
- W2912262297 modified "2023-09-26" @default.
- W2912262297 title "Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications" @default.
- W2912262297 hasPublicationYear "1994" @default.
- W2912262297 type Work @default.
- W2912262297 sameAs 2912262297 @default.
- W2912262297 citedByCount "1" @default.
- W2912262297 crossrefType "journal-article" @default.
- W2912262297 hasAuthorship W2912262297A5015518667 @default.
- W2912262297 hasAuthorship W2912262297A5069407934 @default.
- W2912262297 hasConcept C10138342 @default.
- W2912262297 hasConcept C144133560 @default.
- W2912262297 hasConcept C144237770 @default.
- W2912262297 hasConcept C182306322 @default.
- W2912262297 hasConcept C199343813 @default.
- W2912262297 hasConcept C2777686260 @default.
- W2912262297 hasConcept C33923547 @default.
- W2912262297 hasConcept C41008148 @default.
- W2912262297 hasConcept C71924100 @default.
- W2912262297 hasConceptScore W2912262297C10138342 @default.
- W2912262297 hasConceptScore W2912262297C144133560 @default.
- W2912262297 hasConceptScore W2912262297C144237770 @default.
- W2912262297 hasConceptScore W2912262297C182306322 @default.
- W2912262297 hasConceptScore W2912262297C199343813 @default.
- W2912262297 hasConceptScore W2912262297C2777686260 @default.
- W2912262297 hasConceptScore W2912262297C33923547 @default.
- W2912262297 hasConceptScore W2912262297C41008148 @default.
- W2912262297 hasConceptScore W2912262297C71924100 @default.
- W2912262297 hasLocation W29122622971 @default.
- W2912262297 hasOpenAccess W2912262297 @default.
- W2912262297 hasPrimaryLocation W29122622971 @default.
- W2912262297 hasRelatedWork W1585968270 @default.
- W2912262297 hasRelatedWork W1712107315 @default.
- W2912262297 hasRelatedWork W2274799360 @default.
- W2912262297 hasRelatedWork W2280901385 @default.
- W2912262297 hasRelatedWork W2303140169 @default.
- W2912262297 hasRelatedWork W2601974362 @default.
- W2912262297 hasRelatedWork W2620210094 @default.
- W2912262297 hasRelatedWork W2793605330 @default.
- W2912262297 hasRelatedWork W2911420699 @default.
- W2912262297 hasRelatedWork W2912071024 @default.
- W2912262297 hasRelatedWork W2912461370 @default.
- W2912262297 hasRelatedWork W2912783987 @default.
- W2912262297 hasRelatedWork W2912946370 @default.
- W2912262297 hasRelatedWork W2913569897 @default.
- W2912262297 hasRelatedWork W2914722351 @default.
- W2912262297 hasRelatedWork W2914993042 @default.
- W2912262297 hasRelatedWork W2915984525 @default.
- W2912262297 hasRelatedWork W2952816138 @default.
- W2912262297 hasRelatedWork W3087845122 @default.
- W2912262297 hasRelatedWork W3150048925 @default.
- W2912262297 isParatext "false" @default.
- W2912262297 isRetracted "false" @default.
- W2912262297 magId "2912262297" @default.
- W2912262297 workType "article" @default.