Triple

T21763293
Position Surface form Disambiguated ID Type / Status
Subject Max-3-SAT E537214 entity
Predicate hasAlternativeObjectiveFunction P116644 FINISHED
Object fraction of satisfied clauses LITERAL FINISHED

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69e0c46f5d1c8190bf830409e98464e5 elicitation completed
NER batch_69f031a711dc8190a786c9849dc344e8 ner completed
PD batch_69e6be6299988190a34c98fa76d94700 pd completed
Created at: April 16, 2026, 6:51 p.m.