Matches in SemOpenAlex for { <https://semopenalex.org/work/W2933092007> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2933092007 endingPage "510" @default.
- W2933092007 startingPage "491" @default.
- W2933092007 created "2019-04-11" @default.
- W2933092007 creator A5023688323 @default.
- W2933092007 date "2002-01-01" @default.
- W2933092007 modified "2023-10-07" @default.
- W2933092007 title "A formal basis for a program compilation proof tool" @default.
- W2933092007 hasPublicationYear "2002" @default.
- W2933092007 type Work @default.
- W2933092007 sameAs 2933092007 @default.
- W2933092007 citedByCount "0" @default.
- W2933092007 crossrefType "journal-article" @default.
- W2933092007 hasAuthorship W2933092007A5023688323 @default.
- W2933092007 hasConcept C111919701 @default.
- W2933092007 hasConcept C119857082 @default.
- W2933092007 hasConcept C14331664 @default.
- W2933092007 hasConcept C154945302 @default.
- W2933092007 hasConcept C199360897 @default.
- W2933092007 hasConcept C2776214188 @default.
- W2933092007 hasConcept C2778751112 @default.
- W2933092007 hasConcept C41008148 @default.
- W2933092007 hasConcept C52146309 @default.
- W2933092007 hasConcept C75606506 @default.
- W2933092007 hasConcept C80444323 @default.
- W2933092007 hasConceptScore W2933092007C111919701 @default.
- W2933092007 hasConceptScore W2933092007C119857082 @default.
- W2933092007 hasConceptScore W2933092007C14331664 @default.
- W2933092007 hasConceptScore W2933092007C154945302 @default.
- W2933092007 hasConceptScore W2933092007C199360897 @default.
- W2933092007 hasConceptScore W2933092007C2776214188 @default.
- W2933092007 hasConceptScore W2933092007C2778751112 @default.
- W2933092007 hasConceptScore W2933092007C41008148 @default.
- W2933092007 hasConceptScore W2933092007C52146309 @default.
- W2933092007 hasConceptScore W2933092007C75606506 @default.
- W2933092007 hasConceptScore W2933092007C80444323 @default.
- W2933092007 hasLocation W29330920071 @default.
- W2933092007 hasOpenAccess W2933092007 @default.
- W2933092007 hasPrimaryLocation W29330920071 @default.
- W2933092007 hasRelatedWork W1488223265 @default.
- W2933092007 hasRelatedWork W1510011212 @default.
- W2933092007 hasRelatedWork W1527339342 @default.
- W2933092007 hasRelatedWork W1528423264 @default.
- W2933092007 hasRelatedWork W1567604700 @default.
- W2933092007 hasRelatedWork W1975702991 @default.
- W2933092007 hasRelatedWork W1991865448 @default.
- W2933092007 hasRelatedWork W1992634294 @default.
- W2933092007 hasRelatedWork W1993907917 @default.
- W2933092007 hasRelatedWork W2038173104 @default.
- W2933092007 hasRelatedWork W2079124302 @default.
- W2933092007 hasRelatedWork W2127458491 @default.
- W2933092007 hasRelatedWork W21398908 @default.
- W2933092007 hasRelatedWork W2143741226 @default.
- W2933092007 hasRelatedWork W2153045445 @default.
- W2933092007 hasRelatedWork W2269620394 @default.
- W2933092007 hasRelatedWork W2307785417 @default.
- W2933092007 hasRelatedWork W249758116 @default.
- W2933092007 hasRelatedWork W2769803067 @default.
- W2933092007 hasRelatedWork W226988518 @default.
- W2933092007 hasVolume "2391" @default.
- W2933092007 isParatext "false" @default.
- W2933092007 isRetracted "false" @default.
- W2933092007 magId "2933092007" @default.
- W2933092007 workType "article" @default.