SHMARQL

reverse mathematics

<http://www.wikidata.org/entity/Q2005236>

Branch of mathematical logic
rdfs:label
"reverse mathematics"@en
skos:altLabel
"reverse math"@en
schema:description
"Branch of mathematical logic"@en
schema:dateModified "2026-10-26T08:32:00+00:00"^^xsd:dateTime
schema:version 2561010609
wikibase:identifiers 7
wikibase:sitelinks 8
wikibase:statements 10
p:P10283 wd:statement/Q2005236-EEA8C355-F6CA-400A-9723-71653634356C
p:P1482 wd:statement/Q2005236-d89e059f-446e-2b12-19c1-96b197906a46
p:P31 wd:statement/Q2005236-b62456e4-4716-4993-fbe7-3c980ac1811b
p:P3123 wd:statement/Q2005236-EEFA57D6-C99E-4008-B6FC-46FE22D5396C
p:P3417 wd:statement/Q2005236-646A7418-1F2A-4C66-A53C-241A524249FF
p:P361 wd:statement/Q2005236-d101f1a8-4b3c-06ed-c525-f47187a2a5db
p:P3827 wd:statement/Q2005236-E99F73D5-1B32-4BFE-B370-FFC49CEB04BE
p:P4215 wd:statement/Q2005236-80B8AFEA-5C08-4BC5-9B58-B646F20D9C81
p:P6366 wd:statement/Q2005236-E66EBD75-F53B-4D5F-BF96-05A955398C8B
p:P646 wd:statement/Q2005236-541FAFCA-891D-4676-9384-0987CA9BF6AA
p:direct-normalized/P6366 <https://makg.org/entity/127753061>
wdt:P10283 "C127753061"
wdt:P1482 <https://mathoverflow.net/tags/reverse-math>
wdt:P31 branch of mathematics
wdt:P3123 "reverse-mathematics"
wdt:P3417 "Reverse-Mathematics"
wdt:P361 mathematical logic
wdt:P3827 "reverse-mathematics"
wdt:P4215 "reverse mathematics"
wdt:P6366 "127753061"
wdt:P646 "/m/01w5v1"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata