Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913302882> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2913302882 created "2019-02-21" @default.
- W2913302882 creator A5031194946 @default.
- W2913302882 creator A5090020170 @default.
- W2913302882 date "1997-08-19" @default.
- W2913302882 modified "2023-09-27" @default.
- W2913302882 title "Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics" @default.
- W2913302882 hasPublicationYear "1997" @default.
- W2913302882 type Work @default.
- W2913302882 sameAs 2913302882 @default.
- W2913302882 citedByCount "0" @default.
- W2913302882 crossrefType "journal-article" @default.
- W2913302882 hasAuthorship W2913302882A5031194946 @default.
- W2913302882 hasAuthorship W2913302882A5090020170 @default.
- W2913302882 hasConcept C10138342 @default.
- W2913302882 hasConcept C144133560 @default.
- W2913302882 hasConcept C144237770 @default.
- W2913302882 hasConcept C182306322 @default.
- W2913302882 hasConcept C199343813 @default.
- W2913302882 hasConcept C2777686260 @default.
- W2913302882 hasConcept C33923547 @default.
- W2913302882 hasConcept C41008148 @default.
- W2913302882 hasConcept C71924100 @default.
- W2913302882 hasConceptScore W2913302882C10138342 @default.
- W2913302882 hasConceptScore W2913302882C144133560 @default.
- W2913302882 hasConceptScore W2913302882C144237770 @default.
- W2913302882 hasConceptScore W2913302882C182306322 @default.
- W2913302882 hasConceptScore W2913302882C199343813 @default.
- W2913302882 hasConceptScore W2913302882C2777686260 @default.
- W2913302882 hasConceptScore W2913302882C33923547 @default.
- W2913302882 hasConceptScore W2913302882C41008148 @default.
- W2913302882 hasConceptScore W2913302882C71924100 @default.
- W2913302882 hasLocation W29133028821 @default.
- W2913302882 hasOpenAccess W2913302882 @default.
- W2913302882 hasPrimaryLocation W29133028821 @default.
- W2913302882 hasRelatedWork W145084525 @default.
- W2913302882 hasRelatedWork W1577102572 @default.
- W2913302882 hasRelatedWork W1580963782 @default.
- W2913302882 hasRelatedWork W2599912553 @default.
- W2913302882 hasRelatedWork W2610901184 @default.
- W2913302882 hasRelatedWork W2612997859 @default.
- W2913302882 hasRelatedWork W2913088507 @default.
- W2913302882 hasRelatedWork W2913147510 @default.
- W2913302882 hasRelatedWork W2913438396 @default.
- W2913302882 hasRelatedWork W2913582715 @default.
- W2913302882 hasRelatedWork W2914091758 @default.
- W2913302882 hasRelatedWork W2914109168 @default.
- W2913302882 hasRelatedWork W2914249599 @default.
- W2913302882 hasRelatedWork W2914369875 @default.
- W2913302882 hasRelatedWork W2914668156 @default.
- W2913302882 hasRelatedWork W3141870014 @default.
- W2913302882 isParatext "false" @default.
- W2913302882 isRetracted "false" @default.
- W2913302882 magId "2913302882" @default.
- W2913302882 workType "article" @default.