Login / Signup
Automated Theorem Proving for Metamath.
Mario Carneiro
Chad E. Brown
Josef Urban
Published in:
ITP (2023)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
first order logic
inference rules
artificial intelligence
machine learning
training data
high level
fuzzy sets
fuzzy logic
semi supervised