Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055082904> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2055082904 endingPage "69" @default.
- W2055082904 startingPage "69" @default.
- W2055082904 created "2016-06-24" @default.
- W2055082904 creator A5035629707 @default.
- W2055082904 date "1985-08-01" @default.
- W2055082904 modified "2023-09-25" @default.
- W2055082904 title "The Sytek theorem prover" @default.
- W2055082904 doi "https://doi.org/10.1145/1012497.1012523" @default.
- W2055082904 hasPublicationYear "1985" @default.
- W2055082904 type Work @default.
- W2055082904 sameAs 2055082904 @default.
- W2055082904 citedByCount "0" @default.
- W2055082904 crossrefType "journal-article" @default.
- W2055082904 hasAuthorship W2055082904A5035629707 @default.
- W2055082904 hasConcept C108710211 @default.
- W2055082904 hasConcept C115903868 @default.
- W2055082904 hasConcept C159718280 @default.
- W2055082904 hasConcept C199343813 @default.
- W2055082904 hasConcept C199360897 @default.
- W2055082904 hasConcept C206880738 @default.
- W2055082904 hasConcept C2524010 @default.
- W2055082904 hasConcept C2777686260 @default.
- W2055082904 hasConcept C33923547 @default.
- W2055082904 hasConcept C41008148 @default.
- W2055082904 hasConcept C71924100 @default.
- W2055082904 hasConceptScore W2055082904C108710211 @default.
- W2055082904 hasConceptScore W2055082904C115903868 @default.
- W2055082904 hasConceptScore W2055082904C159718280 @default.
- W2055082904 hasConceptScore W2055082904C199343813 @default.
- W2055082904 hasConceptScore W2055082904C199360897 @default.
- W2055082904 hasConceptScore W2055082904C206880738 @default.
- W2055082904 hasConceptScore W2055082904C2524010 @default.
- W2055082904 hasConceptScore W2055082904C2777686260 @default.
- W2055082904 hasConceptScore W2055082904C33923547 @default.
- W2055082904 hasConceptScore W2055082904C41008148 @default.
- W2055082904 hasConceptScore W2055082904C71924100 @default.
- W2055082904 hasIssue "4" @default.
- W2055082904 hasLocation W20550829041 @default.
- W2055082904 hasOpenAccess W2055082904 @default.
- W2055082904 hasPrimaryLocation W20550829041 @default.
- W2055082904 hasRelatedWork W1515169568 @default.
- W2055082904 hasRelatedWork W1555960401 @default.
- W2055082904 hasRelatedWork W1789702989 @default.
- W2055082904 hasRelatedWork W2206711905 @default.
- W2055082904 hasRelatedWork W2476186566 @default.
- W2055082904 hasRelatedWork W2538657014 @default.
- W2055082904 hasRelatedWork W2950961618 @default.
- W2055082904 hasRelatedWork W4245884879 @default.
- W2055082904 hasRelatedWork W898277466 @default.
- W2055082904 hasRelatedWork W94947182 @default.
- W2055082904 hasVolume "10" @default.
- W2055082904 isParatext "false" @default.
- W2055082904 isRetracted "false" @default.
- W2055082904 magId "2055082904" @default.
- W2055082904 workType "article" @default.