Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012170792> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2012170792 endingPage "338" @default.
- W2012170792 startingPage "321" @default.
- W2012170792 created "2016-06-24" @default.
- W2012170792 creator A5081601500 @default.
- W2012170792 date "1995-11-01" @default.
- W2012170792 modified "2023-09-23" @default.
- W2012170792 title "A logic for describing, not verifying, software" @default.
- W2012170792 cites W2021414839 @default.
- W2012170792 cites W2114337346 @default.
- W2012170792 cites W2137860663 @default.
- W2012170792 cites W2155891457 @default.
- W2012170792 cites W2157560459 @default.
- W2012170792 cites W4298207198 @default.
- W2012170792 doi "https://doi.org/10.1007/bf01135377" @default.
- W2012170792 hasPublicationYear "1995" @default.
- W2012170792 type Work @default.
- W2012170792 sameAs 2012170792 @default.
- W2012170792 citedByCount "4" @default.
- W2012170792 countsByYear W20121707922017 @default.
- W2012170792 crossrefType "journal-article" @default.
- W2012170792 hasAuthorship W2012170792A5081601500 @default.
- W2012170792 hasConcept C102993220 @default.
- W2012170792 hasConcept C111472728 @default.
- W2012170792 hasConcept C138885662 @default.
- W2012170792 hasConcept C140146324 @default.
- W2012170792 hasConcept C19689857 @default.
- W2012170792 hasConcept C199360897 @default.
- W2012170792 hasConcept C25810664 @default.
- W2012170792 hasConcept C2777904410 @default.
- W2012170792 hasConcept C2780654840 @default.
- W2012170792 hasConcept C41008148 @default.
- W2012170792 hasConcept C527412718 @default.
- W2012170792 hasConcept C55439883 @default.
- W2012170792 hasConcept C56666940 @default.
- W2012170792 hasConcept C80444323 @default.
- W2012170792 hasConceptScore W2012170792C102993220 @default.
- W2012170792 hasConceptScore W2012170792C111472728 @default.
- W2012170792 hasConceptScore W2012170792C138885662 @default.
- W2012170792 hasConceptScore W2012170792C140146324 @default.
- W2012170792 hasConceptScore W2012170792C19689857 @default.
- W2012170792 hasConceptScore W2012170792C199360897 @default.
- W2012170792 hasConceptScore W2012170792C25810664 @default.
- W2012170792 hasConceptScore W2012170792C2777904410 @default.
- W2012170792 hasConceptScore W2012170792C2780654840 @default.
- W2012170792 hasConceptScore W2012170792C41008148 @default.
- W2012170792 hasConceptScore W2012170792C527412718 @default.
- W2012170792 hasConceptScore W2012170792C55439883 @default.
- W2012170792 hasConceptScore W2012170792C56666940 @default.
- W2012170792 hasConceptScore W2012170792C80444323 @default.
- W2012170792 hasIssue "3" @default.
- W2012170792 hasLocation W20121707921 @default.
- W2012170792 hasOpenAccess W2012170792 @default.
- W2012170792 hasPrimaryLocation W20121707921 @default.
- W2012170792 hasRelatedWork W1944388879 @default.
- W2012170792 hasRelatedWork W1968011359 @default.
- W2012170792 hasRelatedWork W2016527594 @default.
- W2012170792 hasRelatedWork W2157449911 @default.
- W2012170792 hasRelatedWork W2169244823 @default.
- W2012170792 hasRelatedWork W2951137283 @default.
- W2012170792 hasRelatedWork W2963118468 @default.
- W2012170792 hasRelatedWork W3147812817 @default.
- W2012170792 hasRelatedWork W4298767027 @default.
- W2012170792 hasRelatedWork W4301430421 @default.
- W2012170792 hasVolume "43" @default.
- W2012170792 isParatext "false" @default.
- W2012170792 isRetracted "false" @default.
- W2012170792 magId "2012170792" @default.
- W2012170792 workType "article" @default.