|
gptkbp:instance_of
|
gptkb:scientific_experiments
|
|
gptkbp:developed_by
|
gptkb:Robert_Constable
|
|
gptkbp:first_released
|
gptkb:1986
|
|
gptkbp:has_applications_in
|
mathematical proofs
software verification
hardware verification
|
|
gptkbp:has_community
|
gptkb:scientific_community
academic community
Nuprl user community
|
|
gptkbp:has_documentation
|
tutorials
user manual
technical reports
|
|
gptkbp:has_feature
|
proof checking
proof automation
proof development environment
proof visualization
|
|
gptkbp:has_user_interface
|
gptkb:user_interface
|
|
gptkbp:has_version
|
gptkb:Nuprl_6
gptkb:Nuprl_8
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Nuprl 7
|
|
gptkbp:includes
|
gptkb:political_theory
|
|
gptkbp:is_available_on
|
gptkb:Source_Forge
gptkb:Git_Hub
|
|
gptkbp:is_based_on
|
gptkb:political_theory
|
|
gptkbp:is_compatible_with
|
gptkb:CORBA
gptkb:Agda
gptkb:Isabelle
|
|
gptkbp:is_influenced_by
|
category theory
lambda calculus
constructive logic
|
|
gptkbp:is_part_of
|
formal verification tools
proof assistants
Nuprl system
|
|
gptkbp:is_related_to
|
gptkb:Logic
mathematical logic
program verification
type systems
computational logic
|
|
gptkbp:is_supported_by
|
gptkb:Cornell_University
academic institutions
research grants
|
|
gptkbp:is_used_by
|
gptkb:researchers
|
|
gptkbp:is_used_in
|
gptkb:academic_research
computer science education
formal methods
|
|
gptkbp:license
|
gptkb:MIT
gptkb:BSD
gptkb:GPL
|
|
gptkbp:programming_language
|
gptkb:ML
|
|
gptkbp:provides
|
interactive theorem proving
|
|
gptkbp:runs_through
|
gptkb:Unix
|
|
gptkbp:supports
|
gptkb:constructive_mathematics
proof scripts
|
|
gptkbp:used_for
|
formal verification
|
|
gptkbp:bfsParent
|
gptkb:Nuprl
|
|
gptkbp:bfsLayer
|
7
|