The MPTP $100 Challenges
The MPTP $100 Challenges are sets of classical first-order reasoning problems, expressed in the TpTP language, to be proved by fully automated reasoning systems, within specified reasonable resource constraints. The challenge problems are based on the Mizar Mathematical Library, see http://www.cs.miami.edu/~tptp/MPTPChallenge/ for details, and also MpTPChallengeFAQ. -- JosefUrban - 10 Nov 2006| WebForm | |
|---|---|
| TopicClassification | Select one... |
| ProjectGroup? | |
| ImplementationDate? | N/A |
Edit | Attach | Print version | History: r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r2 - 2006-11-11 - 05:40:38 - JosefUrban
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback