Matches in SemOpenAlex for { <https://semopenalex.org/work/W2414463669> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2414463669 endingPage "251" @default.
- W2414463669 startingPage "231" @default.
- W2414463669 created "2016-06-24" @default.
- W2414463669 creator A5012020596 @default.
- W2414463669 creator A5043206848 @default.
- W2414463669 creator A5063507353 @default.
- W2414463669 date "2016-06-07" @default.
- W2414463669 modified "2023-10-08" @default.
- W2414463669 title "Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System" @default.
- W2414463669 cites W1840129892 @default.
- W2414463669 cites W1969006866 @default.
- W2414463669 cites W1973876376 @default.
- W2414463669 cites W1979101142 @default.
- W2414463669 cites W2003329561 @default.
- W2414463669 cites W2018181305 @default.
- W2414463669 cites W2056239109 @default.
- W2414463669 cites W2463026518 @default.
- W2414463669 cites W2912720389 @default.
- W2414463669 cites W4230919050 @default.
- W2414463669 doi "https://doi.org/10.1007/s10817-016-9376-2" @default.
- W2414463669 hasPublicationYear "2016" @default.
- W2414463669 type Work @default.
- W2414463669 sameAs 2414463669 @default.
- W2414463669 citedByCount "3" @default.
- W2414463669 countsByYear W24144636692019 @default.
- W2414463669 countsByYear W24144636692020 @default.
- W2414463669 countsByYear W24144636692023 @default.
- W2414463669 crossrefType "journal-article" @default.
- W2414463669 hasAuthorship W2414463669A5012020596 @default.
- W2414463669 hasAuthorship W2414463669A5043206848 @default.
- W2414463669 hasAuthorship W2414463669A5063507353 @default.
- W2414463669 hasConcept C121332964 @default.
- W2414463669 hasConcept C154690210 @default.
- W2414463669 hasConcept C199360897 @default.
- W2414463669 hasConcept C33923547 @default.
- W2414463669 hasConcept C41008148 @default.
- W2414463669 hasConcept C61797465 @default.
- W2414463669 hasConcept C62520636 @default.
- W2414463669 hasConcept C77906462 @default.
- W2414463669 hasConceptScore W2414463669C121332964 @default.
- W2414463669 hasConceptScore W2414463669C154690210 @default.
- W2414463669 hasConceptScore W2414463669C199360897 @default.
- W2414463669 hasConceptScore W2414463669C33923547 @default.
- W2414463669 hasConceptScore W2414463669C41008148 @default.
- W2414463669 hasConceptScore W2414463669C61797465 @default.
- W2414463669 hasConceptScore W2414463669C62520636 @default.
- W2414463669 hasConceptScore W2414463669C77906462 @default.
- W2414463669 hasIssue "2" @default.
- W2414463669 hasLocation W24144636691 @default.
- W2414463669 hasOpenAccess W2414463669 @default.
- W2414463669 hasPrimaryLocation W24144636691 @default.
- W2414463669 hasRelatedWork W1515515243 @default.
- W2414463669 hasRelatedWork W1594568141 @default.
- W2414463669 hasRelatedWork W2079863845 @default.
- W2414463669 hasRelatedWork W2142543897 @default.
- W2414463669 hasRelatedWork W2175061513 @default.
- W2414463669 hasRelatedWork W2316704281 @default.
- W2414463669 hasRelatedWork W2517733820 @default.
- W2414463669 hasRelatedWork W2566257015 @default.
- W2414463669 hasRelatedWork W4297774668 @default.
- W2414463669 hasRelatedWork W2475418661 @default.
- W2414463669 hasVolume "58" @default.
- W2414463669 isParatext "false" @default.
- W2414463669 isRetracted "false" @default.
- W2414463669 magId "2414463669" @default.
- W2414463669 workType "article" @default.