Problem set for first order theorem provers in the TPTP format
Research output: Non-textual form › Data set/Database
Authors
Colleges, School and Institutes
Abstract
In http://afp.sourceforge.net/entries/Vickrey_Clarke_Groves.shtml we
describe an Isabelle formalization of combinatorial auctions. In this
directory you find one axiom file and 17 problem files for first order
theorem provers in TPTP format, which are first order translations of
some of the theorems in the Isabelle formalization (labels preserved).
describe an Isabelle formalization of combinatorial auctions. In this
directory you find one axiom file and 17 problem files for first order
theorem provers in TPTP format, which are first order translations of
some of the theorems in the Isabelle formalization (labels preserved).
Details
| Original language | English |
|---|---|
| Media of output | Online |
| Size | 44k |
| Publication status | Published - 16 Jun 2015 |