Matches in SemOpenAlex for { <https://semopenalex.org/work/W2186804921> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2186804921 created "2016-06-24" @default.
- W2186804921 creator A5078863188 @default.
- W2186804921 date "2006-01-01" @default.
- W2186804921 modified "2023-09-27" @default.
- W2186804921 title "Automatic Proofs of" @default.
- W2186804921 cites W194165418 @default.
- W2186804921 cites W1974672137 @default.
- W2186804921 cites W1977004736 @default.
- W2186804921 cites W2065259180 @default.
- W2186804921 cites W2136934577 @default.
- W2186804921 cites W2148139859 @default.
- W2186804921 cites W2171567099 @default.
- W2186804921 cites W2983896310 @default.
- W2186804921 cites W2987803397 @default.
- W2186804921 hasPublicationYear "2006" @default.
- W2186804921 type Work @default.
- W2186804921 sameAs 2186804921 @default.
- W2186804921 citedByCount "0" @default.
- W2186804921 crossrefType "journal-article" @default.
- W2186804921 hasAuthorship W2186804921A5078863188 @default.
- W2186804921 hasConcept C108710211 @default.
- W2186804921 hasConcept C199343813 @default.
- W2186804921 hasConcept C2524010 @default.
- W2186804921 hasConcept C2777686260 @default.
- W2186804921 hasConcept C33923547 @default.
- W2186804921 hasConcept C41008148 @default.
- W2186804921 hasConcept C71924100 @default.
- W2186804921 hasConceptScore W2186804921C108710211 @default.
- W2186804921 hasConceptScore W2186804921C199343813 @default.
- W2186804921 hasConceptScore W2186804921C2524010 @default.
- W2186804921 hasConceptScore W2186804921C2777686260 @default.
- W2186804921 hasConceptScore W2186804921C33923547 @default.
- W2186804921 hasConceptScore W2186804921C41008148 @default.
- W2186804921 hasConceptScore W2186804921C71924100 @default.
- W2186804921 hasLocation W21868049211 @default.
- W2186804921 hasOpenAccess W2186804921 @default.
- W2186804921 hasPrimaryLocation W21868049211 @default.
- W2186804921 hasRelatedWork W1216298300 @default.
- W2186804921 hasRelatedWork W1480335431 @default.
- W2186804921 hasRelatedWork W1487079802 @default.
- W2186804921 hasRelatedWork W1495637379 @default.
- W2186804921 hasRelatedWork W1522635989 @default.
- W2186804921 hasRelatedWork W2080104522 @default.
- W2186804921 hasRelatedWork W2091015996 @default.
- W2186804921 hasRelatedWork W2298082713 @default.
- W2186804921 hasRelatedWork W2484278718 @default.
- W2186804921 hasRelatedWork W2598997288 @default.
- W2186804921 hasRelatedWork W2605252895 @default.
- W2186804921 hasRelatedWork W2766260207 @default.
- W2186804921 hasRelatedWork W2900834372 @default.
- W2186804921 hasRelatedWork W2914503058 @default.
- W2186804921 hasRelatedWork W3022165543 @default.
- W2186804921 hasRelatedWork W3190508650 @default.
- W2186804921 hasRelatedWork W33425727 @default.
- W2186804921 hasRelatedWork W35847595 @default.
- W2186804921 hasRelatedWork W1562231403 @default.
- W2186804921 hasRelatedWork W2492902029 @default.
- W2186804921 isParatext "false" @default.
- W2186804921 isRetracted "false" @default.
- W2186804921 magId "2186804921" @default.
- W2186804921 workType "article" @default.