Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914249599> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2914249599 created "2019-02-21" @default.
- W2914249599 creator A5007560639 @default.
- W2914249599 creator A5040867461 @default.
- W2914249599 date "1998-09-27" @default.
- W2914249599 modified "2023-09-23" @default.
- W2914249599 title "Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics" @default.
- W2914249599 hasPublicationYear "1998" @default.
- W2914249599 type Work @default.
- W2914249599 sameAs 2914249599 @default.
- W2914249599 citedByCount "0" @default.
- W2914249599 crossrefType "journal-article" @default.
- W2914249599 hasAuthorship W2914249599A5007560639 @default.
- W2914249599 hasAuthorship W2914249599A5040867461 @default.
- W2914249599 hasConcept C10138342 @default.
- W2914249599 hasConcept C144133560 @default.
- W2914249599 hasConcept C144237770 @default.
- W2914249599 hasConcept C182306322 @default.
- W2914249599 hasConcept C199343813 @default.
- W2914249599 hasConcept C2777686260 @default.
- W2914249599 hasConcept C33923547 @default.
- W2914249599 hasConcept C71924100 @default.
- W2914249599 hasConceptScore W2914249599C10138342 @default.
- W2914249599 hasConceptScore W2914249599C144133560 @default.
- W2914249599 hasConceptScore W2914249599C144237770 @default.
- W2914249599 hasConceptScore W2914249599C182306322 @default.
- W2914249599 hasConceptScore W2914249599C199343813 @default.
- W2914249599 hasConceptScore W2914249599C2777686260 @default.
- W2914249599 hasConceptScore W2914249599C33923547 @default.
- W2914249599 hasConceptScore W2914249599C71924100 @default.
- W2914249599 hasLocation W29142495991 @default.
- W2914249599 hasOpenAccess W2914249599 @default.
- W2914249599 hasPrimaryLocation W29142495991 @default.
- W2914249599 hasRelatedWork W145084525 @default.
- W2914249599 hasRelatedWork W1577102572 @default.
- W2914249599 hasRelatedWork W1580963782 @default.
- W2914249599 hasRelatedWork W1586167239 @default.
- W2914249599 hasRelatedWork W1996404651 @default.
- W2914249599 hasRelatedWork W2599912553 @default.
- W2914249599 hasRelatedWork W2610901184 @default.
- W2914249599 hasRelatedWork W2612997859 @default.
- W2914249599 hasRelatedWork W2913088507 @default.
- W2914249599 hasRelatedWork W2913147510 @default.
- W2914249599 hasRelatedWork W2913302882 @default.
- W2914249599 hasRelatedWork W2913438396 @default.
- W2914249599 hasRelatedWork W2913582715 @default.
- W2914249599 hasRelatedWork W2914091758 @default.
- W2914249599 hasRelatedWork W2914109168 @default.
- W2914249599 hasRelatedWork W2914369875 @default.
- W2914249599 hasRelatedWork W2914668156 @default.
- W2914249599 hasRelatedWork W3141870014 @default.
- W2914249599 isParatext "false" @default.
- W2914249599 isRetracted "false" @default.
- W2914249599 magId "2914249599" @default.
- W2914249599 workType "article" @default.