Matches in SemOpenAlex for { <https://semopenalex.org/work/W2259215394> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2259215394 created "2016-06-24" @default.
- W2259215394 creator A5026602197 @default.
- W2259215394 date "2000-01-01" @default.
- W2259215394 modified "2023-09-23" @default.
- W2259215394 title "Computer Checked Mathematical Texts Presented in Natural Language" @default.
- W2259215394 doi "https://doi.org/10.11501/3185210" @default.
- W2259215394 hasPublicationYear "2000" @default.
- W2259215394 type Work @default.
- W2259215394 sameAs 2259215394 @default.
- W2259215394 citedByCount "0" @default.
- W2259215394 crossrefType "journal-article" @default.
- W2259215394 hasAuthorship W2259215394A5026602197 @default.
- W2259215394 hasConcept C138885662 @default.
- W2259215394 hasConcept C154945302 @default.
- W2259215394 hasConcept C166957645 @default.
- W2259215394 hasConcept C195324797 @default.
- W2259215394 hasConcept C204321447 @default.
- W2259215394 hasConcept C2776608160 @default.
- W2259215394 hasConcept C41008148 @default.
- W2259215394 hasConcept C41895202 @default.
- W2259215394 hasConcept C95457728 @default.
- W2259215394 hasConceptScore W2259215394C138885662 @default.
- W2259215394 hasConceptScore W2259215394C154945302 @default.
- W2259215394 hasConceptScore W2259215394C166957645 @default.
- W2259215394 hasConceptScore W2259215394C195324797 @default.
- W2259215394 hasConceptScore W2259215394C204321447 @default.
- W2259215394 hasConceptScore W2259215394C2776608160 @default.
- W2259215394 hasConceptScore W2259215394C41008148 @default.
- W2259215394 hasConceptScore W2259215394C41895202 @default.
- W2259215394 hasConceptScore W2259215394C95457728 @default.
- W2259215394 hasLocation W22592153941 @default.
- W2259215394 hasOpenAccess W2259215394 @default.
- W2259215394 hasPrimaryLocation W22592153941 @default.
- W2259215394 hasRelatedWork W1525482321 @default.
- W2259215394 hasRelatedWork W197504935 @default.
- W2259215394 hasRelatedWork W2013260224 @default.
- W2259215394 hasRelatedWork W2042677945 @default.
- W2259215394 hasRelatedWork W2071282560 @default.
- W2259215394 hasRelatedWork W210362060 @default.
- W2259215394 hasRelatedWork W2110558670 @default.
- W2259215394 hasRelatedWork W2124123699 @default.
- W2259215394 hasRelatedWork W2153312182 @default.
- W2259215394 hasRelatedWork W226586525 @default.
- W2259215394 hasRelatedWork W2500846742 @default.
- W2259215394 hasRelatedWork W2504689172 @default.
- W2259215394 hasRelatedWork W2943280304 @default.
- W2259215394 hasRelatedWork W3009148195 @default.
- W2259215394 hasRelatedWork W3013054944 @default.
- W2259215394 hasRelatedWork W3111362504 @default.
- W2259215394 hasRelatedWork W84607893 @default.
- W2259215394 hasRelatedWork W1806762050 @default.
- W2259215394 hasRelatedWork W2234797809 @default.
- W2259215394 hasRelatedWork W2300186791 @default.
- W2259215394 isParatext "false" @default.
- W2259215394 isRetracted "false" @default.
- W2259215394 magId "2259215394" @default.
- W2259215394 workType "article" @default.