Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287021709> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W4287021709 created "2022-07-25" @default.
- W4287021709 creator A5033499088 @default.
- W4287021709 creator A5065124885 @default.
- W4287021709 creator A5074606459 @default.
- W4287021709 creator A5077456443 @default.
- W4287021709 creator A5083750560 @default.
- W4287021709 date "2021-08-23" @default.
- W4287021709 modified "2023-10-05" @default.
- W4287021709 title "The Multiverse: Logical Modularity for Proof Assistants" @default.
- W4287021709 hasPublicationYear "2021" @default.
- W4287021709 type Work @default.
- W4287021709 citedByCount "0" @default.
- W4287021709 crossrefType "posted-content" @default.
- W4287021709 hasAuthorship W4287021709A5033499088 @default.
- W4287021709 hasAuthorship W4287021709A5065124885 @default.
- W4287021709 hasAuthorship W4287021709A5074606459 @default.
- W4287021709 hasAuthorship W4287021709A5077456443 @default.
- W4287021709 hasAuthorship W4287021709A5083750560 @default.
- W4287021709 hasBestOaLocation W42870217091 @default.
- W4287021709 hasConcept C111919701 @default.
- W4287021709 hasConcept C124978682 @default.
- W4287021709 hasConcept C2779478453 @default.
- W4287021709 hasConcept C41008148 @default.
- W4287021709 hasConcept C78458016 @default.
- W4287021709 hasConcept C86803240 @default.
- W4287021709 hasConceptScore W4287021709C111919701 @default.
- W4287021709 hasConceptScore W4287021709C124978682 @default.
- W4287021709 hasConceptScore W4287021709C2779478453 @default.
- W4287021709 hasConceptScore W4287021709C41008148 @default.
- W4287021709 hasConceptScore W4287021709C78458016 @default.
- W4287021709 hasConceptScore W4287021709C86803240 @default.
- W4287021709 hasLocation W42870217091 @default.
- W4287021709 hasLocation W42870217092 @default.
- W4287021709 hasLocation W42870217093 @default.
- W4287021709 hasLocation W42870217094 @default.
- W4287021709 hasOpenAccess W4287021709 @default.
- W4287021709 hasPrimaryLocation W42870217091 @default.
- W4287021709 hasRelatedWork W1943342825 @default.
- W4287021709 hasRelatedWork W1968829728 @default.
- W4287021709 hasRelatedWork W2051365847 @default.
- W4287021709 hasRelatedWork W2349859869 @default.
- W4287021709 hasRelatedWork W2367249529 @default.
- W4287021709 hasRelatedWork W2748952813 @default.
- W4287021709 hasRelatedWork W2899084033 @default.
- W4287021709 hasRelatedWork W3120118008 @default.
- W4287021709 hasRelatedWork W4214765864 @default.
- W4287021709 hasRelatedWork W4230687177 @default.
- W4287021709 isParatext "false" @default.
- W4287021709 isRetracted "false" @default.
- W4287021709 workType "article" @default.