Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL.
Simon FosterBurkhart WolffPublished in: CoRR (2023)
Keyphrases
- automated reasoning
- theorem prover
- theorem proving
- reasoning systems
- natural deduction
- decision procedures
- reasoning tasks
- inference rules
- first order logic
- automated verification
- knowledge representation and reasoning
- higher order logic
- propositional satisfiability
- general purpose
- software engineering
- search algorithm
- neural network