decisionVersion

P145835 predicate

Indicates that one item is a specific version or revision of a particular decision.

Sample triples (2)

Subject Object
Max-3-SAT is there an assignment satisfying at least k clauses?
Max-SAT asks if there exists an assignment satisfying at least K clauses