Matches in SemOpenAlex for { <https://semopenalex.org/work/W1572470107> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W1572470107 endingPage "249" @default.
- W1572470107 startingPage "234" @default.
- W1572470107 created "2016-06-24" @default.
- W1572470107 creator A5001441718 @default.
- W1572470107 date "1970-01-01" @default.
- W1572470107 modified "2023-09-24" @default.
- W1572470107 title "A program verifier" @default.
- W1572470107 hasPublicationYear "1970" @default.
- W1572470107 type Work @default.
- W1572470107 sameAs 1572470107 @default.
- W1572470107 citedByCount "93" @default.
- W1572470107 countsByYear W15724701072012 @default.
- W1572470107 countsByYear W15724701072013 @default.
- W1572470107 countsByYear W15724701072015 @default.
- W1572470107 crossrefType "proceedings-article" @default.
- W1572470107 hasAuthorship W1572470107A5001441718 @default.
- W1572470107 hasConcept C199360897 @default.
- W1572470107 hasConcept C41008148 @default.
- W1572470107 hasConceptScore W1572470107C199360897 @default.
- W1572470107 hasConceptScore W1572470107C41008148 @default.
- W1572470107 hasLocation W15724701071 @default.
- W1572470107 hasOpenAccess W1572470107 @default.
- W1572470107 hasPrimaryLocation W15724701071 @default.
- W1572470107 hasRelatedWork W1580513069 @default.
- W1572470107 hasRelatedWork W1590828018 @default.
- W1572470107 hasRelatedWork W1593280365 @default.
- W1572470107 hasRelatedWork W1597752890 @default.
- W1572470107 hasRelatedWork W1723067587 @default.
- W1572470107 hasRelatedWork W2008485543 @default.
- W1572470107 hasRelatedWork W2012213337 @default.
- W1572470107 hasRelatedWork W2032889498 @default.
- W1572470107 hasRelatedWork W2043100293 @default.
- W1572470107 hasRelatedWork W2066462730 @default.
- W1572470107 hasRelatedWork W2069300761 @default.
- W1572470107 hasRelatedWork W2095224573 @default.
- W1572470107 hasRelatedWork W2095939327 @default.
- W1572470107 hasRelatedWork W2100738443 @default.
- W1572470107 hasRelatedWork W2103953153 @default.
- W1572470107 hasRelatedWork W2160363852 @default.
- W1572470107 hasRelatedWork W2164778826 @default.
- W1572470107 hasRelatedWork W2166089338 @default.
- W1572470107 hasRelatedWork W3146075203 @default.
- W1572470107 hasRelatedWork W3181441684 @default.
- W1572470107 isParatext "false" @default.
- W1572470107 isRetracted "false" @default.
- W1572470107 magId "1572470107" @default.
- W1572470107 workType "article" @default.