Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567315244> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W1567315244 endingPage "541" @default.
- W1567315244 startingPage "538" @default.
- W1567315244 created "2016-06-24" @default.
- W1567315244 creator A5026928710 @default.
- W1567315244 creator A5046711693 @default.
- W1567315244 creator A5050203214 @default.
- W1567315244 date "1989-01-01" @default.
- W1567315244 modified "2023-09-27" @default.
- W1567315244 title "THEOPOGLES — An efficient theorem prover based on rewrite-techniques" @default.
- W1567315244 cites W2073984738 @default.
- W1567315244 doi "https://doi.org/10.1007/3-540-51081-8_132" @default.
- W1567315244 hasPublicationYear "1989" @default.
- W1567315244 type Work @default.
- W1567315244 sameAs 1567315244 @default.
- W1567315244 citedByCount "1" @default.
- W1567315244 crossrefType "book-chapter" @default.
- W1567315244 hasAuthorship W1567315244A5026928710 @default.
- W1567315244 hasAuthorship W1567315244A5046711693 @default.
- W1567315244 hasAuthorship W1567315244A5050203214 @default.
- W1567315244 hasConcept C108710211 @default.
- W1567315244 hasConcept C11413529 @default.
- W1567315244 hasConcept C159718280 @default.
- W1567315244 hasConcept C199343813 @default.
- W1567315244 hasConcept C199360897 @default.
- W1567315244 hasConcept C206880738 @default.
- W1567315244 hasConcept C2524010 @default.
- W1567315244 hasConcept C2777686260 @default.
- W1567315244 hasConcept C33923547 @default.
- W1567315244 hasConcept C41008148 @default.
- W1567315244 hasConcept C71924100 @default.
- W1567315244 hasConcept C80444323 @default.
- W1567315244 hasConceptScore W1567315244C108710211 @default.
- W1567315244 hasConceptScore W1567315244C11413529 @default.
- W1567315244 hasConceptScore W1567315244C159718280 @default.
- W1567315244 hasConceptScore W1567315244C199343813 @default.
- W1567315244 hasConceptScore W1567315244C199360897 @default.
- W1567315244 hasConceptScore W1567315244C206880738 @default.
- W1567315244 hasConceptScore W1567315244C2524010 @default.
- W1567315244 hasConceptScore W1567315244C2777686260 @default.
- W1567315244 hasConceptScore W1567315244C33923547 @default.
- W1567315244 hasConceptScore W1567315244C41008148 @default.
- W1567315244 hasConceptScore W1567315244C71924100 @default.
- W1567315244 hasConceptScore W1567315244C80444323 @default.
- W1567315244 hasLocation W15673152441 @default.
- W1567315244 hasOpenAccess W1567315244 @default.
- W1567315244 hasPrimaryLocation W15673152441 @default.
- W1567315244 hasRelatedWork W1515169568 @default.
- W1567315244 hasRelatedWork W1555960401 @default.
- W1567315244 hasRelatedWork W1789702989 @default.
- W1567315244 hasRelatedWork W2206711905 @default.
- W1567315244 hasRelatedWork W2476186566 @default.
- W1567315244 hasRelatedWork W2538657014 @default.
- W1567315244 hasRelatedWork W2950961618 @default.
- W1567315244 hasRelatedWork W4245884879 @default.
- W1567315244 hasRelatedWork W898277466 @default.
- W1567315244 hasRelatedWork W94947182 @default.
- W1567315244 isParatext "false" @default.
- W1567315244 isRetracted "false" @default.
- W1567315244 magId "1567315244" @default.
- W1567315244 workType "book-chapter" @default.