Matches in SemOpenAlex for { <https://semopenalex.org/work/W4230407925> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4230407925 endingPage "100" @default.
- W4230407925 startingPage "73" @default.
- W4230407925 abstract "This chapter discusses the mathematical language Automath, its usage, and some of its extensions. Automath is a language suitable for expressing very large parts of mathematics in such a way that the correctness of the mathematical contents is guaranteed as long as the rules of grammar are obeyed. The possibility of building languages defined in terms of Automath but adapted to special purposes are indicated. The chapter also provides a preliminary description of the language, structure of the lines, how to write PAL, how to use it for mathematical reasoning, extending PAL to Automath, how to use Automath for mathematical reasoning, and processors for automath. PAL is a sublanguage of Automath and is quite easy to learn. In PAL, the lambda conversation is not used, and there is no limitation on the variables. The possibilities of superimposed languages, automatic theorem proving, and extensions of Automath are also described in this chapter." @default.
- W4230407925 created "2022-05-11" @default.
- W4230407925 creator A5045547768 @default.
- W4230407925 date "1994-01-01" @default.
- W4230407925 modified "2023-09-29" @default.
- W4230407925 title "The Mathematical Language Automath, its Usage, and Some of its Extensions" @default.
- W4230407925 doi "https://doi.org/10.1016/s0049-237x(08)70200-3" @default.
- W4230407925 hasPublicationYear "1994" @default.
- W4230407925 type Work @default.
- W4230407925 citedByCount "4" @default.
- W4230407925 countsByYear W42304079252012 @default.
- W4230407925 crossrefType "book-chapter" @default.
- W4230407925 hasAuthorship W4230407925A5045547768 @default.
- W4230407925 hasConcept C136119220 @default.
- W4230407925 hasConcept C138885662 @default.
- W4230407925 hasConcept C145420912 @default.
- W4230407925 hasConcept C172347087 @default.
- W4230407925 hasConcept C199360897 @default.
- W4230407925 hasConcept C202444582 @default.
- W4230407925 hasConcept C26022165 @default.
- W4230407925 hasConcept C2776411971 @default.
- W4230407925 hasConcept C33923547 @default.
- W4230407925 hasConcept C41008148 @default.
- W4230407925 hasConcept C41895202 @default.
- W4230407925 hasConcept C55439883 @default.
- W4230407925 hasConceptScore W4230407925C136119220 @default.
- W4230407925 hasConceptScore W4230407925C138885662 @default.
- W4230407925 hasConceptScore W4230407925C145420912 @default.
- W4230407925 hasConceptScore W4230407925C172347087 @default.
- W4230407925 hasConceptScore W4230407925C199360897 @default.
- W4230407925 hasConceptScore W4230407925C202444582 @default.
- W4230407925 hasConceptScore W4230407925C26022165 @default.
- W4230407925 hasConceptScore W4230407925C2776411971 @default.
- W4230407925 hasConceptScore W4230407925C33923547 @default.
- W4230407925 hasConceptScore W4230407925C41008148 @default.
- W4230407925 hasConceptScore W4230407925C41895202 @default.
- W4230407925 hasConceptScore W4230407925C55439883 @default.
- W4230407925 hasLocation W42304079251 @default.
- W4230407925 hasOpenAccess W4230407925 @default.
- W4230407925 hasPrimaryLocation W42304079251 @default.
- W4230407925 hasRelatedWork W1516169988 @default.
- W4230407925 hasRelatedWork W1517743118 @default.
- W4230407925 hasRelatedWork W1522191941 @default.
- W4230407925 hasRelatedWork W1985198438 @default.
- W4230407925 hasRelatedWork W2024218563 @default.
- W4230407925 hasRelatedWork W2072806201 @default.
- W4230407925 hasRelatedWork W2355288082 @default.
- W4230407925 hasRelatedWork W4237042913 @default.
- W4230407925 hasRelatedWork W4238823939 @default.
- W4230407925 hasRelatedWork W598950423 @default.
- W4230407925 isParatext "false" @default.
- W4230407925 isRetracted "false" @default.
- W4230407925 workType "book-chapter" @default.