Matches in SemOpenAlex for { <https://semopenalex.org/work/W1751036247> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1751036247 endingPage "347" @default.
- W1751036247 startingPage "343" @default.
- W1751036247 abstract "The purpose of this project is to collect symbol information in the Mizar Mathematical Library and manipulate it into practical and organized documentation. Inspired by the MathWiki project and API reference systems for computer programs, we developed a documentation generator focusing on symbols for the HTML-ized Mizar library. The system has several helpful features, including a symbol list, incremental search, and a referrer list. It targets those who use proof assistance systems, the volume of whose libraries has been rapidly increasing year by year." @default.
- W1751036247 created "2016-06-24" @default.
- W1751036247 creator A5005167371 @default.
- W1751036247 creator A5055549852 @default.
- W1751036247 date "2015-01-01" @default.
- W1751036247 modified "2023-09-27" @default.
- W1751036247 title "Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library" @default.
- W1751036247 cites W1530333737 @default.
- W1751036247 cites W1548526767 @default.
- W1751036247 cites W1577521907 @default.
- W1751036247 cites W1591754771 @default.
- W1751036247 cites W1719912185 @default.
- W1751036247 cites W1972647229 @default.
- W1751036247 cites W1973799428 @default.
- W1751036247 cites W1982239968 @default.
- W1751036247 cites W2008740197 @default.
- W1751036247 cites W2763053546 @default.
- W1751036247 cites W3100063652 @default.
- W1751036247 doi "https://doi.org/10.1007/978-3-319-20615-8_25" @default.
- W1751036247 hasPublicationYear "2015" @default.
- W1751036247 type Work @default.
- W1751036247 sameAs 1751036247 @default.
- W1751036247 citedByCount "3" @default.
- W1751036247 countsByYear W17510362472019 @default.
- W1751036247 countsByYear W17510362472020 @default.
- W1751036247 countsByYear W17510362472022 @default.
- W1751036247 crossrefType "book-chapter" @default.
- W1751036247 hasAuthorship W1751036247A5005167371 @default.
- W1751036247 hasAuthorship W1751036247A5055549852 @default.
- W1751036247 hasBestOaLocation W17510362472 @default.
- W1751036247 hasConcept C121332964 @default.
- W1751036247 hasConcept C134400042 @default.
- W1751036247 hasConcept C136764020 @default.
- W1751036247 hasConcept C163258240 @default.
- W1751036247 hasConcept C199360897 @default.
- W1751036247 hasConcept C2780992000 @default.
- W1751036247 hasConcept C41008148 @default.
- W1751036247 hasConcept C56666940 @default.
- W1751036247 hasConcept C62520636 @default.
- W1751036247 hasConceptScore W1751036247C121332964 @default.
- W1751036247 hasConceptScore W1751036247C134400042 @default.
- W1751036247 hasConceptScore W1751036247C136764020 @default.
- W1751036247 hasConceptScore W1751036247C163258240 @default.
- W1751036247 hasConceptScore W1751036247C199360897 @default.
- W1751036247 hasConceptScore W1751036247C2780992000 @default.
- W1751036247 hasConceptScore W1751036247C41008148 @default.
- W1751036247 hasConceptScore W1751036247C56666940 @default.
- W1751036247 hasConceptScore W1751036247C62520636 @default.
- W1751036247 hasLocation W17510362471 @default.
- W1751036247 hasLocation W17510362472 @default.
- W1751036247 hasOpenAccess W1751036247 @default.
- W1751036247 hasPrimaryLocation W17510362471 @default.
- W1751036247 hasRelatedWork W1527862632 @default.
- W1751036247 hasRelatedWork W2037317228 @default.
- W1751036247 hasRelatedWork W2112962394 @default.
- W1751036247 hasRelatedWork W2118300983 @default.
- W1751036247 hasRelatedWork W2135396778 @default.
- W1751036247 hasRelatedWork W2748952813 @default.
- W1751036247 hasRelatedWork W2950635478 @default.
- W1751036247 hasRelatedWork W3137189469 @default.
- W1751036247 hasRelatedWork W3176590799 @default.
- W1751036247 hasRelatedWork W4243252198 @default.
- W1751036247 isParatext "false" @default.
- W1751036247 isRetracted "false" @default.
- W1751036247 magId "1751036247" @default.
- W1751036247 workType "book-chapter" @default.