Matches in SemOpenAlex for { <https://semopenalex.org/work/W2394607997> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2394607997 created "2016-06-24" @default.
- W2394607997 creator A5054629753 @default.
- W2394607997 date "2002-01-01" @default.
- W2394607997 modified "2023-09-24" @default.
- W2394607997 title "First-Order Theorem Provers: the Next Generation." @default.
- W2394607997 hasPublicationYear "2002" @default.
- W2394607997 type Work @default.
- W2394607997 sameAs 2394607997 @default.
- W2394607997 citedByCount "1" @default.
- W2394607997 crossrefType "journal-article" @default.
- W2394607997 hasAuthorship W2394607997A5054629753 @default.
- W2394607997 hasConcept C10138342 @default.
- W2394607997 hasConcept C11413529 @default.
- W2394607997 hasConcept C162324750 @default.
- W2394607997 hasConcept C182306322 @default.
- W2394607997 hasConcept C199343813 @default.
- W2394607997 hasConcept C2777686260 @default.
- W2394607997 hasConcept C41008148 @default.
- W2394607997 hasConcept C71924100 @default.
- W2394607997 hasConcept C80444323 @default.
- W2394607997 hasConceptScore W2394607997C10138342 @default.
- W2394607997 hasConceptScore W2394607997C11413529 @default.
- W2394607997 hasConceptScore W2394607997C162324750 @default.
- W2394607997 hasConceptScore W2394607997C182306322 @default.
- W2394607997 hasConceptScore W2394607997C199343813 @default.
- W2394607997 hasConceptScore W2394607997C2777686260 @default.
- W2394607997 hasConceptScore W2394607997C41008148 @default.
- W2394607997 hasConceptScore W2394607997C71924100 @default.
- W2394607997 hasConceptScore W2394607997C80444323 @default.
- W2394607997 hasLocation W23946079971 @default.
- W2394607997 hasOpenAccess W2394607997 @default.
- W2394607997 hasPrimaryLocation W23946079971 @default.
- W2394607997 hasRelatedWork W129386291 @default.
- W2394607997 hasRelatedWork W1490550872 @default.
- W2394607997 hasRelatedWork W1523242913 @default.
- W2394607997 hasRelatedWork W1560423539 @default.
- W2394607997 hasRelatedWork W1785287584 @default.
- W2394607997 hasRelatedWork W2087562885 @default.
- W2394607997 hasRelatedWork W2186811365 @default.
- W2394607997 hasRelatedWork W2490836007 @default.
- W2394607997 hasRelatedWork W2575336795 @default.
- W2394607997 hasRelatedWork W2598997288 @default.
- W2394607997 hasRelatedWork W26919304 @default.
- W2394607997 hasRelatedWork W2735490397 @default.
- W2394607997 hasRelatedWork W2774415861 @default.
- W2394607997 hasRelatedWork W2936953324 @default.
- W2394607997 hasRelatedWork W311735784 @default.
- W2394607997 hasRelatedWork W33425727 @default.
- W2394607997 hasRelatedWork W40277230 @default.
- W2394607997 hasRelatedWork W45179958 @default.
- W2394607997 hasRelatedWork W61469485 @default.
- W2394607997 hasRelatedWork W1514430395 @default.
- W2394607997 isParatext "false" @default.
- W2394607997 isRetracted "false" @default.
- W2394607997 magId "2394607997" @default.
- W2394607997 workType "article" @default.