A cumulative hierarchy of predicates.

Harvey Friedman

Published in: Math. Log. Q. (1975)

Keyphrases

user defined
hierarchical structure
neural network
artificial intelligence
database
real world
information systems
data model
co occurrence
tree structure
lower level