Matches in SemOpenAlex for { <https://semopenalex.org/work/W149859832> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W149859832 created "2016-06-24" @default.
- W149859832 creator A5066293780 @default.
- W149859832 date "1980-01-01" @default.
- W149859832 modified "2023-09-26" @default.
- W149859832 title "Type reduction and program verification" @default.
- W149859832 hasPublicationYear "1980" @default.
- W149859832 type Work @default.
- W149859832 sameAs 149859832 @default.
- W149859832 citedByCount "3" @default.
- W149859832 crossrefType "journal-article" @default.
- W149859832 hasAuthorship W149859832A5066293780 @default.
- W149859832 hasConcept C111335779 @default.
- W149859832 hasConcept C2524010 @default.
- W149859832 hasConcept C33923547 @default.
- W149859832 hasConcept C41008148 @default.
- W149859832 hasConceptScore W149859832C111335779 @default.
- W149859832 hasConceptScore W149859832C2524010 @default.
- W149859832 hasConceptScore W149859832C33923547 @default.
- W149859832 hasConceptScore W149859832C41008148 @default.
- W149859832 hasLocation W1498598321 @default.
- W149859832 hasOpenAccess W149859832 @default.
- W149859832 hasPrimaryLocation W1498598321 @default.
- W149859832 hasRelatedWork W1526259355 @default.
- W149859832 hasRelatedWork W171180567 @default.
- W149859832 hasRelatedWork W1832851504 @default.
- W149859832 hasRelatedWork W2477407030 @default.
- W149859832 hasRelatedWork W2798358812 @default.
- W149859832 hasRelatedWork W2914991443 @default.
- W149859832 hasRelatedWork W3048291449 @default.
- W149859832 hasRelatedWork W3092196646 @default.
- W149859832 hasRelatedWork W3126876020 @default.
- W149859832 hasRelatedWork W1576341138 @default.
- W149859832 hasRelatedWork W2800735304 @default.
- W149859832 hasRelatedWork W2812306229 @default.
- W149859832 hasRelatedWork W2846601288 @default.
- W149859832 hasRelatedWork W2847500161 @default.
- W149859832 hasRelatedWork W2857404043 @default.
- W149859832 hasRelatedWork W2879520192 @default.
- W149859832 hasRelatedWork W2926829911 @default.
- W149859832 hasRelatedWork W2928409353 @default.
- W149859832 hasRelatedWork W2937842994 @default.
- W149859832 hasRelatedWork W2938499354 @default.
- W149859832 isParatext "false" @default.
- W149859832 isRetracted "false" @default.
- W149859832 magId "149859832" @default.
- W149859832 workType "article" @default.