Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:software
|
| gptkbp:developed_by |
Open Logic, Inc.
|
| gptkbp:has_documentation |
user manuals
|
| gptkbp:has_features |
proof assistants
|
| https://www.w3.org/2000/01/rdf-schema#label |
Open Logic
|
| gptkbp:includes |
tutorials
|
| gptkbp:is_available_on |
gptkb:Git_Hub
|
| gptkbp:is_based_on |
logical reasoning principles
|
| gptkbp:is_compatible_with |
various programming languages
|
| gptkbp:is_designed_for |
gptkb:Logic
|
| gptkbp:is_distributed_by |
gptkb:GNU_General_Public_License
|
| gptkbp:is_integrated_with |
other software tools
|
| gptkbp:is_part_of |
Open Source community
|
| gptkbp:is_recognized_by |
academic institutions
|
| gptkbp:is_used_in |
gptkb:education
|
| gptkbp:is_utilized_by |
gptkb:researchers
|
| gptkbp:offers |
collaborative tools
|
| gptkbp:provides |
logical frameworks
|
| gptkbp:released_in |
gptkb:2008
|
| gptkbp:supports |
multiple logical systems
|
| gptkbp:type |
gptkb:open-source_software
|
| gptkbp:bfsParent |
gptkb:Novell
|
| gptkbp:bfsLayer |
5
|