theorem (919B)
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 - [Codd's_theorem] 10 - [Context_free_grammar_pushdown_automaton_equivalence] 11 - [Courcelle_theorem] 12 - [Eggan's_theorem] 13 - [Four_color_theorem] 14 - [Fine_Wilf_theorem] 15 - [fpras_bpp] 16 - [friendship_theorem] 17 - [Goedel's_incompleteness_theorem] 18 - [Grotzsch's_theorem] 19 - [Hall's_theorem] 20 - [Immerman_Szelepcsenyi_theorem] 21 - [Immerman_Vardi_theorem] 22 - [Koenig's_theorem] 23 - [Ladner's_theorem] 24 - [Mantel's_theorem] 25 - [Menger's_theorem] 26 - [Parikh's_theorem] 27 - [Prime_number_theorem] 28 - [Ramsey_theorem] 29 - [Roths_theorem] 30 - [Savitch's_theorem] 31 - [Schnyder's_theorem] 32 - [Sipser_lautemann_theorem] 33 - [Szemeredi's_theorem] 34 - [Time_hierarchy_theorem] 35 - [Turan_theorem] 36 - [Wiles_theorem] 37 38 Up: [mathematics] 39 40 See also: [automated_theorem_proving], [theoremkb] 41 42 Aliases: theorems