Matches in SemOpenAlex for { <https://semopenalex.org/work/W61496768> ?p ?o ?g. }
Showing items 1 to 43 of
43
with 100 items per page.
- W61496768 startingPage "1" @default.
- W61496768 created "2016-06-24" @default.
- W61496768 creator A5066502627 @default.
- W61496768 date "1996-08-03" @default.
- W61496768 modified "2023-09-23" @default.
- W61496768 title "Saturation-Based Theorem Proving: Past Successes and Future Potential (Abstract)" @default.
- W61496768 hasPublicationYear "1996" @default.
- W61496768 type Work @default.
- W61496768 sameAs 61496768 @default.
- W61496768 citedByCount "0" @default.
- W61496768 crossrefType "proceedings-article" @default.
- W61496768 hasAuthorship W61496768A5066502627 @default.
- W61496768 hasConcept C114614502 @default.
- W61496768 hasConcept C144237770 @default.
- W61496768 hasConcept C199343813 @default.
- W61496768 hasConcept C206880738 @default.
- W61496768 hasConcept C2777686260 @default.
- W61496768 hasConcept C33923547 @default.
- W61496768 hasConcept C41008148 @default.
- W61496768 hasConcept C71924100 @default.
- W61496768 hasConcept C80444323 @default.
- W61496768 hasConcept C9930424 @default.
- W61496768 hasConceptScore W61496768C114614502 @default.
- W61496768 hasConceptScore W61496768C144237770 @default.
- W61496768 hasConceptScore W61496768C199343813 @default.
- W61496768 hasConceptScore W61496768C206880738 @default.
- W61496768 hasConceptScore W61496768C2777686260 @default.
- W61496768 hasConceptScore W61496768C33923547 @default.
- W61496768 hasConceptScore W61496768C41008148 @default.
- W61496768 hasConceptScore W61496768C71924100 @default.
- W61496768 hasConceptScore W61496768C80444323 @default.
- W61496768 hasConceptScore W61496768C9930424 @default.
- W61496768 hasLocation W614967681 @default.
- W61496768 hasOpenAccess W61496768 @default.
- W61496768 hasPrimaryLocation W614967681 @default.
- W61496768 hasRelatedWork W1541511077 @default.
- W61496768 hasRelatedWork W2036277633 @default.
- W61496768 hasRelatedWork W2086320371 @default.
- W61496768 hasRelatedWork W2548046090 @default.
- W61496768 isParatext "false" @default.
- W61496768 isRetracted "false" @default.
- W61496768 magId "61496768" @default.
- W61496768 workType "article" @default.