PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • We state those restrictions and give examples of logics that satisfy and fail the respective game-based notions of locality. (shrink)Science, Logic, and Mathematics Direct download (3 more) My bibliography Export citation Lauri Hella, Leonid Libkin & Juha Nurmonen (1999).
http://www.w3.org/ns/prov#wasQuotedFrom
  • philpapers.org