<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Reverse mathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode7authoritiessubjectssh2005002411 . 
_:bnode7authoritiessubjectssh2005002411 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode8authoritiessubjectssh2005002411 . 
_:bnode7authoritiessubjectssh2005002411 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode8authoritiessubjectssh2005002411 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode8authoritiessubjectssh2005002411 <http://www.loc.gov/mads/rdf/v1#elementValue> "Reverse mathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.loc.gov/mads/rdf/v1#hasBroaderAuthority> <http://id.loc.gov/authorities/subjects/sh85078115> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.loc.gov/mads/rdf/v1#classification> "QA9.25-QA9.37" . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/subjects/collection_LCSHAuthorizedHeadings> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/subjects> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/subjects/collection_LCSH_General> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.w3.org/2002/07/owl#sameAs> <info:lc/authorities/sh2005002411> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.w3.org/2002/07/owl#sameAs> <http://id.loc.gov/authorities/sh2005002411#concept> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.loc.gov/mads/rdf/v1#hasSource> _:bnode19authoritiessubjectssh2005002411 . 
_:bnode19authoritiessubjectssh2005002411 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> . 
_:bnode19authoritiessubjectssh2005002411 <http://www.loc.gov/mads/rdf/v1#citation-source> "Work cat.: 2005047606: Reverse mathematics, 2005." . 
_:bnode19authoritiessubjectssh2005002411 <http://www.loc.gov/mads/rdf/v1#citation-status> "found" . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.loc.gov/mads/rdf/v1#hasSource> _:bnode25authoritiessubjectssh2005002411 . 
_:bnode25authoritiessubjectssh2005002411 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> . 
_:bnode25authoritiessubjectssh2005002411 <http://www.loc.gov/mads/rdf/v1#citation-source> "Wikipedia, the free encyclopedia, 2005" . 
_:bnode25authoritiessubjectssh2005002411 <http://www.loc.gov/mads/rdf/v1#citation-note> "(Reverse mathematics is a branch of mathematics which could briefly be described as going back from the theorems to the axioms rather than the usual way from the axioms to the theorems. A little more precisely, it tries to assess the logical strength of a whole body of ususal mathematical results by determining exactly which axioms are necessary and sufficient to prove them.)"@en . 
_:bnode25authoritiessubjectssh2005002411 <http://www.loc.gov/mads/rdf/v1#citation-status> "found" . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.loc.gov/mads/rdf/v1#hasSource> _:bnode33authoritiessubjectssh2005002411 . 
_:bnode33authoritiessubjectssh2005002411 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> . 
_:bnode33authoritiessubjectssh2005002411 <http://www.loc.gov/mads/rdf/v1#citation-source> "AMS Mathematics subject classification via WWW, Apr. 14, 2005" . 
_:bnode33authoritiessubjectssh2005002411 <http://www.loc.gov/mads/rdf/v1#citation-note> "(03B30 under 03BXX General logic: Foundations of classical theories (including reverse mathematics))"@en . 
_:bnode33authoritiessubjectssh2005002411 <http://www.loc.gov/mads/rdf/v1#citation-status> "found" . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:bnode41authoritiessubjectssh2005002411 . 
_:bnode41authoritiessubjectssh2005002411 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> . 
_:bnode41authoritiessubjectssh2005002411 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "2005-05-18T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode41authoritiessubjectssh2005002411 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "new"^^<http://www.w3.org/2001/XMLSchema#string> . 
_:bnode41authoritiessubjectssh2005002411 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> . 
_:bnode41authoritiessubjectssh2005002411 <http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging> <http://id.loc.gov/vocabulary/iso639-2/eng> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:bnode49authoritiessubjectssh2005002411 . 
_:bnode49authoritiessubjectssh2005002411 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> . 
_:bnode49authoritiessubjectssh2005002411 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "2005-05-18T11:22:48"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode49authoritiessubjectssh2005002411 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "revised"^^<http://www.w3.org/2001/XMLSchema#string> . 
_:bnode49authoritiessubjectssh2005002411 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> . 
_:bnode49authoritiessubjectssh2005002411 <http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging> <http://id.loc.gov/vocabulary/iso639-2/eng> .