Matches in SemOpenAlex for { <https://semopenalex.org/work/W2565297847> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2565297847 endingPage "286" @default.
- W2565297847 startingPage "263" @default.
- W2565297847 created "2017-01-06" @default.
- W2565297847 creator A5027122169 @default.
- W2565297847 creator A5076927852 @default.
- W2565297847 date "1994-01-01" @default.
- W2565297847 modified "2023-09-23" @default.
- W2565297847 title "A tableaux-based automated theorem prover" @default.
- W2565297847 hasPublicationYear "1994" @default.
- W2565297847 type Work @default.
- W2565297847 sameAs 2565297847 @default.
- W2565297847 citedByCount "0" @default.
- W2565297847 crossrefType "proceedings-article" @default.
- W2565297847 hasAuthorship W2565297847A5027122169 @default.
- W2565297847 hasAuthorship W2565297847A5076927852 @default.
- W2565297847 hasConcept C108710211 @default.
- W2565297847 hasConcept C11413529 @default.
- W2565297847 hasConcept C159718280 @default.
- W2565297847 hasConcept C195344581 @default.
- W2565297847 hasConcept C199343813 @default.
- W2565297847 hasConcept C199360897 @default.
- W2565297847 hasConcept C206880738 @default.
- W2565297847 hasConcept C2524010 @default.
- W2565297847 hasConcept C2777686260 @default.
- W2565297847 hasConcept C33923547 @default.
- W2565297847 hasConcept C41008148 @default.
- W2565297847 hasConcept C71924100 @default.
- W2565297847 hasConcept C80444323 @default.
- W2565297847 hasConceptScore W2565297847C108710211 @default.
- W2565297847 hasConceptScore W2565297847C11413529 @default.
- W2565297847 hasConceptScore W2565297847C159718280 @default.
- W2565297847 hasConceptScore W2565297847C195344581 @default.
- W2565297847 hasConceptScore W2565297847C199343813 @default.
- W2565297847 hasConceptScore W2565297847C199360897 @default.
- W2565297847 hasConceptScore W2565297847C206880738 @default.
- W2565297847 hasConceptScore W2565297847C2524010 @default.
- W2565297847 hasConceptScore W2565297847C2777686260 @default.
- W2565297847 hasConceptScore W2565297847C33923547 @default.
- W2565297847 hasConceptScore W2565297847C41008148 @default.
- W2565297847 hasConceptScore W2565297847C71924100 @default.
- W2565297847 hasConceptScore W2565297847C80444323 @default.
- W2565297847 hasLocation W25652978471 @default.
- W2565297847 hasOpenAccess W2565297847 @default.
- W2565297847 hasPrimaryLocation W25652978471 @default.
- W2565297847 hasRelatedWork W134091217 @default.
- W2565297847 hasRelatedWork W154368879 @default.
- W2565297847 hasRelatedWork W1567315244 @default.
- W2565297847 hasRelatedWork W1720975781 @default.
- W2565297847 hasRelatedWork W17889614 @default.
- W2565297847 hasRelatedWork W179065745 @default.
- W2565297847 hasRelatedWork W2055082904 @default.
- W2565297847 hasRelatedWork W2158022092 @default.
- W2565297847 hasRelatedWork W2319334257 @default.
- W2565297847 hasRelatedWork W2401255201 @default.
- W2565297847 hasRelatedWork W2538273967 @default.
- W2565297847 hasRelatedWork W2574553904 @default.
- W2565297847 hasRelatedWork W2965050474 @default.
- W2565297847 hasRelatedWork W57682047 @default.
- W2565297847 hasRelatedWork W593894321 @default.
- W2565297847 hasRelatedWork W59585444 @default.
- W2565297847 hasRelatedWork W1542579875 @default.
- W2565297847 hasRelatedWork W2192184199 @default.
- W2565297847 hasRelatedWork W2297848989 @default.
- W2565297847 hasRelatedWork W2806994441 @default.
- W2565297847 isParatext "false" @default.
- W2565297847 isRetracted "false" @default.
- W2565297847 magId "2565297847" @default.
- W2565297847 workType "article" @default.