Sipser–Lautemann theorem

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:concernsClass gptkb:BPP
polynomial hierarchy
gptkbp:field theoretical computer science
https://www.w3.org/2000/01/rdf-schema#label Sipser–Lautemann theorem
gptkbp:namedAfter gptkb:Michael_Sipser
gptkb:Clemens_Lautemann
gptkbp:provenBy gptkb:Michael_Sipser
gptkb:Clemens_Lautemann
gptkbp:publishedIn Theoretical Computer Science
gptkbp:state BPP is contained in the second level of the polynomial-time hierarchy (Σ2 ∩ Π2)
gptkbp:yearProved 1983
gptkbp:bfsParent gptkb:Michael_Sipser
gptkbp:bfsLayer 4