Matches in SemOpenAlex for { <https://semopenalex.org/work/W2270797712> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2270797712 created "2016-06-24" @default.
- W2270797712 creator A5034564168 @default.
- W2270797712 date "1982-01-01" @default.
- W2270797712 modified "2023-09-23" @default.
- W2270797712 title "Propositional and first-order predicate calculus applied to the study of program correctness." @default.
- W2270797712 cites W2002089154 @default.
- W2270797712 cites W2147543351 @default.
- W2270797712 hasPublicationYear "1982" @default.
- W2270797712 type Work @default.
- W2270797712 sameAs 2270797712 @default.
- W2270797712 citedByCount "0" @default.
- W2270797712 crossrefType "journal-article" @default.
- W2270797712 hasAuthorship W2270797712A5034564168 @default.
- W2270797712 hasConcept C100481476 @default.
- W2270797712 hasConcept C102993220 @default.
- W2270797712 hasConcept C140146324 @default.
- W2270797712 hasConcept C14523651 @default.
- W2270797712 hasConcept C199343813 @default.
- W2270797712 hasConcept C199360897 @default.
- W2270797712 hasConcept C2777686260 @default.
- W2270797712 hasConcept C33203268 @default.
- W2270797712 hasConcept C33923547 @default.
- W2270797712 hasConcept C41008148 @default.
- W2270797712 hasConcept C55439883 @default.
- W2270797712 hasConcept C62073222 @default.
- W2270797712 hasConcept C69562738 @default.
- W2270797712 hasConcept C71924100 @default.
- W2270797712 hasConceptScore W2270797712C100481476 @default.
- W2270797712 hasConceptScore W2270797712C102993220 @default.
- W2270797712 hasConceptScore W2270797712C140146324 @default.
- W2270797712 hasConceptScore W2270797712C14523651 @default.
- W2270797712 hasConceptScore W2270797712C199343813 @default.
- W2270797712 hasConceptScore W2270797712C199360897 @default.
- W2270797712 hasConceptScore W2270797712C2777686260 @default.
- W2270797712 hasConceptScore W2270797712C33203268 @default.
- W2270797712 hasConceptScore W2270797712C33923547 @default.
- W2270797712 hasConceptScore W2270797712C41008148 @default.
- W2270797712 hasConceptScore W2270797712C55439883 @default.
- W2270797712 hasConceptScore W2270797712C62073222 @default.
- W2270797712 hasConceptScore W2270797712C69562738 @default.
- W2270797712 hasConceptScore W2270797712C71924100 @default.
- W2270797712 hasLocation W22707977121 @default.
- W2270797712 hasOpenAccess W2270797712 @default.
- W2270797712 hasPrimaryLocation W22707977121 @default.
- W2270797712 hasRelatedWork W117698297 @default.
- W2270797712 hasRelatedWork W1546689886 @default.
- W2270797712 hasRelatedWork W189167819 @default.
- W2270797712 hasRelatedWork W1979526100 @default.
- W2270797712 hasRelatedWork W2015374966 @default.
- W2270797712 hasRelatedWork W2027669012 @default.
- W2270797712 hasRelatedWork W2116796266 @default.
- W2270797712 hasRelatedWork W2165019859 @default.
- W2270797712 hasRelatedWork W2168190997 @default.
- W2270797712 hasRelatedWork W2185206914 @default.
- W2270797712 hasRelatedWork W2334139645 @default.
- W2270797712 hasRelatedWork W2472726811 @default.
- W2270797712 hasRelatedWork W2497297274 @default.
- W2270797712 hasRelatedWork W2748495995 @default.
- W2270797712 hasRelatedWork W3128334249 @default.
- W2270797712 hasRelatedWork W49470476 @default.
- W2270797712 hasRelatedWork W604272734 @default.
- W2270797712 hasRelatedWork W71362726 @default.
- W2270797712 hasRelatedWork W71813098 @default.
- W2270797712 hasRelatedWork W2186373746 @default.
- W2270797712 isParatext "false" @default.
- W2270797712 isRetracted "false" @default.
- W2270797712 magId "2270797712" @default.
- W2270797712 workType "article" @default.