_parameters revision abdc8c3bcf5b761e9bebf51e6ba2bce659d29512
{
"reasonerConfiguration": {
"timeLimit": 10
"reasoner": "SPASS"
},
"premiseSelection": {
"type": "manual",
"premises": ["premiseFoo", "premiseBar"]
},
// or:
"premiseSelection": {
"type": "SInE",
"depthLimit": 0,
"tolerance": 1.0,
"axiomNumberLimit": 500
}
}