Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912071024> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2912071024 created "2019-02-21" @default.
- W2912071024 creator A5051882974 @default.
- W2912071024 creator A5078724981 @default.
- W2912071024 date "1993-08-11" @default.
- W2912071024 modified "2023-09-27" @default.
- W2912071024 title "Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications" @default.
- W2912071024 hasPublicationYear "1993" @default.
- W2912071024 type Work @default.
- W2912071024 sameAs 2912071024 @default.
- W2912071024 citedByCount "0" @default.
- W2912071024 crossrefType "journal-article" @default.
- W2912071024 hasAuthorship W2912071024A5051882974 @default.
- W2912071024 hasAuthorship W2912071024A5078724981 @default.
- W2912071024 hasConcept C10138342 @default.
- W2912071024 hasConcept C144133560 @default.
- W2912071024 hasConcept C144237770 @default.
- W2912071024 hasConcept C182306322 @default.
- W2912071024 hasConcept C199343813 @default.
- W2912071024 hasConcept C206880738 @default.
- W2912071024 hasConcept C2777686260 @default.
- W2912071024 hasConcept C33923547 @default.
- W2912071024 hasConcept C41008148 @default.
- W2912071024 hasConcept C71924100 @default.
- W2912071024 hasConcept C80444323 @default.
- W2912071024 hasConceptScore W2912071024C10138342 @default.
- W2912071024 hasConceptScore W2912071024C144133560 @default.
- W2912071024 hasConceptScore W2912071024C144237770 @default.
- W2912071024 hasConceptScore W2912071024C182306322 @default.
- W2912071024 hasConceptScore W2912071024C199343813 @default.
- W2912071024 hasConceptScore W2912071024C206880738 @default.
- W2912071024 hasConceptScore W2912071024C2777686260 @default.
- W2912071024 hasConceptScore W2912071024C33923547 @default.
- W2912071024 hasConceptScore W2912071024C41008148 @default.
- W2912071024 hasConceptScore W2912071024C71924100 @default.
- W2912071024 hasConceptScore W2912071024C80444323 @default.
- W2912071024 hasLocation W29120710241 @default.
- W2912071024 hasOpenAccess W2912071024 @default.
- W2912071024 hasPrimaryLocation W29120710241 @default.
- W2912071024 hasRelatedWork W1585968270 @default.
- W2912071024 hasRelatedWork W1712107315 @default.
- W2912071024 hasRelatedWork W2274799360 @default.
- W2912071024 hasRelatedWork W2280901385 @default.
- W2912071024 hasRelatedWork W2303140169 @default.
- W2912071024 hasRelatedWork W2601974362 @default.
- W2912071024 hasRelatedWork W2620210094 @default.
- W2912071024 hasRelatedWork W2793605330 @default.
- W2912071024 hasRelatedWork W2911420699 @default.
- W2912071024 hasRelatedWork W2912262297 @default.
- W2912071024 hasRelatedWork W2912461370 @default.
- W2912071024 hasRelatedWork W2912783987 @default.
- W2912071024 hasRelatedWork W2912946370 @default.
- W2912071024 hasRelatedWork W2913569897 @default.
- W2912071024 hasRelatedWork W2914722351 @default.
- W2912071024 hasRelatedWork W2914993042 @default.
- W2912071024 hasRelatedWork W2915984525 @default.
- W2912071024 hasRelatedWork W2952816138 @default.
- W2912071024 hasRelatedWork W3087845122 @default.
- W2912071024 hasRelatedWork W3150048925 @default.
- W2912071024 isParatext "false" @default.
- W2912071024 isRetracted "false" @default.
- W2912071024 magId "2912071024" @default.
- W2912071024 workType "article" @default.