A Syntax for Connection Proofs.

Jens Otten Sean B. Holden

Published in: AReCCa@TABLEAUX (2023)

Keyphrases

theorem proving
theorem prover
natural language
syntactic semantic
real world
first order logic
mathematical proofs
formal proofs
formal proof
decision procedures
operational semantics
database
data structure
three dimensional
artificial intelligence
neural network
data sets
real time