Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A C H L R S T V

A
automated reasoning systems	Capability Discovery for Automated Reasoning Systems
Automated Theorem Proving	Going Polymorphic - TH1 Reasoning for Leo-III Set of Support for Theory Reasoning
axiom selection	Towards an Abstraction-Refinement Framework for Reasoning with Large Theories
C
communication protocol	Capability Discovery for Automated Reasoning Systems
H
higher-order logic	Going Polymorphic - TH1 Reasoning for Leo-III
L
large theories	Towards an Abstraction-Refinement Framework for Reasoning with Large Theories
R
Rank-1 Polymorphism	Going Polymorphic - TH1 Reasoning for Leo-III
S
set of support	Set of Support for Theory Reasoning
T
Theorem Proving	Capability Discovery for Automated Reasoning Systems Towards an Abstraction-Refinement Framework for Reasoning with Large Theories
theory reasoning	Set of Support for Theory Reasoning
V
vampire	Set of Support for Theory Reasoning