|
gptkbp:instance_of
|
gptkb:scientific_experiments
|
|
gptkbp:developed_by
|
gptkb:Cornell_University
|
|
gptkbp:first_released
|
gptkb:1980
|
|
gptkbp:has_applications_in
|
mathematical proofs
program analysis
software verification
hardware verification
algorithm verification
|
|
gptkbp:has_community
|
academic community
|
|
gptkbp:has_documentation
|
research papers
tutorials
user manual
technical reports
|
|
gptkbp:has_feature
|
gptkb:political_theory
proof development environment
|
|
gptkbp:has_user_interface
|
gptkb:user_interface
command line interface
|
|
gptkbp:has_version
|
gptkb:Nuprl_5
Nuprl 1
Nuprl 2
Nuprl 3
Nuprl 4
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Nuprl 6
|
|
gptkbp:is_available_on
|
gptkb:Unix
gptkb:Linux
gptkb:Windows
|
|
gptkbp:is_based_on
|
gptkb:Martin-Löf_type_theory
|
|
gptkbp:is_compatible_with
|
gptkb:CORBA
|
|
gptkbp:is_influenced_by
|
gptkb:Set
category theory
lambda calculus
|
|
gptkbp:is_part_of
|
formal methods
Nuprl system
|
|
gptkbp:is_related_to
|
gptkb:C_programming_language
gptkb:Logic
proof theory
type systems
computational logic
|
|
gptkbp:is_supported_by
|
grants
collaborations
community contributions
academic funding
|
|
gptkbp:is_used_by
|
gptkb:researchers
|
|
gptkbp:is_used_in
|
gptkb:Industry
gptkb:education
research projects
|
|
gptkbp:latest_version
|
Nuprl 6.0
|
|
gptkbp:programming_language
|
gptkb:ML
|
|
gptkbp:provides
|
interactive theorem proving
|
|
gptkbp:released_in
|
1990s
|
|
gptkbp:supports
|
gptkb:constructive_mathematics
|
|
gptkbp:used_for
|
formal verification
|
|
gptkbp:bfsParent
|
gptkb:Nuprl
|
|
gptkbp:bfsLayer
|
7
|