Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Nuprl> ?p ?o }
Showing triples 1 to 41 of
41
with 100 triples per page.
- Nuprl abstract "Nuprl is a proof development system, providing computer-mediated analysis and proofs of formal mathematical statements, and tools for software verification and optimization. Originally developed in the 1980s by Robert Lee Constable and others, the system is now maintained by the PRL Project at Cornell University. The currently supported version, Nuprl 5, is also known as FDL (Formal Digital Library). Nuprl functions as an automated theorem proving system and can also be used to provide proof assistance.".
- Nuprl wikiPageExternalLink 822.
- Nuprl wikiPageExternalLink www.nuprl.org.
- Nuprl wikiPageID "45609427".
- Nuprl wikiPageLength "4061".
- Nuprl wikiPageOutDegree "17".
- Nuprl wikiPageRevisionID "678987394".
- Nuprl wikiPageWikiLink Automated_theorem_proving.
- Nuprl wikiPageWikiLink Category:Articles_created_via_the_Article_Wizard.
- Nuprl wikiPageWikiLink Category:Automated_theorem_proving.
- Nuprl wikiPageWikiLink Category:Proof_assistants.
- Nuprl wikiPageWikiLink Cornell_University.
- Nuprl wikiPageWikiLink Digital_library.
- Nuprl wikiPageWikiLink Emacs.
- Nuprl wikiPageWikiLink Graphical_user_interface.
- Nuprl wikiPageWikiLink Higmans_lemma.
- Nuprl wikiPageWikiLink Intuitionistic_type_theory.
- Nuprl wikiPageWikiLink Java_(programming_language).
- Nuprl wikiPageWikiLink ML_(programming_language).
- Nuprl wikiPageWikiLink OCaml.
- Nuprl wikiPageWikiLink Proof_assistant.
- Nuprl wikiPageWikiLink Pure_type_system.
- Nuprl wikiPageWikiLink Robert_Lee_Constable.
- Nuprl wikiPageWikiLink World_Wide_Web.
- Nuprl wikiPageWikiLinkText "Nuprl".
- Nuprl wikiPageUsesTemplate Template:Reflist.
- Nuprl subject Category:Articles_created_via_the_Article_Wizard.
- Nuprl subject Category:Automated_theorem_proving.
- Nuprl subject Category:Proof_assistants.
- Nuprl hypernym System.
- Nuprl type Language.
- Nuprl type Assistant.
- Nuprl type Language.
- Nuprl type Proof.
- Nuprl comment "Nuprl is a proof development system, providing computer-mediated analysis and proofs of formal mathematical statements, and tools for software verification and optimization. Originally developed in the 1980s by Robert Lee Constable and others, the system is now maintained by the PRL Project at Cornell University. The currently supported version, Nuprl 5, is also known as FDL (Formal Digital Library).".
- Nuprl label "Nuprl".
- Nuprl sameAs Q22907407.
- Nuprl sameAs m.012zq_q8.
- Nuprl sameAs Q22907407.
- Nuprl wasDerivedFrom Nuprl?oldid=678987394.
- Nuprl isPrimaryTopicOf Nuprl.