Matches in SemOpenAlex for { <https://semopenalex.org/work/W2620210094> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2620210094 created "2017-06-05" @default.
- W2620210094 creator A5013254098 @default.
- W2620210094 date "2000-01-01" @default.
- W2620210094 modified "2023-09-25" @default.
- W2620210094 title "Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000)" @default.
- W2620210094 hasPublicationYear "2000" @default.
- W2620210094 type Work @default.
- W2620210094 sameAs 2620210094 @default.
- W2620210094 citedByCount "0" @default.
- W2620210094 crossrefType "journal-article" @default.
- W2620210094 hasAuthorship W2620210094A5013254098 @default.
- W2620210094 hasConcept C10138342 @default.
- W2620210094 hasConcept C144133560 @default.
- W2620210094 hasConcept C144237770 @default.
- W2620210094 hasConcept C17744445 @default.
- W2620210094 hasConcept C182306322 @default.
- W2620210094 hasConcept C199343813 @default.
- W2620210094 hasConcept C2777686260 @default.
- W2620210094 hasConcept C33923547 @default.
- W2620210094 hasConcept C41008148 @default.
- W2620210094 hasConcept C71924100 @default.
- W2620210094 hasConceptScore W2620210094C10138342 @default.
- W2620210094 hasConceptScore W2620210094C144133560 @default.
- W2620210094 hasConceptScore W2620210094C144237770 @default.
- W2620210094 hasConceptScore W2620210094C17744445 @default.
- W2620210094 hasConceptScore W2620210094C182306322 @default.
- W2620210094 hasConceptScore W2620210094C199343813 @default.
- W2620210094 hasConceptScore W2620210094C2777686260 @default.
- W2620210094 hasConceptScore W2620210094C33923547 @default.
- W2620210094 hasConceptScore W2620210094C41008148 @default.
- W2620210094 hasConceptScore W2620210094C71924100 @default.
- W2620210094 hasLocation W26202100941 @default.
- W2620210094 hasOpenAccess W2620210094 @default.
- W2620210094 hasPrimaryLocation W26202100941 @default.
- W2620210094 hasRelatedWork W1517534379 @default.
- W2620210094 hasRelatedWork W1585968270 @default.
- W2620210094 hasRelatedWork W2274799360 @default.
- W2620210094 hasRelatedWork W2280901385 @default.
- W2620210094 hasRelatedWork W2320331795 @default.
- W2620210094 hasRelatedWork W2323076527 @default.
- W2620210094 hasRelatedWork W2328695143 @default.
- W2620210094 hasRelatedWork W2333680450 @default.
- W2620210094 hasRelatedWork W2564954397 @default.
- W2620210094 hasRelatedWork W2752050161 @default.
- W2620210094 hasRelatedWork W2912071024 @default.
- W2620210094 hasRelatedWork W2912262297 @default.
- W2620210094 hasRelatedWork W2912783987 @default.
- W2620210094 hasRelatedWork W2914722351 @default.
- W2620210094 hasRelatedWork W2914878487 @default.
- W2620210094 hasRelatedWork W2914993042 @default.
- W2620210094 hasRelatedWork W2915984525 @default.
- W2620210094 hasRelatedWork W2972570679 @default.
- W2620210094 hasRelatedWork W3013227509 @default.
- W2620210094 hasRelatedWork W3199955333 @default.
- W2620210094 isParatext "false" @default.
- W2620210094 isRetracted "false" @default.
- W2620210094 magId "2620210094" @default.
- W2620210094 workType "article" @default.