ProofAttempt
An attempt to prove a conjecture
Implements
Fields
action (
Action!)
Information about the (to be) performed action
conjecture (
Conjecture!)
The conjecture of interest
generatedAxioms (
[GeneratedAxiom!]!)
Axioms that have been generated during reasoning
id (
Int!)
The ID of this ReasoningAttempt
number (
Int!)
The number of this ReasoningAttempt
proofStatus (
ProofStatus!)
The proof status of this ProofAttempt
reasonerConfiguration (
ReasonerConfiguration!)
The used ReasonerConfiguration
reasonerOutput (
ReasonerOutput)
The output of the Reasoner
timeTaken (
Int)
The time it took to run the reasoner
usedReasoner (
Reasoner!)
The used Reasoner
usedSentences (
[Sentence!]!)
The sentences used by this ProofAttempt