A New Proof of the Nešetřil-Rödl Theorem.

Dragan Masulovic

Published in: Appl. Categorical Struct. (2018)

Keyphrases

interactive theorem proving
description logics
expressive power
theorem proving
knowledge base
theorem prover
conjunctive queries
heavy traffic limit
database
control system
expert systems
queue length
von neumann
natural deduction
artificial intelligence
geometry theorem proving
neural network