Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287829579> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- W4287829579 created "2022-07-26" @default.
- W4287829579 creator A5016979593 @default.
- W4287829579 creator A5018394339 @default.
- W4287829579 creator A5021883093 @default.
- W4287829579 date "2020-03-02" @default.
- W4287829579 modified "2023-10-06" @default.
- W4287829579 title "Two Applications of Logic Programming to Coq" @default.
- W4287829579 hasPublicationYear "2020" @default.
- W4287829579 type Work @default.
- W4287829579 citedByCount "0" @default.
- W4287829579 crossrefType "proceedings-article" @default.
- W4287829579 hasAuthorship W4287829579A5016979593 @default.
- W4287829579 hasAuthorship W4287829579A5018394339 @default.
- W4287829579 hasAuthorship W4287829579A5021883093 @default.
- W4287829579 hasBestOaLocation W42878295792 @default.
- W4287829579 hasConcept C128838566 @default.
- W4287829579 hasConcept C199360897 @default.
- W4287829579 hasConcept C41008148 @default.
- W4287829579 hasConceptScore W4287829579C128838566 @default.
- W4287829579 hasConceptScore W4287829579C199360897 @default.
- W4287829579 hasConceptScore W4287829579C41008148 @default.
- W4287829579 hasLocation W42878295791 @default.
- W4287829579 hasLocation W42878295792 @default.
- W4287829579 hasLocation W42878295793 @default.
- W4287829579 hasOpenAccess W4287829579 @default.
- W4287829579 hasPrimaryLocation W42878295791 @default.
- W4287829579 hasRelatedWork W1534488117 @default.
- W4287829579 hasRelatedWork W1999702466 @default.
- W4287829579 hasRelatedWork W2140386967 @default.
- W4287829579 hasRelatedWork W2540089100 @default.
- W4287829579 hasRelatedWork W3018143143 @default.
- W4287829579 hasRelatedWork W4205997139 @default.
- W4287829579 hasRelatedWork W4206249920 @default.
- W4287829579 hasRelatedWork W4246503451 @default.
- W4287829579 hasRelatedWork W4248067243 @default.
- W4287829579 hasRelatedWork W4255405881 @default.
- W4287829579 isParatext "false" @default.
- W4287829579 isRetracted "false" @default.
- W4287829579 workType "article" @default.