roleInHerbrandTheorem

P90132
predicate

Indicates that an entity participates in or contributes to the application, formulation, or proof of Herbrand’s theorem.

Try in SPARQL

All labels observed (1)

Label Occurrences
roleInHerbrandTheorem canonical 2

Sample triples (2)

Subject Object
Herbrand disjunction witnesses the unsatisfiability of a first-order formula ⓘ
Herbrand disjunction serves as a propositional counterpart of a first-order formula ⓘ