Cross Reference: /hets/_parameters

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