Random triples
Subject | Object |
---|---|
gptkb:Schubert_problem | How many geometric figures satisfy given incidence conditions? |
gptkb:reverse_mathematics | Which axioms are needed to prove a given theorem? |
Subject | Object |
---|---|
gptkb:Schubert_problem | How many geometric figures satisfy given incidence conditions? |
gptkb:reverse_mathematics | Which axioms are needed to prove a given theorem? |