Random triples
| Subject | Object |
|---|---|
| gptkb:P_vs_PSPACE | P is a strict subset of PSPACE |
| gptkb:Robbins_problem | all Robbins algebras are Boolean algebras |
| gptkb:P_vs_PSPACE | P equals PSPACE |
| gptkb:bounded_Burnside_problem | a finitely generated group of bounded exponent must be finite |
| gptkb:P-NP-Problem | P equals NP |
| gptkb:Tarski's_high_school_algebra_problem | the set of identities true in all real numbers and provable from the axioms of high school algebra is complete |