Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Nuprl> }
Showing triples 1 to 19 of
19
with 100 triples per page.
- Robert_Lee_Constable knownFor Nuprl.
- Nuprl wikiPageRedirects Nuprl.
- NuPRL wikiPageRedirects Nuprl.
- Automated_theorem_proving wikiPageWikiLink Nuprl.
- Dependent_type wikiPageWikiLink Nuprl.
- Index_of_philosophy_articles_(I–Q) wikiPageWikiLink Nuprl.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Nuprl.
- Intuitionistic_type_theory wikiPageWikiLink Nuprl.
- Isis2 wikiPageWikiLink Nuprl.
- Nuprl wikiPageWikiLink Nuprl.
- NuPRL wikiPageWikiLink Nuprl.
- Parametric_polymorphism wikiPageWikiLink Nuprl.
- Per_Martin-Löf wikiPageWikiLink Nuprl.
- Prakash_Panangaden wikiPageWikiLink Nuprl.
- Proof_assistant wikiPageWikiLink Nuprl.
- Robert_Lee_Constable wikiPageWikiLink Nuprl.
- Type_theory wikiPageWikiLink Nuprl.
- Robert_Lee_Constable knownFor Nuprl.
- Nuprl primaryTopic Nuprl.