MerlinRole

URI: https://gptkb.org/prop/MerlinRole
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Arthur-Merlin_games computationally unbounded prover
gptkb:Arthur-Merlin_protocol computationally unbounded prover