Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Automath> }
Showing triples 1 to 20 of
20
with 100 triples per page.
- Mizar_system influencedBy Automath.
- Coq__programming_language__1 influencedBy Automath.
- Nicolaas_Govert_de_Bruijn knownFor Automath.
- AUTOMATH wikiPageRedirects Automath.
- Automath_theorem_prover wikiPageRedirects Automath.
- AUTOMATH wikiPageWikiLink Automath.
- Automated_theorem_proving wikiPageWikiLink Automath.
- Automath_theorem_prover wikiPageWikiLink Automath.
- Coq wikiPageWikiLink Automath.
- Curry–Howard_correspondence wikiPageWikiLink Automath.
- Explicit_substitution wikiPageWikiLink Automath.
- History_of_type_theory wikiPageWikiLink Automath.
- Lambda_cube wikiPageWikiLink Automath.
- Logical_framework wikiPageWikiLink Automath.
- Mizar_system wikiPageWikiLink Automath.
- Nicolaas_Govert_de_Bruijn wikiPageWikiLink Automath.
- Type_theory wikiPageWikiLink Automath.
- Mizar_system influencedBy Automath.
- Nicolaas_Govert_de_Bruijn knownFor Automath.
- Automath primaryTopic Automath.