Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
theoretical computer science
|
gptkbp:abbreviation |
gptkb:AM
|
gptkbp:characterizedBy |
public-coin interactive proof system
|
gptkbp:contains |
gptkb:IP
NP |
gptkbp:field |
theoretical computer science
|
https://www.w3.org/2000/01/rdf-schema#label |
Arthur–Merlin class
|
gptkbp:introduced |
gptkb:László_Babai
|
gptkbp:introducedIn |
1985
|
gptkbp:namedAfter |
gptkb:Arthur
gptkb:Merlin |
gptkbp:relatedTo |
gptkb:IP
gptkb:BPP NP interactive proof system Merlin–Arthur class |
gptkbp:bfsParent |
gptkb:public-coin_interactive_proof
|
gptkbp:bfsLayer |
6
|