Matches in SemOpenAlex for { <https://semopenalex.org/work/W1554328513> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1554328513 endingPage "234" @default.
- W1554328513 startingPage "221" @default.
- W1554328513 created "2016-06-24" @default.
- W1554328513 creator A5032042061 @default.
- W1554328513 creator A5070698573 @default.
- W1554328513 date "2007-01-01" @default.
- W1554328513 modified "2023-09-28" @default.
- W1554328513 title "Cooperative Repositories for Formal Proofs A Wiki-Based Solution" @default.
- W1554328513 cites W1546376725 @default.
- W1554328513 cites W1561664087 @default.
- W1554328513 cites W1582998182 @default.
- W1554328513 cites W1591754771 @default.
- W1554328513 cites W1957489330 @default.
- W1554328513 cites W2028195352 @default.
- W1554328513 cites W2136219937 @default.
- W1554328513 cites W2169030566 @default.
- W1554328513 cites W2528625452 @default.
- W1554328513 hasPublicationYear "2007" @default.
- W1554328513 type Work @default.
- W1554328513 sameAs 1554328513 @default.
- W1554328513 citedByCount "2" @default.
- W1554328513 crossrefType "proceedings-article" @default.
- W1554328513 hasAuthorship W1554328513A5032042061 @default.
- W1554328513 hasAuthorship W1554328513A5070698573 @default.
- W1554328513 hasConcept C108710211 @default.
- W1554328513 hasConcept C111919701 @default.
- W1554328513 hasConcept C124978682 @default.
- W1554328513 hasConcept C136764020 @default.
- W1554328513 hasConcept C154945302 @default.
- W1554328513 hasConcept C199360897 @default.
- W1554328513 hasConcept C203265346 @default.
- W1554328513 hasConcept C205711294 @default.
- W1554328513 hasConcept C2524010 @default.
- W1554328513 hasConcept C33923547 @default.
- W1554328513 hasConcept C41008148 @default.
- W1554328513 hasConcept C56666940 @default.
- W1554328513 hasConcept C61423126 @default.
- W1554328513 hasConcept C94461902 @default.
- W1554328513 hasConceptScore W1554328513C108710211 @default.
- W1554328513 hasConceptScore W1554328513C111919701 @default.
- W1554328513 hasConceptScore W1554328513C124978682 @default.
- W1554328513 hasConceptScore W1554328513C136764020 @default.
- W1554328513 hasConceptScore W1554328513C154945302 @default.
- W1554328513 hasConceptScore W1554328513C199360897 @default.
- W1554328513 hasConceptScore W1554328513C203265346 @default.
- W1554328513 hasConceptScore W1554328513C205711294 @default.
- W1554328513 hasConceptScore W1554328513C2524010 @default.
- W1554328513 hasConceptScore W1554328513C33923547 @default.
- W1554328513 hasConceptScore W1554328513C41008148 @default.
- W1554328513 hasConceptScore W1554328513C56666940 @default.
- W1554328513 hasConceptScore W1554328513C61423126 @default.
- W1554328513 hasConceptScore W1554328513C94461902 @default.
- W1554328513 hasLocation W15543285131 @default.
- W1554328513 hasOpenAccess W1554328513 @default.
- W1554328513 hasPrimaryLocation W15543285131 @default.
- W1554328513 hasRelatedWork W114103911 @default.
- W1554328513 hasRelatedWork W1189980121 @default.
- W1554328513 hasRelatedWork W1541634856 @default.
- W1554328513 hasRelatedWork W1704050742 @default.
- W1554328513 hasRelatedWork W1983425037 @default.
- W1554328513 hasRelatedWork W2293904988 @default.
- W1554328513 hasRelatedWork W2336920144 @default.
- W1554328513 hasRelatedWork W2342690234 @default.
- W1554328513 hasRelatedWork W2408514828 @default.
- W1554328513 hasRelatedWork W2522007841 @default.
- W1554328513 hasRelatedWork W266135116 @default.
- W1554328513 hasRelatedWork W2809986827 @default.
- W1554328513 hasRelatedWork W2889867253 @default.
- W1554328513 hasRelatedWork W289075174 @default.
- W1554328513 hasRelatedWork W3044960660 @default.
- W1554328513 hasRelatedWork W3106543884 @default.
- W1554328513 hasRelatedWork W315511896 @default.
- W1554328513 hasRelatedWork W3157277427 @default.
- W1554328513 hasRelatedWork W76860425 @default.
- W1554328513 hasRelatedWork W1691032207 @default.
- W1554328513 isParatext "false" @default.
- W1554328513 isRetracted "false" @default.
- W1554328513 magId "1554328513" @default.
- W1554328513 workType "article" @default.