Disambiguation evidence for Hilbert-style deductive systems via surface form

"Hilbert systems"

Triples (1)

Triples where some other subject referred to this entity as "Hilbert systems".

Negation → formalizedBy →
"Hilbert systems"
ⓘ