The shortest possible length of the longest implicational axiom.

Published in: J. Philos. Log. (1996)

Keyphrases

maximum number
path length
shortest path
modal logic
inference rules
data mining
feature extraction
data structure
lower bound
genetic algorithm
information systems
search algorithm
special case
high speed
total length