Remove unused method initialize_axioms.

Add some hour-timeouts.

Revert "Only allow timeouts less than 60 seconds." This reverts commit 3ad9bc0e5e7c331f194e616584d3c98d2531ff24.

Only allow timeouts less than 60 seconds. Hets closes the HTTP connections after 60 seconds, so we can't allow timeouts that are greater than or equal to 60 seconds.

Validate axiom selection.

Code style: limit to 80 characters.

Make axiom_selection a method.

Select Axioms when proving with SInE.

Create SineAxiomSelection objects for proving.

Switch scopes on where/find.

Decouple ProofAttemptConfiguration from Ontology Now that there is only one ProofAttemptConfiguration per ProofAttempt, we can remove this association. The numbering can be dropped as well. Next, the loc/id and routes must be adjusted because it is now associated primarily with the ProofAttempt.

Use ProofExecution instead of CollectiveProofAttempt This allows us to run many proofs in parallel and simplifies the Proof class.

Create AxiomSelection objects.

Fix axiom selection There was a wrong "@" (there is no instance variable @axiom_ids). Only non-imported axioms were considered, but all need to be considered.

Refactor Proof.

Allow to select axioms.

Make a proof attempt retriable.

Comment the perform/perform_async switch.

Add locid and number to ProofAttemptConfiguration.

Seed proofs In the seeds, proving has to be done synchronously. Before, the Proof class only supported asynchronous proving.

move remaining fake records into app/fake_records.