Matches in SemOpenAlex for { <https://semopenalex.org/work/W2615607515> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2615607515 created "2017-05-26" @default.
- W2615607515 creator A5003064191 @default.
- W2615607515 date "1984-12-01" @default.
- W2615607515 modified "2023-09-26" @default.
- W2615607515 title "TED: A tree editor with applications for theorem proving" @default.
- W2615607515 hasPublicationYear "1984" @default.
- W2615607515 type Work @default.
- W2615607515 sameAs 2615607515 @default.
- W2615607515 citedByCount "0" @default.
- W2615607515 crossrefType "journal-article" @default.
- W2615607515 hasAuthorship W2615607515A5003064191 @default.
- W2615607515 hasConcept C113174947 @default.
- W2615607515 hasConcept C114614502 @default.
- W2615607515 hasConcept C118615104 @default.
- W2615607515 hasConcept C199343813 @default.
- W2615607515 hasConcept C2777686260 @default.
- W2615607515 hasConcept C33923547 @default.
- W2615607515 hasConcept C41008148 @default.
- W2615607515 hasConcept C71924100 @default.
- W2615607515 hasConceptScore W2615607515C113174947 @default.
- W2615607515 hasConceptScore W2615607515C114614502 @default.
- W2615607515 hasConceptScore W2615607515C118615104 @default.
- W2615607515 hasConceptScore W2615607515C199343813 @default.
- W2615607515 hasConceptScore W2615607515C2777686260 @default.
- W2615607515 hasConceptScore W2615607515C33923547 @default.
- W2615607515 hasConceptScore W2615607515C41008148 @default.
- W2615607515 hasConceptScore W2615607515C71924100 @default.
- W2615607515 hasLocation W26156075151 @default.
- W2615607515 hasOpenAccess W2615607515 @default.
- W2615607515 hasPrimaryLocation W26156075151 @default.
- W2615607515 hasRelatedWork W1481200432 @default.
- W2615607515 hasRelatedWork W1510200645 @default.
- W2615607515 hasRelatedWork W1594393861 @default.
- W2615607515 hasRelatedWork W1735366290 @default.
- W2615607515 hasRelatedWork W1986088671 @default.
- W2615607515 hasRelatedWork W2034614936 @default.
- W2615607515 hasRelatedWork W2035169567 @default.
- W2615607515 hasRelatedWork W2040183410 @default.
- W2615607515 hasRelatedWork W2110178376 @default.
- W2615607515 hasRelatedWork W214195686 @default.
- W2615607515 hasRelatedWork W2297344907 @default.
- W2615607515 hasRelatedWork W2405285290 @default.
- W2615607515 hasRelatedWork W2549482841 @default.
- W2615607515 hasRelatedWork W2610635512 @default.
- W2615607515 hasRelatedWork W2613584484 @default.
- W2615607515 hasRelatedWork W2744220352 @default.
- W2615607515 hasRelatedWork W289357661 @default.
- W2615607515 hasRelatedWork W2952409637 @default.
- W2615607515 hasRelatedWork W3208924914 @default.
- W2615607515 hasRelatedWork W2116443883 @default.
- W2615607515 isParatext "false" @default.
- W2615607515 isRetracted "false" @default.
- W2615607515 magId "2615607515" @default.
- W2615607515 workType "article" @default.