A Proofless Proof of the Barwise Compactness Theorem.

Published in: J. Symb. Log. (1988)

Keyphrases

information flow
interactive theorem proving
social networks
database systems
communication networks
von neumann
information retrieval
knowledge base
theorem prover
queue length
proof planning
heavy traffic limit