Index A | B | C | D | E | F | G | I | M | N | O | P | R | S | T | V A All (class in tensor_theorem_prover) And (class in tensor_theorem_prover) antecedent (tensor_theorem_prover.Implies attribute) args (tensor_theorem_prover.And attribute) (tensor_theorem_prover.Or attribute) Atom (class in tensor_theorem_prover) attempted_resolutions (tensor_theorem_prover.ProofStats attribute) B body (tensor_theorem_prover.All attribute) (tensor_theorem_prover.Exists attribute) (tensor_theorem_prover.Not attribute) C consequent (tensor_theorem_prover.Implies attribute) Constant (class in tensor_theorem_prover) cosine_similarity() (in module tensor_theorem_prover) D depth (tensor_theorem_prover.Proof attribute) (tensor_theorem_prover.ProofStep attribute) discarded_proofs (tensor_theorem_prover.ProofStats attribute) E embedding (tensor_theorem_prover.Constant attribute) (tensor_theorem_prover.Predicate attribute) Exists (class in tensor_theorem_prover) extend_knowledge() (tensor_theorem_prover.ResolutionProver method) F from_rust() (tensor_theorem_prover.Atom class method) (tensor_theorem_prover.Constant class method) (tensor_theorem_prover.Function class method) (tensor_theorem_prover.Predicate class method) (tensor_theorem_prover.Proof class method) (tensor_theorem_prover.ProofStats class method) (tensor_theorem_prover.ProofStep class method) (tensor_theorem_prover.Variable class method) Function (class in tensor_theorem_prover) G goal (tensor_theorem_prover.Proof attribute) I Implies (class in tensor_theorem_prover) M max_depth_seen (tensor_theorem_prover.ProofStats attribute) max_resolvent_width_seen (tensor_theorem_prover.ProofStats attribute) max_similarity() (in module tensor_theorem_prover) N name (tensor_theorem_prover.Variable attribute) Not (class in tensor_theorem_prover) O Or (class in tensor_theorem_prover) P Predicate (class in tensor_theorem_prover) predicate (tensor_theorem_prover.Atom attribute) Proof (class in tensor_theorem_prover) proof_steps (tensor_theorem_prover.Proof attribute) ProofStats (class in tensor_theorem_prover) ProofStep (class in tensor_theorem_prover) prove() (tensor_theorem_prover.ResolutionProver method) prove_all() (tensor_theorem_prover.ResolutionProver method) prove_all_with_stats() (tensor_theorem_prover.ResolutionProver method) R reset() (tensor_theorem_prover.ResolutionProver method) ResolutionProver (class in tensor_theorem_prover) resolvent (tensor_theorem_prover.ProofStep attribute) running_similarity (tensor_theorem_prover.ProofStep attribute) S similarity (tensor_theorem_prover.Proof attribute) (tensor_theorem_prover.ProofStep attribute) source (tensor_theorem_prover.ProofStep attribute) source_substitutions (tensor_theorem_prover.ProofStep attribute) source_unification_literal (tensor_theorem_prover.ProofStep attribute) stats (tensor_theorem_prover.Proof attribute) substitutions (tensor_theorem_prover.Proof attribute) successful_resolutions (tensor_theorem_prover.ProofStats attribute) symbol (tensor_theorem_prover.Constant attribute) (tensor_theorem_prover.Function attribute) (tensor_theorem_prover.Predicate attribute) symbol_compare() (in module tensor_theorem_prover) T target (tensor_theorem_prover.ProofStep attribute) target_substitutions (tensor_theorem_prover.ProofStep attribute) target_unification_literal (tensor_theorem_prover.ProofStep attribute) terms (tensor_theorem_prover.Atom attribute) to_rust() (tensor_theorem_prover.Atom method) (tensor_theorem_prover.Constant method) (tensor_theorem_prover.Function method) (tensor_theorem_prover.Predicate method) (tensor_theorem_prover.Variable method) V Variable (class in tensor_theorem_prover) variable (tensor_theorem_prover.All attribute) (tensor_theorem_prover.Exists attribute)