Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788021299> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W2788021299 created "2018-03-06" @default.
- W2788021299 creator A5039242360 @default.
- W2788021299 date "1976-01-01" @default.
- W2788021299 modified "2023-09-25" @default.
- W2788021299 title "LCF: A methodology for performing rigorous proofs about programs (Invited Paper)" @default.
- W2788021299 hasPublicationYear "1976" @default.
- W2788021299 type Work @default.
- W2788021299 sameAs 2788021299 @default.
- W2788021299 citedByCount "0" @default.
- W2788021299 crossrefType "journal-article" @default.
- W2788021299 hasAuthorship W2788021299A5039242360 @default.
- W2788021299 hasConcept C108710211 @default.
- W2788021299 hasConcept C199343813 @default.
- W2788021299 hasConcept C199360897 @default.
- W2788021299 hasConcept C2524010 @default.
- W2788021299 hasConcept C2777686260 @default.
- W2788021299 hasConcept C33923547 @default.
- W2788021299 hasConcept C41008148 @default.
- W2788021299 hasConcept C71924100 @default.
- W2788021299 hasConceptScore W2788021299C108710211 @default.
- W2788021299 hasConceptScore W2788021299C199343813 @default.
- W2788021299 hasConceptScore W2788021299C199360897 @default.
- W2788021299 hasConceptScore W2788021299C2524010 @default.
- W2788021299 hasConceptScore W2788021299C2777686260 @default.
- W2788021299 hasConceptScore W2788021299C33923547 @default.
- W2788021299 hasConceptScore W2788021299C41008148 @default.
- W2788021299 hasConceptScore W2788021299C71924100 @default.
- W2788021299 hasLocation W27880212991 @default.
- W2788021299 hasOpenAccess W2788021299 @default.
- W2788021299 hasPrimaryLocation W27880212991 @default.
- W2788021299 hasRelatedWork W1508873291 @default.
- W2788021299 hasRelatedWork W1539335665 @default.
- W2788021299 hasRelatedWork W1567952129 @default.
- W2788021299 hasRelatedWork W1973590295 @default.
- W2788021299 hasRelatedWork W2005973420 @default.
- W2788021299 hasRelatedWork W2155042425 @default.
- W2788021299 hasRelatedWork W2512331199 @default.
- W2788021299 hasRelatedWork W2730519755 @default.
- W2788021299 hasRelatedWork W2914042395 @default.
- W2788021299 hasRelatedWork W2096716248 @default.
- W2788021299 hasRelatedWork W2182436986 @default.
- W2788021299 isParatext "false" @default.
- W2788021299 isRetracted "false" @default.
- W2788021299 magId "2788021299" @default.
- W2788021299 workType "article" @default.