Matches in SemOpenAlex for { <https://semopenalex.org/work/W78754889> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W78754889 endingPage "726" @default.
- W78754889 startingPage "723" @default.
- W78754889 created "2016-06-24" @default.
- W78754889 creator A5057045114 @default.
- W78754889 creator A5089372145 @default.
- W78754889 date "1977-01-01" @default.
- W78754889 modified "2023-09-24" @default.
- W78754889 title "Intermittent Assertion Proofs in Lucid." @default.
- W78754889 hasPublicationYear "1977" @default.
- W78754889 type Work @default.
- W78754889 sameAs 78754889 @default.
- W78754889 citedByCount "2" @default.
- W78754889 crossrefType "proceedings-article" @default.
- W78754889 hasAuthorship W78754889A5057045114 @default.
- W78754889 hasAuthorship W78754889A5089372145 @default.
- W78754889 hasConcept C108710211 @default.
- W78754889 hasConcept C139058780 @default.
- W78754889 hasConcept C199360897 @default.
- W78754889 hasConcept C2524010 @default.
- W78754889 hasConcept C2776618520 @default.
- W78754889 hasConcept C2992468417 @default.
- W78754889 hasConcept C33923547 @default.
- W78754889 hasConcept C40422974 @default.
- W78754889 hasConcept C41008148 @default.
- W78754889 hasConcept C556039675 @default.
- W78754889 hasConcept C71924100 @default.
- W78754889 hasConceptScore W78754889C108710211 @default.
- W78754889 hasConceptScore W78754889C139058780 @default.
- W78754889 hasConceptScore W78754889C199360897 @default.
- W78754889 hasConceptScore W78754889C2524010 @default.
- W78754889 hasConceptScore W78754889C2776618520 @default.
- W78754889 hasConceptScore W78754889C2992468417 @default.
- W78754889 hasConceptScore W78754889C33923547 @default.
- W78754889 hasConceptScore W78754889C40422974 @default.
- W78754889 hasConceptScore W78754889C41008148 @default.
- W78754889 hasConceptScore W78754889C556039675 @default.
- W78754889 hasConceptScore W78754889C71924100 @default.
- W78754889 hasLocation W787548891 @default.
- W78754889 hasOpenAccess W78754889 @default.
- W78754889 hasPrimaryLocation W787548891 @default.
- W78754889 hasRelatedWork W2314576039 @default.
- W78754889 hasRelatedWork W2318158389 @default.
- W78754889 hasRelatedWork W2326030715 @default.
- W78754889 hasRelatedWork W2481315327 @default.
- W78754889 hasRelatedWork W2487043579 @default.
- W78754889 hasRelatedWork W2489514700 @default.
- W78754889 hasRelatedWork W2501651736 @default.
- W78754889 hasRelatedWork W2573198274 @default.
- W78754889 hasRelatedWork W2798087632 @default.
- W78754889 hasRelatedWork W2893957865 @default.
- W78754889 hasRelatedWork W2901110816 @default.
- W78754889 hasRelatedWork W2950379217 @default.
- W78754889 hasRelatedWork W2999393997 @default.
- W78754889 hasRelatedWork W3010590923 @default.
- W78754889 hasRelatedWork W3025498043 @default.
- W78754889 hasRelatedWork W3117504072 @default.
- W78754889 hasRelatedWork W3120302506 @default.
- W78754889 hasRelatedWork W3135379237 @default.
- W78754889 hasRelatedWork W3175502364 @default.
- W78754889 hasRelatedWork W652995561 @default.
- W78754889 isParatext "false" @default.
- W78754889 isRetracted "false" @default.
- W78754889 magId "78754889" @default.
- W78754889 workType "article" @default.