Matches in SemOpenAlex for { <https://semopenalex.org/work/W48162834> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W48162834 abstract "In this paper we identify the organizational problems of Mathematical Knowledge Management and describe tools that address one of these problems, namely, the additional annotation of formalized knowledge. We describe, then, how the tools are realized in the frame of the Theorema system." @default.
- W48162834 created "2016-06-24" @default.
- W48162834 creator A5017274120 @default.
- W48162834 creator A5018701177 @default.
- W48162834 date "2004-01-01" @default.
- W48162834 modified "2023-09-27" @default.
- W48162834 title "An Environment for Building Mathematical Knowledge Libraries" @default.
- W48162834 cites W1523300416 @default.
- W48162834 cites W1583206423 @default.
- W48162834 cites W1883592046 @default.
- W48162834 cites W193298535 @default.
- W48162834 cites W1985689249 @default.
- W48162834 cites W2049222190 @default.
- W48162834 cites W2051841963 @default.
- W48162834 cites W2092690557 @default.
- W48162834 cites W2137810559 @default.
- W48162834 cites W2171987833 @default.
- W48162834 cites W3010782316 @default.
- W48162834 hasPublicationYear "2004" @default.
- W48162834 type Work @default.
- W48162834 sameAs 48162834 @default.
- W48162834 citedByCount "2" @default.
- W48162834 crossrefType "journal-article" @default.
- W48162834 hasAuthorship W48162834A5017274120 @default.
- W48162834 hasAuthorship W48162834A5018701177 @default.
- W48162834 hasConcept C115925183 @default.
- W48162834 hasConcept C124469403 @default.
- W48162834 hasConcept C126042441 @default.
- W48162834 hasConcept C154945302 @default.
- W48162834 hasConcept C161301231 @default.
- W48162834 hasConcept C21621646 @default.
- W48162834 hasConcept C2522767166 @default.
- W48162834 hasConcept C2776321320 @default.
- W48162834 hasConcept C41008148 @default.
- W48162834 hasConcept C56739046 @default.
- W48162834 hasConcept C76155785 @default.
- W48162834 hasConceptScore W48162834C115925183 @default.
- W48162834 hasConceptScore W48162834C124469403 @default.
- W48162834 hasConceptScore W48162834C126042441 @default.
- W48162834 hasConceptScore W48162834C154945302 @default.
- W48162834 hasConceptScore W48162834C161301231 @default.
- W48162834 hasConceptScore W48162834C21621646 @default.
- W48162834 hasConceptScore W48162834C2522767166 @default.
- W48162834 hasConceptScore W48162834C2776321320 @default.
- W48162834 hasConceptScore W48162834C41008148 @default.
- W48162834 hasConceptScore W48162834C56739046 @default.
- W48162834 hasConceptScore W48162834C76155785 @default.
- W48162834 hasLocation W481628341 @default.
- W48162834 hasOpenAccess W48162834 @default.
- W48162834 hasPrimaryLocation W481628341 @default.
- W48162834 hasRelatedWork W101465432 @default.
- W48162834 hasRelatedWork W116174420 @default.
- W48162834 hasRelatedWork W142026897 @default.
- W48162834 hasRelatedWork W1502180010 @default.
- W48162834 hasRelatedWork W2070053377 @default.
- W48162834 hasRelatedWork W2133028535 @default.
- W48162834 hasRelatedWork W2135078144 @default.
- W48162834 hasRelatedWork W2145003897 @default.
- W48162834 hasRelatedWork W2166699148 @default.
- W48162834 hasRelatedWork W2187325559 @default.
- W48162834 hasRelatedWork W2399241726 @default.
- W48162834 hasRelatedWork W2791555823 @default.
- W48162834 hasRelatedWork W2891467353 @default.
- W48162834 hasRelatedWork W2905659792 @default.
- W48162834 hasRelatedWork W2996666040 @default.
- W48162834 hasRelatedWork W3126643353 @default.
- W48162834 hasRelatedWork W3185452880 @default.
- W48162834 hasRelatedWork W57831635 @default.
- W48162834 hasRelatedWork W604897194 @default.
- W48162834 hasRelatedWork W63967533 @default.
- W48162834 isParatext "false" @default.
- W48162834 isRetracted "false" @default.
- W48162834 magId "48162834" @default.
- W48162834 workType "article" @default.