Random triples
Subject | Object |
---|---|
gptkb:Gödel's_ontological_proof | modal logic proof |
gptkb:QMA/poly | quantum proof |
gptkb:Conway's_soldiers | invariant method |
Subject | Object |
---|---|
gptkb:Gödel's_ontological_proof | modal logic proof |
gptkb:QMA/poly | quantum proof |
gptkb:Conway's_soldiers | invariant method |