Matches in SemOpenAlex for { <https://semopenalex.org/work/W2965050474> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2965050474 endingPage "12" @default.
- W2965050474 startingPage "7" @default.
- W2965050474 created "2019-08-13" @default.
- W2965050474 creator A5008049012 @default.
- W2965050474 creator A5031676206 @default.
- W2965050474 creator A5034176636 @default.
- W2965050474 creator A5054861254 @default.
- W2965050474 creator A5087763144 @default.
- W2965050474 date "2006-12-07" @default.
- W2965050474 modified "2023-09-26" @default.
- W2965050474 title "Automated Theorem Prover HOPSYS on Simply-Typed Rewriting Systems" @default.
- W2965050474 hasPublicationYear "2006" @default.
- W2965050474 type Work @default.
- W2965050474 sameAs 2965050474 @default.
- W2965050474 citedByCount "0" @default.
- W2965050474 crossrefType "journal-article" @default.
- W2965050474 hasAuthorship W2965050474A5008049012 @default.
- W2965050474 hasAuthorship W2965050474A5031676206 @default.
- W2965050474 hasAuthorship W2965050474A5034176636 @default.
- W2965050474 hasAuthorship W2965050474A5054861254 @default.
- W2965050474 hasAuthorship W2965050474A5087763144 @default.
- W2965050474 hasConcept C108710211 @default.
- W2965050474 hasConcept C118615104 @default.
- W2965050474 hasConcept C13766981 @default.
- W2965050474 hasConcept C154690210 @default.
- W2965050474 hasConcept C159718280 @default.
- W2965050474 hasConcept C199343813 @default.
- W2965050474 hasConcept C199360897 @default.
- W2965050474 hasConcept C206880738 @default.
- W2965050474 hasConcept C2524010 @default.
- W2965050474 hasConcept C2777686260 @default.
- W2965050474 hasConcept C33923547 @default.
- W2965050474 hasConcept C41008148 @default.
- W2965050474 hasConcept C71924100 @default.
- W2965050474 hasConcept C80444323 @default.
- W2965050474 hasConceptScore W2965050474C108710211 @default.
- W2965050474 hasConceptScore W2965050474C118615104 @default.
- W2965050474 hasConceptScore W2965050474C13766981 @default.
- W2965050474 hasConceptScore W2965050474C154690210 @default.
- W2965050474 hasConceptScore W2965050474C159718280 @default.
- W2965050474 hasConceptScore W2965050474C199343813 @default.
- W2965050474 hasConceptScore W2965050474C199360897 @default.
- W2965050474 hasConceptScore W2965050474C206880738 @default.
- W2965050474 hasConceptScore W2965050474C2524010 @default.
- W2965050474 hasConceptScore W2965050474C2777686260 @default.
- W2965050474 hasConceptScore W2965050474C33923547 @default.
- W2965050474 hasConceptScore W2965050474C41008148 @default.
- W2965050474 hasConceptScore W2965050474C71924100 @default.
- W2965050474 hasConceptScore W2965050474C80444323 @default.
- W2965050474 hasIssue "426" @default.
- W2965050474 hasLocation W29650504741 @default.
- W2965050474 hasOpenAccess W2965050474 @default.
- W2965050474 hasPrimaryLocation W29650504741 @default.
- W2965050474 hasRelatedWork W134091217 @default.
- W2965050474 hasRelatedWork W138687145 @default.
- W2965050474 hasRelatedWork W1519461144 @default.
- W2965050474 hasRelatedWork W154368879 @default.
- W2965050474 hasRelatedWork W1567315244 @default.
- W2965050474 hasRelatedWork W179065745 @default.
- W2965050474 hasRelatedWork W2034614936 @default.
- W2965050474 hasRelatedWork W2319334257 @default.
- W2965050474 hasRelatedWork W23494085 @default.
- W2965050474 hasRelatedWork W2401255201 @default.
- W2965050474 hasRelatedWork W2565297847 @default.
- W2965050474 hasRelatedWork W3004100840 @default.
- W2965050474 hasRelatedWork W3204438756 @default.
- W2965050474 hasRelatedWork W57682047 @default.
- W2965050474 hasRelatedWork W593894321 @default.
- W2965050474 hasRelatedWork W63122532 @default.
- W2965050474 hasRelatedWork W97894006 @default.
- W2965050474 hasRelatedWork W1542579875 @default.
- W2965050474 hasRelatedWork W2192184199 @default.
- W2965050474 hasRelatedWork W2297848989 @default.
- W2965050474 hasVolume "106" @default.
- W2965050474 isParatext "false" @default.
- W2965050474 isRetracted "false" @default.
- W2965050474 magId "2965050474" @default.
- W2965050474 workType "article" @default.