Matches in SemOpenAlex for { <https://semopenalex.org/work/W4289293778> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- W4289293778 created "2022-08-02" @default.
- W4289293778 creator A5031019731 @default.
- W4289293778 creator A5034674666 @default.
- W4289293778 creator A5070698573 @default.
- W4289293778 date "2018-11-12" @default.
- W4289293778 modified "2023-09-23" @default.
- W4289293778 title "System Description: Statistical Parsing of Informalized Mizar Formulas" @default.
- W4289293778 doi "https://doi.org/10.5281/zenodo.3407204" @default.
- W4289293778 hasPublicationYear "2018" @default.
- W4289293778 type Work @default.
- W4289293778 citedByCount "0" @default.
- W4289293778 crossrefType "proceedings" @default.
- W4289293778 hasAuthorship W4289293778A5031019731 @default.
- W4289293778 hasAuthorship W4289293778A5034674666 @default.
- W4289293778 hasAuthorship W4289293778A5070698573 @default.
- W4289293778 hasBestOaLocation W42892937781 @default.
- W4289293778 hasConcept C154945302 @default.
- W4289293778 hasConcept C186644900 @default.
- W4289293778 hasConcept C199360897 @default.
- W4289293778 hasConcept C204321447 @default.
- W4289293778 hasConcept C41008148 @default.
- W4289293778 hasConceptScore W4289293778C154945302 @default.
- W4289293778 hasConceptScore W4289293778C186644900 @default.
- W4289293778 hasConceptScore W4289293778C199360897 @default.
- W4289293778 hasConceptScore W4289293778C204321447 @default.
- W4289293778 hasConceptScore W4289293778C41008148 @default.
- W4289293778 hasLocation W42892937781 @default.
- W4289293778 hasOpenAccess W4289293778 @default.
- W4289293778 hasPrimaryLocation W42892937781 @default.
- W4289293778 hasRelatedWork W1517684295 @default.
- W4289293778 hasRelatedWork W1806995473 @default.
- W4289293778 hasRelatedWork W1978971213 @default.
- W4289293778 hasRelatedWork W2026046761 @default.
- W4289293778 hasRelatedWork W2070147537 @default.
- W4289293778 hasRelatedWork W2167662847 @default.
- W4289293778 hasRelatedWork W2502722637 @default.
- W4289293778 hasRelatedWork W4235735989 @default.
- W4289293778 hasRelatedWork W1551406738 @default.
- W4289293778 hasRelatedWork W2467097043 @default.
- W4289293778 isParatext "false" @default.
- W4289293778 isRetracted "false" @default.
- W4289293778 workType "paratext" @default.