Matches in SemOpenAlex for { <https://semopenalex.org/work/W147886246> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W147886246 created "2016-06-24" @default.
- W147886246 creator A5054544098 @default.
- W147886246 date "2001-01-01" @default.
- W147886246 modified "2023-09-25" @default.
- W147886246 title "Herby: A Semantic—Tree Theorem Prover" @default.
- W147886246 doi "https://doi.org/10.1007/978-1-4613-0089-2_7" @default.
- W147886246 hasPublicationYear "2001" @default.
- W147886246 type Work @default.
- W147886246 sameAs 147886246 @default.
- W147886246 citedByCount "0" @default.
- W147886246 crossrefType "book-chapter" @default.
- W147886246 hasAuthorship W147886246A5054544098 @default.
- W147886246 hasConcept C108710211 @default.
- W147886246 hasConcept C113174947 @default.
- W147886246 hasConcept C11413529 @default.
- W147886246 hasConcept C114614502 @default.
- W147886246 hasConcept C118615104 @default.
- W147886246 hasConcept C138268822 @default.
- W147886246 hasConcept C154945302 @default.
- W147886246 hasConcept C159718280 @default.
- W147886246 hasConcept C177264268 @default.
- W147886246 hasConcept C199343813 @default.
- W147886246 hasConcept C199360897 @default.
- W147886246 hasConcept C206880738 @default.
- W147886246 hasConcept C2524010 @default.
- W147886246 hasConcept C2777686260 @default.
- W147886246 hasConcept C33923547 @default.
- W147886246 hasConcept C41008148 @default.
- W147886246 hasConcept C71924100 @default.
- W147886246 hasConceptScore W147886246C108710211 @default.
- W147886246 hasConceptScore W147886246C113174947 @default.
- W147886246 hasConceptScore W147886246C11413529 @default.
- W147886246 hasConceptScore W147886246C114614502 @default.
- W147886246 hasConceptScore W147886246C118615104 @default.
- W147886246 hasConceptScore W147886246C138268822 @default.
- W147886246 hasConceptScore W147886246C154945302 @default.
- W147886246 hasConceptScore W147886246C159718280 @default.
- W147886246 hasConceptScore W147886246C177264268 @default.
- W147886246 hasConceptScore W147886246C199343813 @default.
- W147886246 hasConceptScore W147886246C199360897 @default.
- W147886246 hasConceptScore W147886246C206880738 @default.
- W147886246 hasConceptScore W147886246C2524010 @default.
- W147886246 hasConceptScore W147886246C2777686260 @default.
- W147886246 hasConceptScore W147886246C33923547 @default.
- W147886246 hasConceptScore W147886246C41008148 @default.
- W147886246 hasConceptScore W147886246C71924100 @default.
- W147886246 hasLocation W1478862461 @default.
- W147886246 hasOpenAccess W147886246 @default.
- W147886246 hasPrimaryLocation W1478862461 @default.
- W147886246 hasRelatedWork W113905406 @default.
- W147886246 hasRelatedWork W12202036 @default.
- W147886246 hasRelatedWork W1592709139 @default.
- W147886246 hasRelatedWork W1839772956 @default.
- W147886246 hasRelatedWork W1897269102 @default.
- W147886246 hasRelatedWork W2009437478 @default.
- W147886246 hasRelatedWork W2030827911 @default.
- W147886246 hasRelatedWork W2076932470 @default.
- W147886246 hasRelatedWork W2119670089 @default.
- W147886246 hasRelatedWork W2136341435 @default.
- W147886246 hasRelatedWork W2158114636 @default.
- W147886246 hasRelatedWork W2164103737 @default.
- W147886246 hasRelatedWork W2165223420 @default.
- W147886246 hasRelatedWork W2166534810 @default.
- W147886246 hasRelatedWork W228759579 @default.
- W147886246 hasRelatedWork W2396117615 @default.
- W147886246 hasRelatedWork W2400740242 @default.
- W147886246 hasRelatedWork W2912892936 @default.
- W147886246 hasRelatedWork W2953362485 @default.
- W147886246 hasRelatedWork W2168650517 @default.
- W147886246 isParatext "false" @default.
- W147886246 isRetracted "false" @default.
- W147886246 magId "147886246" @default.
- W147886246 workType "book-chapter" @default.