Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014646531> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2014646531 endingPage "249" @default.
- W2014646531 startingPage "233" @default.
- W2014646531 created "2016-06-24" @default.
- W2014646531 creator A5049657251 @default.
- W2014646531 date "1981-06-01" @default.
- W2014646531 modified "2023-09-25" @default.
- W2014646531 title "Proving total correctness of nondeterministic programs in infinitary logic" @default.
- W2014646531 cites W1499109348 @default.
- W2014646531 cites W1580672106 @default.
- W2014646531 cites W1730099161 @default.
- W2014646531 cites W1930604040 @default.
- W2014646531 cites W2049352441 @default.
- W2014646531 cites W52272913 @default.
- W2014646531 doi "https://doi.org/10.1007/bf00289263" @default.
- W2014646531 hasPublicationYear "1981" @default.
- W2014646531 type Work @default.
- W2014646531 sameAs 2014646531 @default.
- W2014646531 citedByCount "26" @default.
- W2014646531 countsByYear W20146465312012 @default.
- W2014646531 countsByYear W20146465312013 @default.
- W2014646531 countsByYear W20146465312015 @default.
- W2014646531 crossrefType "journal-article" @default.
- W2014646531 hasAuthorship W2014646531A5049657251 @default.
- W2014646531 hasConcept C111472728 @default.
- W2014646531 hasConcept C11413529 @default.
- W2014646531 hasConcept C118615104 @default.
- W2014646531 hasConcept C124304363 @default.
- W2014646531 hasConcept C132525143 @default.
- W2014646531 hasConcept C138885662 @default.
- W2014646531 hasConcept C156325763 @default.
- W2014646531 hasConcept C171018156 @default.
- W2014646531 hasConcept C173870130 @default.
- W2014646531 hasConcept C176181172 @default.
- W2014646531 hasConcept C17744445 @default.
- W2014646531 hasConcept C184337299 @default.
- W2014646531 hasConcept C192465680 @default.
- W2014646531 hasConcept C195818886 @default.
- W2014646531 hasConcept C199360897 @default.
- W2014646531 hasConcept C199539241 @default.
- W2014646531 hasConcept C22590252 @default.
- W2014646531 hasConcept C24858836 @default.
- W2014646531 hasConcept C2524010 @default.
- W2014646531 hasConcept C2777026412 @default.
- W2014646531 hasConcept C30128091 @default.
- W2014646531 hasConcept C33923547 @default.
- W2014646531 hasConcept C41008148 @default.
- W2014646531 hasConcept C55439883 @default.
- W2014646531 hasConcept C80444323 @default.
- W2014646531 hasConceptScore W2014646531C111472728 @default.
- W2014646531 hasConceptScore W2014646531C11413529 @default.
- W2014646531 hasConceptScore W2014646531C118615104 @default.
- W2014646531 hasConceptScore W2014646531C124304363 @default.
- W2014646531 hasConceptScore W2014646531C132525143 @default.
- W2014646531 hasConceptScore W2014646531C138885662 @default.
- W2014646531 hasConceptScore W2014646531C156325763 @default.
- W2014646531 hasConceptScore W2014646531C171018156 @default.
- W2014646531 hasConceptScore W2014646531C173870130 @default.
- W2014646531 hasConceptScore W2014646531C176181172 @default.
- W2014646531 hasConceptScore W2014646531C17744445 @default.
- W2014646531 hasConceptScore W2014646531C184337299 @default.
- W2014646531 hasConceptScore W2014646531C192465680 @default.
- W2014646531 hasConceptScore W2014646531C195818886 @default.
- W2014646531 hasConceptScore W2014646531C199360897 @default.
- W2014646531 hasConceptScore W2014646531C199539241 @default.
- W2014646531 hasConceptScore W2014646531C22590252 @default.
- W2014646531 hasConceptScore W2014646531C24858836 @default.
- W2014646531 hasConceptScore W2014646531C2524010 @default.
- W2014646531 hasConceptScore W2014646531C2777026412 @default.
- W2014646531 hasConceptScore W2014646531C30128091 @default.
- W2014646531 hasConceptScore W2014646531C33923547 @default.
- W2014646531 hasConceptScore W2014646531C41008148 @default.
- W2014646531 hasConceptScore W2014646531C55439883 @default.
- W2014646531 hasConceptScore W2014646531C80444323 @default.
- W2014646531 hasIssue "3" @default.
- W2014646531 hasLocation W20146465311 @default.
- W2014646531 hasOpenAccess W2014646531 @default.
- W2014646531 hasPrimaryLocation W20146465311 @default.
- W2014646531 hasRelatedWork W1540342542 @default.
- W2014646531 hasRelatedWork W1605128268 @default.
- W2014646531 hasRelatedWork W1964300195 @default.
- W2014646531 hasRelatedWork W2014646531 @default.
- W2014646531 hasRelatedWork W2081455126 @default.
- W2014646531 hasRelatedWork W2171877225 @default.
- W2014646531 hasRelatedWork W2909242207 @default.
- W2014646531 hasRelatedWork W33800742 @default.
- W2014646531 hasRelatedWork W4245064363 @default.
- W2014646531 hasRelatedWork W3135318402 @default.
- W2014646531 hasVolume "15" @default.
- W2014646531 isParatext "false" @default.
- W2014646531 isRetracted "false" @default.
- W2014646531 magId "2014646531" @default.
- W2014646531 workType "article" @default.