Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287637077> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W4287637077 created "2022-07-25" @default.
- W4287637077 creator A5073566628 @default.
- W4287637077 creator A5084552310 @default.
- W4287637077 date "2020-10-19" @default.
- W4287637077 modified "2023-09-24" @default.
- W4287637077 title "Abstraction and Genericity in Why3" @default.
- W4287637077 hasPublicationYear "2020" @default.
- W4287637077 type Work @default.
- W4287637077 citedByCount "0" @default.
- W4287637077 crossrefType "proceedings-article" @default.
- W4287637077 hasAuthorship W4287637077A5073566628 @default.
- W4287637077 hasAuthorship W4287637077A5084552310 @default.
- W4287637077 hasBestOaLocation W42876370771 @default.
- W4287637077 hasConcept C111472728 @default.
- W4287637077 hasConcept C124304363 @default.
- W4287637077 hasConcept C138885662 @default.
- W4287637077 hasConcept C199360897 @default.
- W4287637077 hasConcept C41008148 @default.
- W4287637077 hasConcept C80444323 @default.
- W4287637077 hasConceptScore W4287637077C111472728 @default.
- W4287637077 hasConceptScore W4287637077C124304363 @default.
- W4287637077 hasConceptScore W4287637077C138885662 @default.
- W4287637077 hasConceptScore W4287637077C199360897 @default.
- W4287637077 hasConceptScore W4287637077C41008148 @default.
- W4287637077 hasConceptScore W4287637077C80444323 @default.
- W4287637077 hasLocation W42876370771 @default.
- W4287637077 hasLocation W42876370772 @default.
- W4287637077 hasLocation W42876370773 @default.
- W4287637077 hasLocation W42876370774 @default.
- W4287637077 hasOpenAccess W4287637077 @default.
- W4287637077 hasPrimaryLocation W42876370771 @default.
- W4287637077 hasRelatedWork W11066824 @default.
- W4287637077 hasRelatedWork W12601726 @default.
- W4287637077 hasRelatedWork W1272897 @default.
- W4287637077 hasRelatedWork W13108495 @default.
- W4287637077 hasRelatedWork W3009568 @default.
- W4287637077 hasRelatedWork W4050534 @default.
- W4287637077 hasRelatedWork W610698 @default.
- W4287637077 hasRelatedWork W6873354 @default.
- W4287637077 hasRelatedWork W8517183 @default.
- W4287637077 hasRelatedWork W9594217 @default.
- W4287637077 isParatext "false" @default.
- W4287637077 isRetracted "false" @default.
- W4287637077 workType "article" @default.