Matches in SemOpenAlex for { <https://semopenalex.org/work/W68183112> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W68183112 endingPage "247" @default.
- W68183112 startingPage "242" @default.
- W68183112 created "2016-06-24" @default.
- W68183112 creator A5036408214 @default.
- W68183112 creator A5037583341 @default.
- W68183112 creator A5088235073 @default.
- W68183112 date "2011-01-01" @default.
- W68183112 modified "2023-09-23" @default.
- W68183112 title "$textsc{Methspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine" @default.
- W68183112 cites W1489969750 @default.
- W68183112 cites W1498270679 @default.
- W68183112 cites W1597361319 @default.
- W68183112 cites W1818629355 @default.
- W68183112 cites W2114356493 @default.
- W68183112 cites W2408610956 @default.
- W68183112 doi "https://doi.org/10.1007/978-3-642-22119-4_19" @default.
- W68183112 hasPublicationYear "2011" @default.
- W68183112 type Work @default.
- W68183112 sameAs 68183112 @default.
- W68183112 citedByCount "5" @default.
- W68183112 countsByYear W681831122012 @default.
- W68183112 countsByYear W681831122018 @default.
- W68183112 countsByYear W681831122019 @default.
- W68183112 crossrefType "book-chapter" @default.
- W68183112 hasAuthorship W68183112A5036408214 @default.
- W68183112 hasAuthorship W68183112A5037583341 @default.
- W68183112 hasAuthorship W68183112A5088235073 @default.
- W68183112 hasConcept C108710211 @default.
- W68183112 hasConcept C11413529 @default.
- W68183112 hasConcept C118615104 @default.
- W68183112 hasConcept C154945302 @default.
- W68183112 hasConcept C159718280 @default.
- W68183112 hasConcept C162324750 @default.
- W68183112 hasConcept C176217482 @default.
- W68183112 hasConcept C177264268 @default.
- W68183112 hasConcept C185592680 @default.
- W68183112 hasConcept C188027245 @default.
- W68183112 hasConcept C199360897 @default.
- W68183112 hasConcept C21547014 @default.
- W68183112 hasConcept C2524010 @default.
- W68183112 hasConcept C27508121 @default.
- W68183112 hasConcept C2776214188 @default.
- W68183112 hasConcept C33923547 @default.
- W68183112 hasConcept C3746660 @default.
- W68183112 hasConcept C41008148 @default.
- W68183112 hasConcept C71139939 @default.
- W68183112 hasConcept C80444323 @default.
- W68183112 hasConceptScore W68183112C108710211 @default.
- W68183112 hasConceptScore W68183112C11413529 @default.
- W68183112 hasConceptScore W68183112C118615104 @default.
- W68183112 hasConceptScore W68183112C154945302 @default.
- W68183112 hasConceptScore W68183112C159718280 @default.
- W68183112 hasConceptScore W68183112C162324750 @default.
- W68183112 hasConceptScore W68183112C176217482 @default.
- W68183112 hasConceptScore W68183112C177264268 @default.
- W68183112 hasConceptScore W68183112C185592680 @default.
- W68183112 hasConceptScore W68183112C188027245 @default.
- W68183112 hasConceptScore W68183112C199360897 @default.
- W68183112 hasConceptScore W68183112C21547014 @default.
- W68183112 hasConceptScore W68183112C2524010 @default.
- W68183112 hasConceptScore W68183112C27508121 @default.
- W68183112 hasConceptScore W68183112C2776214188 @default.
- W68183112 hasConceptScore W68183112C33923547 @default.
- W68183112 hasConceptScore W68183112C3746660 @default.
- W68183112 hasConceptScore W68183112C41008148 @default.
- W68183112 hasConceptScore W68183112C71139939 @default.
- W68183112 hasConceptScore W68183112C80444323 @default.
- W68183112 hasLocation W681831121 @default.
- W68183112 hasOpenAccess W68183112 @default.
- W68183112 hasPrimaryLocation W681831121 @default.
- W68183112 hasRelatedWork W1518896522 @default.
- W68183112 hasRelatedWork W1559327198 @default.
- W68183112 hasRelatedWork W1994532891 @default.
- W68183112 hasRelatedWork W2162172193 @default.
- W68183112 hasRelatedWork W2162812661 @default.
- W68183112 hasRelatedWork W2352282295 @default.
- W68183112 hasRelatedWork W2490732785 @default.
- W68183112 hasRelatedWork W2526139087 @default.
- W68183112 hasRelatedWork W2912055616 @default.
- W68183112 hasRelatedWork W2188255379 @default.
- W68183112 isParatext "false" @default.
- W68183112 isRetracted "false" @default.
- W68183112 magId "68183112" @default.
- W68183112 workType "book-chapter" @default.