Matches in SemOpenAlex for { <https://semopenalex.org/work/W1002956034> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1002956034 created "2016-06-24" @default.
- W1002956034 creator A5002384779 @default.
- W1002956034 date "1998-01-01" @default.
- W1002956034 modified "2023-09-22" @default.
- W1002956034 title "Representation Theorems and Automated Theorem Proving in Certain Classes of Non-classical Logics" @default.
- W1002956034 hasPublicationYear "1998" @default.
- W1002956034 type Work @default.
- W1002956034 sameAs 1002956034 @default.
- W1002956034 citedByCount "0" @default.
- W1002956034 crossrefType "journal-article" @default.
- W1002956034 hasAuthorship W1002956034A5002384779 @default.
- W1002956034 hasConcept C118615104 @default.
- W1002956034 hasConcept C136119220 @default.
- W1002956034 hasConcept C17744445 @default.
- W1002956034 hasConcept C199343813 @default.
- W1002956034 hasConcept C199539241 @default.
- W1002956034 hasConcept C202444582 @default.
- W1002956034 hasConcept C2776230367 @default.
- W1002956034 hasConcept C2776359362 @default.
- W1002956034 hasConcept C2777686260 @default.
- W1002956034 hasConcept C33923547 @default.
- W1002956034 hasConcept C41008148 @default.
- W1002956034 hasConcept C71924100 @default.
- W1002956034 hasConcept C94625758 @default.
- W1002956034 hasConceptScore W1002956034C118615104 @default.
- W1002956034 hasConceptScore W1002956034C136119220 @default.
- W1002956034 hasConceptScore W1002956034C17744445 @default.
- W1002956034 hasConceptScore W1002956034C199343813 @default.
- W1002956034 hasConceptScore W1002956034C199539241 @default.
- W1002956034 hasConceptScore W1002956034C202444582 @default.
- W1002956034 hasConceptScore W1002956034C2776230367 @default.
- W1002956034 hasConceptScore W1002956034C2776359362 @default.
- W1002956034 hasConceptScore W1002956034C2777686260 @default.
- W1002956034 hasConceptScore W1002956034C33923547 @default.
- W1002956034 hasConceptScore W1002956034C41008148 @default.
- W1002956034 hasConceptScore W1002956034C71924100 @default.
- W1002956034 hasConceptScore W1002956034C94625758 @default.
- W1002956034 hasOpenAccess W1002956034 @default.
- W1002956034 hasRelatedWork W123438006 @default.
- W1002956034 hasRelatedWork W1543931510 @default.
- W1002956034 hasRelatedWork W1576127349 @default.
- W1002956034 hasRelatedWork W1598572838 @default.
- W1002956034 hasRelatedWork W1600600745 @default.
- W1002956034 hasRelatedWork W165151141 @default.
- W1002956034 hasRelatedWork W2017754974 @default.
- W1002956034 hasRelatedWork W2038464985 @default.
- W1002956034 hasRelatedWork W2041161966 @default.
- W1002956034 hasRelatedWork W2066365568 @default.
- W1002956034 hasRelatedWork W2115151246 @default.
- W1002956034 hasRelatedWork W2119636934 @default.
- W1002956034 hasRelatedWork W2138336393 @default.
- W1002956034 hasRelatedWork W2147348330 @default.
- W1002956034 hasRelatedWork W2148854889 @default.
- W1002956034 hasRelatedWork W2149404447 @default.
- W1002956034 hasRelatedWork W2168144545 @default.
- W1002956034 hasRelatedWork W2592839518 @default.
- W1002956034 hasRelatedWork W2942814310 @default.
- W1002956034 hasRelatedWork W1574793289 @default.
- W1002956034 isParatext "false" @default.
- W1002956034 isRetracted "false" @default.
- W1002956034 magId "1002956034" @default.
- W1002956034 workType "article" @default.