Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913147510> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2913147510 created "2019-02-21" @default.
- W2913147510 creator A5007159598 @default.
- W2913147510 creator A5016058241 @default.
- W2913147510 creator A5032928854 @default.
- W2913147510 date "2008-08-18" @default.
- W2913147510 modified "2023-10-01" @default.
- W2913147510 title "Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics" @default.
- W2913147510 hasPublicationYear "2008" @default.
- W2913147510 type Work @default.
- W2913147510 sameAs 2913147510 @default.
- W2913147510 citedByCount "0" @default.
- W2913147510 crossrefType "proceedings-article" @default.
- W2913147510 hasAuthorship W2913147510A5007159598 @default.
- W2913147510 hasAuthorship W2913147510A5016058241 @default.
- W2913147510 hasAuthorship W2913147510A5032928854 @default.
- W2913147510 hasConcept C10138342 @default.
- W2913147510 hasConcept C118615104 @default.
- W2913147510 hasConcept C144133560 @default.
- W2913147510 hasConcept C144237770 @default.
- W2913147510 hasConcept C182306322 @default.
- W2913147510 hasConcept C199343813 @default.
- W2913147510 hasConcept C206880738 @default.
- W2913147510 hasConcept C2777686260 @default.
- W2913147510 hasConcept C33923547 @default.
- W2913147510 hasConcept C41008148 @default.
- W2913147510 hasConcept C71924100 @default.
- W2913147510 hasConcept C80444323 @default.
- W2913147510 hasConceptScore W2913147510C10138342 @default.
- W2913147510 hasConceptScore W2913147510C118615104 @default.
- W2913147510 hasConceptScore W2913147510C144133560 @default.
- W2913147510 hasConceptScore W2913147510C144237770 @default.
- W2913147510 hasConceptScore W2913147510C182306322 @default.
- W2913147510 hasConceptScore W2913147510C199343813 @default.
- W2913147510 hasConceptScore W2913147510C206880738 @default.
- W2913147510 hasConceptScore W2913147510C2777686260 @default.
- W2913147510 hasConceptScore W2913147510C33923547 @default.
- W2913147510 hasConceptScore W2913147510C41008148 @default.
- W2913147510 hasConceptScore W2913147510C71924100 @default.
- W2913147510 hasConceptScore W2913147510C80444323 @default.
- W2913147510 hasLocation W29131475101 @default.
- W2913147510 hasOpenAccess W2913147510 @default.
- W2913147510 hasPrimaryLocation W29131475101 @default.
- W2913147510 hasRelatedWork W145084525 @default.
- W2913147510 hasRelatedWork W1576563542 @default.
- W2913147510 hasRelatedWork W1577102572 @default.
- W2913147510 hasRelatedWork W1580963782 @default.
- W2913147510 hasRelatedWork W2610901184 @default.
- W2913147510 hasRelatedWork W2612997859 @default.
- W2913147510 hasRelatedWork W2913088507 @default.
- W2913147510 hasRelatedWork W2913302882 @default.
- W2913147510 hasRelatedWork W2913438396 @default.
- W2913147510 hasRelatedWork W2913582715 @default.
- W2913147510 hasRelatedWork W2914091758 @default.
- W2913147510 hasRelatedWork W2914109168 @default.
- W2913147510 hasRelatedWork W2914249599 @default.
- W2913147510 hasRelatedWork W2914369875 @default.
- W2913147510 hasRelatedWork W2914668156 @default.
- W2913147510 hasRelatedWork W3141870014 @default.
- W2913147510 isParatext "false" @default.
- W2913147510 isRetracted "false" @default.
- W2913147510 magId "2913147510" @default.
- W2913147510 workType "article" @default.