There are a number of reasons this article might not be here...
The article name was mis-spelled
This article has been removed for one reason or another
The article has been moved to another location, without a redirecting note
The article was never created in the first place
Possible Related Search Results
König's lemma (2280 bytes) 1: ...a theorem of set theory called König's theorem.''
http://www.newwikisite.com/articles/k/ö/König's_lemma.html
König's theorem (1214 bytes) 1: ...a proposition in graph theory called König's lemma.''
http://www.newwikisite.com/articles/k/ö/König's_theorem.html
Mizar system (2963 bytes) 1: ...language, and a library of definitions and proved theorems which can be referred to and used in new article...
3: ...s being maintained at the University of Bialystok, Poland, at the University of Alberta, ...
5: ...al enough so that proofs can automatically be checked. All steps in a proof have to be justified, an...
http://www.newwikisite.com/articles/m/i/Mizar_system.html
Edge coloring (3115 bytes) 3: ...o the problem of partitioning the edge set into ''k'' matchings.
4: ...e assigned a (proper) ''k''-edge-coloring is '''''k''-edge-colorable'''.
http://www.newwikisite.com/articles/e/d/Edge_coloring.html