| http://www.w3.org/ns/prov#value | - del did not intimate, and which haven?t been> > perceived to have been necessary for over half a century?>> No, whether or not called 'multi-sorted' (actually more sorts than> just two), Godel mentions EXPLICITLY in his paper that he is using (in> what we call his 'meta-language') different kinds of variables for> different kinds of objects.>> MoeBleeWe have varaibles that range over numbers, and v
|
