|
gptkbp:instance_of
|
gptkb:scientific_experiments
|
|
gptkbp:developed_by
|
gptkb:Cornell_University
|
|
gptkbp:features
|
gptkb:political_theory
|
|
gptkbp:first_released
|
gptkb:1980
|
|
gptkbp:has
|
proof scripts
|
|
gptkbp:has_applications_in
|
software engineering
|
|
gptkbp:has_community
|
online forums
mailing lists
|
|
gptkbp:has_documentation
|
tutorials
technical reports
user manuals
|
|
gptkbp:has_features
|
dependent types
proof assistants
proof search
term rewriting
|
|
gptkbp:has_research_focus
|
gptkb:political_theory
program verification
automated reasoning
formal methods
|
|
gptkbp:has_version
|
gptkb:Nuprl_6
gptkb:Nuprl_7
gptkb:Nuprl_8
gptkb:Nuprl_5
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Nuprl
|
|
gptkbp:includes
|
gptkb:military_strategy
|
|
gptkbp:is_available_on
|
gptkb:Unix
gptkb:Linux
gptkb:Windows
|
|
gptkbp:is_compatible_with
|
other theorem provers
|
|
gptkbp:is_influenced_by
|
gptkb:Martin-Löf_type_theory
category theory
constructive logic
|
|
gptkbp:is_part_of
|
gptkb:computer_science
gptkb:Mathematics
gptkb:Logic
formal methods
theorem proving community
formal verification community
|
|
gptkbp:is_related_to
|
gptkb:CORBA
gptkb:Agda
gptkb:Isabelle
|
|
gptkbp:is_supported_by
|
academic institutions
collaborative projects
research grants
|
|
gptkbp:is_used_by
|
gptkb:researchers
academics
|
|
gptkbp:is_used_in
|
gptkb:academic_research
industrial applications
|
|
gptkbp:programming_language
|
gptkb:ML
|
|
gptkbp:provides
|
interactive theorem proving
|
|
gptkbp:supports
|
gptkb:constructive_mathematics
|
|
gptkbp:used_for
|
formal verification
|
|
gptkbp:bfsParent
|
gptkb:Robert_Constable
|
|
gptkbp:bfsLayer
|
6
|