Matches in SemOpenAlex for { <https://semopenalex.org/work/W800014444> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W800014444 created "2016-06-24" @default.
- W800014444 creator A5026023687 @default.
- W800014444 creator A5028345249 @default.
- W800014444 creator A5048556134 @default.
- W800014444 date "1973-08-01" @default.
- W800014444 modified "2023-09-27" @default.
- W800014444 title "Research in advanced formal theorem-proving techniques. [design and implementation of computer languages" @default.
- W800014444 hasPublicationYear "1973" @default.
- W800014444 type Work @default.
- W800014444 sameAs 800014444 @default.
- W800014444 citedByCount "0" @default.
- W800014444 crossrefType "journal-article" @default.
- W800014444 hasAuthorship W800014444A5026023687 @default.
- W800014444 hasAuthorship W800014444A5028345249 @default.
- W800014444 hasAuthorship W800014444A5048556134 @default.
- W800014444 hasConcept C115903868 @default.
- W800014444 hasConcept C146072743 @default.
- W800014444 hasConcept C199343813 @default.
- W800014444 hasConcept C199360897 @default.
- W800014444 hasConcept C206880738 @default.
- W800014444 hasConcept C2777686260 @default.
- W800014444 hasConcept C41008148 @default.
- W800014444 hasConcept C71924100 @default.
- W800014444 hasConcept C75606506 @default.
- W800014444 hasConceptScore W800014444C115903868 @default.
- W800014444 hasConceptScore W800014444C146072743 @default.
- W800014444 hasConceptScore W800014444C199343813 @default.
- W800014444 hasConceptScore W800014444C199360897 @default.
- W800014444 hasConceptScore W800014444C206880738 @default.
- W800014444 hasConceptScore W800014444C2777686260 @default.
- W800014444 hasConceptScore W800014444C41008148 @default.
- W800014444 hasConceptScore W800014444C71924100 @default.
- W800014444 hasConceptScore W800014444C75606506 @default.
- W800014444 hasLocation W8000144441 @default.
- W800014444 hasOpenAccess W800014444 @default.
- W800014444 hasPrimaryLocation W8000144441 @default.
- W800014444 hasRelatedWork W110971078 @default.
- W800014444 hasRelatedWork W1226293073 @default.
- W800014444 hasRelatedWork W12663474 @default.
- W800014444 hasRelatedWork W130030152 @default.
- W800014444 hasRelatedWork W131311523 @default.
- W800014444 hasRelatedWork W1539537972 @default.
- W800014444 hasRelatedWork W1542353316 @default.
- W800014444 hasRelatedWork W1593625524 @default.
- W800014444 hasRelatedWork W1622736820 @default.
- W800014444 hasRelatedWork W1663842912 @default.
- W800014444 hasRelatedWork W1973428750 @default.
- W800014444 hasRelatedWork W206703680 @default.
- W800014444 hasRelatedWork W2106811484 @default.
- W800014444 hasRelatedWork W2186098341 @default.
- W800014444 hasRelatedWork W2241926151 @default.
- W800014444 hasRelatedWork W2281128819 @default.
- W800014444 hasRelatedWork W26282494 @default.
- W800014444 hasRelatedWork W3126448347 @default.
- W800014444 hasRelatedWork W94010191 @default.
- W800014444 hasRelatedWork W214525975 @default.
- W800014444 isParatext "false" @default.
- W800014444 isRetracted "false" @default.
- W800014444 magId "800014444" @default.
- W800014444 workType "article" @default.