description
Logiciel scientifique
@fr
Oprogramowanie naukowe
@pl
Scientific software
@en
Wissenschaftliche Software
@de
name
TPTP
@de
TPTP
@en
TPTP
@fr
TPTP
@pl
type
label
TPTP
@de
TPTP
@en
TPTP
@fr
TPTP
@pl
altLabel
Thousands of Problems for Theorem Prover
@de
Thousands of Problems for Theorem Prover
@en
Thousands of Problems for Theorem Prover
@fr
Thousands of Problems for Theorem Prover
@pl
prefLabel
TPTP
@de
TPTP
@en
TPTP
@fr
TPTP
@pl