IWIL-2024: Keyword Index

Keyword	Papers
a
Amazon Web Services	Towards StarExec in the Cloud
ATP	Dataset-Specific Strategies for the E Theorem Prover
c
Containerization	Towards StarExec in the Cloud
d
data structures	Shared Terms and Cached Rewriting
e
Eprover	Dataset-Specific Strategies for the E Theorem Prover
f
first-order logic	Shared Terms and Cached Rewriting
h
heuristic	Dataset-Specific Strategies for the E Theorem Prover
i
implementation of logics	Shared Terms and Cached Rewriting
m
merging	Dataset-Specific Strategies for the E Theorem Prover
s
StarExec	Towards StarExec in the Cloud
t
terms	Shared Terms and Cached Rewriting