| http://www.w3.org/ns/prov#value | - However, I recently realised that there is a special case of the compact extension step ??? namely that of finite extensions ??? which avoids almost all of these technical issues while still capturing the essence of the argument (and in particular, the key idea of using van der Waerden???s theorem).
|
