Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912783987> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2912783987 created "2019-02-21" @default.
- W2912783987 creator A5021606800 @default.
- W2912783987 creator A5025975198 @default.
- W2912783987 creator A5066247715 @default.
- W2912783987 date "1995-09-11" @default.
- W2912783987 modified "2023-09-25" @default.
- W2912783987 title "Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications" @default.
- W2912783987 hasPublicationYear "1995" @default.
- W2912783987 type Work @default.
- W2912783987 sameAs 2912783987 @default.
- W2912783987 citedByCount "0" @default.
- W2912783987 crossrefType "journal-article" @default.
- W2912783987 hasAuthorship W2912783987A5021606800 @default.
- W2912783987 hasAuthorship W2912783987A5025975198 @default.
- W2912783987 hasAuthorship W2912783987A5066247715 @default.
- W2912783987 hasConcept C10138342 @default.
- W2912783987 hasConcept C144133560 @default.
- W2912783987 hasConcept C182306322 @default.
- W2912783987 hasConcept C199343813 @default.
- W2912783987 hasConcept C199360897 @default.
- W2912783987 hasConcept C206880738 @default.
- W2912783987 hasConcept C2777686260 @default.
- W2912783987 hasConcept C33923547 @default.
- W2912783987 hasConcept C41008148 @default.
- W2912783987 hasConcept C71924100 @default.
- W2912783987 hasConceptScore W2912783987C10138342 @default.
- W2912783987 hasConceptScore W2912783987C144133560 @default.
- W2912783987 hasConceptScore W2912783987C182306322 @default.
- W2912783987 hasConceptScore W2912783987C199343813 @default.
- W2912783987 hasConceptScore W2912783987C199360897 @default.
- W2912783987 hasConceptScore W2912783987C206880738 @default.
- W2912783987 hasConceptScore W2912783987C2777686260 @default.
- W2912783987 hasConceptScore W2912783987C33923547 @default.
- W2912783987 hasConceptScore W2912783987C41008148 @default.
- W2912783987 hasConceptScore W2912783987C71924100 @default.
- W2912783987 hasLocation W29127839871 @default.
- W2912783987 hasOpenAccess W2912783987 @default.
- W2912783987 hasPrimaryLocation W29127839871 @default.
- W2912783987 hasRelatedWork W1585968270 @default.
- W2912783987 hasRelatedWork W1712107315 @default.
- W2912783987 hasRelatedWork W2274799360 @default.
- W2912783987 hasRelatedWork W2280901385 @default.
- W2912783987 hasRelatedWork W2303140169 @default.
- W2912783987 hasRelatedWork W2601974362 @default.
- W2912783987 hasRelatedWork W2620210094 @default.
- W2912783987 hasRelatedWork W2793605330 @default.
- W2912783987 hasRelatedWork W2911420699 @default.
- W2912783987 hasRelatedWork W2912071024 @default.
- W2912783987 hasRelatedWork W2912262297 @default.
- W2912783987 hasRelatedWork W2912461370 @default.
- W2912783987 hasRelatedWork W2912946370 @default.
- W2912783987 hasRelatedWork W2913569897 @default.
- W2912783987 hasRelatedWork W2914722351 @default.
- W2912783987 hasRelatedWork W2914993042 @default.
- W2912783987 hasRelatedWork W2915984525 @default.
- W2912783987 hasRelatedWork W2952816138 @default.
- W2912783987 hasRelatedWork W3087845122 @default.
- W2912783987 hasRelatedWork W3150048925 @default.
- W2912783987 isParatext "false" @default.
- W2912783987 isRetracted "false" @default.
- W2912783987 magId "2912783987" @default.
- W2912783987 workType "article" @default.