About: http://webisa.webdatacommons.org/45261964

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	Notre Dame Journal of Formal Logic 53 (3):413-428.score: 3.0We expand the notion of resplendency to theories of the kind T + p, where T is a fi rst-order theory and p expresses that the type p is omitted.
http://www.w3.org/ns/prov#wasQuotedFrom	philpapers.org