Triple

T6316949

Position	Surface form	Disambiguated ID	Type / Status
Subject	Richard Lipton	`E141639`	entity
Predicate	knownFor	`P22`	FINISHED
Object	Lipton–Tarjan separator theorem The Lipton–Tarjan separator theorem is a fundamental result in graph theory that shows any planar graph can be efficiently divided into roughly equal parts by removing only a relatively small set of vertices, enabling faster algorithms for many computational problems.	`E583430`	NE FINISHED

Provenance (5 batches)

Stage	Batch ID	Job type	Status
creating	`batch_69c008d13b8c8190be47d896eb735605`	elicitation	completed
NER	`batch_69c064c25530819080b29e0029175c00`	ner	completed
NED1	`batch_69c5e47ecea08190828af72d30d69a8c`	ned_source_triple	completed
NED2	`batch_69c5e723fbd08190b41d3089e4af117e`	ned_description	completed
NEDg	`batch_69c5e65cb59c8190a6c43dfcf3da7334`	nedg	completed

Created at: March 22, 2026, 4:29 p.m.