PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Since one companion of any natural is its successor, and every natural has a successor (and all naturals have successors) for every natural there is a line which contains it but not its successor.Thus WM is WRONG AGAIN AS USUAL!!!> > > Note that WM violently dislikes the von Neumann naturals because> > they are so useful in poking holes in WM's phony arguments.> > I dislike only mathelogical d
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org