theorem (900B)
1 # Theorem 2 3 A [result] in [mathematics], recognized as challenging to prove 4 5 - [Abiteboul_Vianu_theorem] 6 - [Brook's_theorem] 7 - [Buchi's_theorem] 8 - [Chen's_theorem] 9 - [Context_free_grammar_pushdown_automaton_equivalence] 10 - [Courcelle_theorem] 11 - [Eggan's_theorem] 12 - [Four_color_theorem] 13 - [Fine_Wilf_theorem] 14 - [fpras_bpp] 15 - [friendship_theorem] 16 - [Goedel's_incompleteness_theorem] 17 - [Grotzsch's_theorem] 18 - [Hall's_theorem] 19 - [Immerman_Szelepcsenyi_theorem] 20 - [Immerman_Vardi_theorem] 21 - [Koenig's_theorem] 22 - [Ladner's_theorem] 23 - [Mantel's_theorem] 24 - [Menger's_theorem] 25 - [Parikh's_theorem] 26 - [Prime_number_theorem] 27 - [Ramsey_theorem] 28 - [Roths_theorem] 29 - [Savitch's_theorem] 30 - [Schnyder's_theorem] 31 - [Sipser_lautemann_theorem] 32 - [Szemeredi's_theorem] 33 - [Time_hierarchy_theorem] 34 - [Turan_theorem] 35 - [Wiles_theorem] 36 37 Up: [mathematics] 38 39 See also: [automated_theorem_proving], [theoremkb] 40 41 Aliases: theorems