tera.ai

Knowledge Graph

Graph explorer

Search resolved entities, walk their edges, and read the sentence behind every one.

Entities25 of 207,987

All entities

Entity

stoquastic Merlin-Arthur proof system

technology2 mentionslast seen Oct 15, 2026

A quantum verification system restricted to a classical gate set with entrywise non-negative acceptance operators and non-negative optimal witnesses.

Relationships 6

Sources

Select a relationship to read the sources behind it.