Matches in SemOpenAlex for { <https://semopenalex.org/work/W635734319> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W635734319 endingPage "10" @default.
- W635734319 startingPage "1" @default.
- W635734319 created "2016-06-24" @default.
- W635734319 creator A5076394068 @default.
- W635734319 date "1999-08-04" @default.
- W635734319 modified "2023-09-28" @default.
- W635734319 title "Proof-theoretic analysis of termination proofs by recursive path ordering" @default.
- W635734319 hasPublicationYear "1999" @default.
- W635734319 type Work @default.
- W635734319 sameAs 635734319 @default.
- W635734319 citedByCount "0" @default.
- W635734319 crossrefType "journal-article" @default.
- W635734319 hasAuthorship W635734319A5076394068 @default.
- W635734319 hasConcept C105605280 @default.
- W635734319 hasConcept C108710211 @default.
- W635734319 hasConcept C11413529 @default.
- W635734319 hasConcept C199343813 @default.
- W635734319 hasConcept C199360897 @default.
- W635734319 hasConcept C2524010 @default.
- W635734319 hasConcept C2777686260 @default.
- W635734319 hasConcept C2777735758 @default.
- W635734319 hasConcept C33923547 @default.
- W635734319 hasConcept C41008148 @default.
- W635734319 hasConcept C71924100 @default.
- W635734319 hasConceptScore W635734319C105605280 @default.
- W635734319 hasConceptScore W635734319C108710211 @default.
- W635734319 hasConceptScore W635734319C11413529 @default.
- W635734319 hasConceptScore W635734319C199343813 @default.
- W635734319 hasConceptScore W635734319C199360897 @default.
- W635734319 hasConceptScore W635734319C2524010 @default.
- W635734319 hasConceptScore W635734319C2777686260 @default.
- W635734319 hasConceptScore W635734319C2777735758 @default.
- W635734319 hasConceptScore W635734319C33923547 @default.
- W635734319 hasConceptScore W635734319C41008148 @default.
- W635734319 hasConceptScore W635734319C71924100 @default.
- W635734319 hasLocation W6357343191 @default.
- W635734319 hasOpenAccess W635734319 @default.
- W635734319 hasPrimaryLocation W6357343191 @default.
- W635734319 hasRelatedWork W1497029596 @default.
- W635734319 hasRelatedWork W1549516353 @default.
- W635734319 hasRelatedWork W1574261129 @default.
- W635734319 hasRelatedWork W1587798729 @default.
- W635734319 hasRelatedWork W1589106570 @default.
- W635734319 hasRelatedWork W1799042098 @default.
- W635734319 hasRelatedWork W1836725053 @default.
- W635734319 hasRelatedWork W1860623713 @default.
- W635734319 hasRelatedWork W1876733567 @default.
- W635734319 hasRelatedWork W2069207426 @default.
- W635734319 hasRelatedWork W2123860315 @default.
- W635734319 hasRelatedWork W2129351221 @default.
- W635734319 hasRelatedWork W2185367022 @default.
- W635734319 hasRelatedWork W2286688895 @default.
- W635734319 hasRelatedWork W2471400301 @default.
- W635734319 hasRelatedWork W2898086205 @default.
- W635734319 hasRelatedWork W2955479224 @default.
- W635734319 hasRelatedWork W2963106249 @default.
- W635734319 hasRelatedWork W2997174405 @default.
- W635734319 hasRelatedWork W3038418987 @default.
- W635734319 hasVolume "99" @default.
- W635734319 isParatext "false" @default.
- W635734319 isRetracted "false" @default.
- W635734319 magId "635734319" @default.
- W635734319 workType "article" @default.