Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Jape_(software)> ?p ?o }
Showing triples 1 to 37 of
37
with 100 triples per page.
- Jape_(software) abstract "Jape is a configurable, graphical proof assistant, originally developed at the University of Oxford. It allows user to define a logic, decide how to view proofs, and much more. It works with variants of the sequent calculus and natural deduction.It is claimed that Jape is the most popular program for \"computer-assisted logic teaching\" that involves exercises in developing proofs in mathematical logic.The program is available for the Mac, Unix, and Windows operating systems. It is written in the Java programming language and released under the GNU GPL.".
- Jape_(software) wikiPageExternalLink japeforall.org.uk.
- Jape_(software) wikiPageExternalLink jape.
- Jape_(software) wikiPageID "4563896".
- Jape_(software) wikiPageLength "1400".
- Jape_(software) wikiPageOutDegree "14".
- Jape_(software) wikiPageRevisionID "542003943".
- Jape_(software) wikiPageWikiLink Category:Free_theorem_provers.
- Jape_(software) wikiPageWikiLink Category:Proof_assistants.
- Jape_(software) wikiPageWikiLink GNU_General_Public_License.
- Jape_(software) wikiPageWikiLink Java_(programming_language).
- Jape_(software) wikiPageWikiLink Logic.
- Jape_(software) wikiPageWikiLink Macintosh.
- Jape_(software) wikiPageWikiLink Mathematical_logic.
- Jape_(software) wikiPageWikiLink Microsoft_Windows.
- Jape_(software) wikiPageWikiLink Natural_deduction.
- Jape_(software) wikiPageWikiLink Proof_assistant.
- Jape_(software) wikiPageWikiLink Sequent_calculus.
- Jape_(software) wikiPageWikiLink SourceForge.
- Jape_(software) wikiPageWikiLink University_of_Oxford.
- Jape_(software) wikiPageWikiLink Unix.
- Jape_(software) wikiPageWikiLinkText "Jape (software)".
- Jape_(software) wikiPageWikiLinkText "Jape".
- Jape_(software) wikiPageUsesTemplate Template:Compu-stub.
- Jape_(software) subject Category:Free_theorem_provers.
- Jape_(software) subject Category:Proof_assistants.
- Jape_(software) hypernym Assistant.
- Jape_(software) type Person.
- Jape_(software) type Assistant.
- Jape_(software) comment "Jape is a configurable, graphical proof assistant, originally developed at the University of Oxford. It allows user to define a logic, decide how to view proofs, and much more. It works with variants of the sequent calculus and natural deduction.It is claimed that Jape is the most popular program for \"computer-assisted logic teaching\" that involves exercises in developing proofs in mathematical logic.The program is available for the Mac, Unix, and Windows operating systems.".
- Jape_(software) label "Jape (software)".
- Jape_(software) sameAs Q6159267.
- Jape_(software) sameAs m.0c92gb.
- Jape_(software) sameAs Q6159267.
- Jape_(software) wasDerivedFrom Jape_(software)?oldid=542003943.
- Jape_(software) homepage japeforall.org.uk.
- Jape_(software) isPrimaryTopicOf Jape_(software).