Matches in SemOpenAlex for { <https://semopenalex.org/work/W2479603923> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2479603923 endingPage "133" @default.
- W2479603923 startingPage "132" @default.
- W2479603923 created "2016-08-23" @default.
- W2479603923 creator A5008937002 @default.
- W2479603923 creator A5040311876 @default.
- W2479603923 date "1984-01-01" @default.
- W2479603923 modified "2023-09-25" @default.
- W2479603923 title "The UT Theorem Prover" @default.
- W2479603923 doi "https://doi.org/10.1007/978-3-642-96868-6_254" @default.
- W2479603923 hasPublicationYear "1984" @default.
- W2479603923 type Work @default.
- W2479603923 sameAs 2479603923 @default.
- W2479603923 citedByCount "0" @default.
- W2479603923 crossrefType "book-chapter" @default.
- W2479603923 hasAuthorship W2479603923A5008937002 @default.
- W2479603923 hasAuthorship W2479603923A5040311876 @default.
- W2479603923 hasConcept C100481476 @default.
- W2479603923 hasConcept C108710211 @default.
- W2479603923 hasConcept C118615104 @default.
- W2479603923 hasConcept C159718280 @default.
- W2479603923 hasConcept C190883126 @default.
- W2479603923 hasConcept C199343813 @default.
- W2479603923 hasConcept C199360897 @default.
- W2479603923 hasConcept C203265346 @default.
- W2479603923 hasConcept C206880738 @default.
- W2479603923 hasConcept C2524010 @default.
- W2479603923 hasConcept C2777686260 @default.
- W2479603923 hasConcept C33923547 @default.
- W2479603923 hasConcept C41008148 @default.
- W2479603923 hasConcept C62073222 @default.
- W2479603923 hasConcept C65880906 @default.
- W2479603923 hasConcept C71924100 @default.
- W2479603923 hasConceptScore W2479603923C100481476 @default.
- W2479603923 hasConceptScore W2479603923C108710211 @default.
- W2479603923 hasConceptScore W2479603923C118615104 @default.
- W2479603923 hasConceptScore W2479603923C159718280 @default.
- W2479603923 hasConceptScore W2479603923C190883126 @default.
- W2479603923 hasConceptScore W2479603923C199343813 @default.
- W2479603923 hasConceptScore W2479603923C199360897 @default.
- W2479603923 hasConceptScore W2479603923C203265346 @default.
- W2479603923 hasConceptScore W2479603923C206880738 @default.
- W2479603923 hasConceptScore W2479603923C2524010 @default.
- W2479603923 hasConceptScore W2479603923C2777686260 @default.
- W2479603923 hasConceptScore W2479603923C33923547 @default.
- W2479603923 hasConceptScore W2479603923C41008148 @default.
- W2479603923 hasConceptScore W2479603923C62073222 @default.
- W2479603923 hasConceptScore W2479603923C65880906 @default.
- W2479603923 hasConceptScore W2479603923C71924100 @default.
- W2479603923 hasLocation W24796039231 @default.
- W2479603923 hasOpenAccess W2479603923 @default.
- W2479603923 hasPrimaryLocation W24796039231 @default.
- W2479603923 hasRelatedWork W1499822848 @default.
- W2479603923 hasRelatedWork W1509982649 @default.
- W2479603923 hasRelatedWork W1527829691 @default.
- W2479603923 hasRelatedWork W2099918555 @default.
- W2479603923 hasRelatedWork W2185258711 @default.
- W2479603923 hasRelatedWork W2277965188 @default.
- W2479603923 hasRelatedWork W2479603923 @default.
- W2479603923 hasRelatedWork W2807588908 @default.
- W2479603923 hasRelatedWork W2964806919 @default.
- W2479603923 hasRelatedWork W3017269122 @default.
- W2479603923 isParatext "false" @default.
- W2479603923 isRetracted "false" @default.
- W2479603923 magId "2479603923" @default.
- W2479603923 workType "book-chapter" @default.