Matches in SemOpenAlex for { <https://semopenalex.org/work/W2894512963> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W2894512963 created "2018-10-05" @default.
- W2894512963 creator A5054103364 @default.
- W2894512963 date "2018-09-26" @default.
- W2894512963 modified "2023-10-12" @default.
- W2894512963 title "Combining the Syntactic and Semantic Representations of Mizar Proofs" @default.
- W2894512963 doi "https://doi.org/10.15439/2018f248" @default.
- W2894512963 hasPublicationYear "2018" @default.
- W2894512963 type Work @default.
- W2894512963 sameAs 2894512963 @default.
- W2894512963 citedByCount "0" @default.
- W2894512963 crossrefType "proceedings-article" @default.
- W2894512963 hasAuthorship W2894512963A5054103364 @default.
- W2894512963 hasBestOaLocation W28945129631 @default.
- W2894512963 hasConcept C108710211 @default.
- W2894512963 hasConcept C138885662 @default.
- W2894512963 hasConcept C154945302 @default.
- W2894512963 hasConcept C199360897 @default.
- W2894512963 hasConcept C204321447 @default.
- W2894512963 hasConcept C2524010 @default.
- W2894512963 hasConcept C33923547 @default.
- W2894512963 hasConcept C41008148 @default.
- W2894512963 hasConcept C41895202 @default.
- W2894512963 hasConceptScore W2894512963C108710211 @default.
- W2894512963 hasConceptScore W2894512963C138885662 @default.
- W2894512963 hasConceptScore W2894512963C154945302 @default.
- W2894512963 hasConceptScore W2894512963C199360897 @default.
- W2894512963 hasConceptScore W2894512963C204321447 @default.
- W2894512963 hasConceptScore W2894512963C2524010 @default.
- W2894512963 hasConceptScore W2894512963C33923547 @default.
- W2894512963 hasConceptScore W2894512963C41008148 @default.
- W2894512963 hasConceptScore W2894512963C41895202 @default.
- W2894512963 hasLocation W28945129631 @default.
- W2894512963 hasOpenAccess W2894512963 @default.
- W2894512963 hasPrimaryLocation W28945129631 @default.
- W2894512963 hasRelatedWork W1493592607 @default.
- W2894512963 hasRelatedWork W1594988803 @default.
- W2894512963 hasRelatedWork W1880006926 @default.
- W2894512963 hasRelatedWork W1993784763 @default.
- W2894512963 hasRelatedWork W1998586093 @default.
- W2894512963 hasRelatedWork W2081394761 @default.
- W2894512963 hasRelatedWork W2359482398 @default.
- W2894512963 hasRelatedWork W3033264920 @default.
- W2894512963 hasRelatedWork W3107474891 @default.
- W2894512963 hasRelatedWork W4246531319 @default.
- W2894512963 isParatext "false" @default.
- W2894512963 isRetracted "false" @default.
- W2894512963 magId "2894512963" @default.
- W2894512963 workType "article" @default.