@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q2005236 rdfs:label "matemàtica inversa"@ca,
        "Reverse Mathematik"@de,
        "reverse mathematics"@en,
        "renversita matematiko"@eo,
        "matemáticas inversas"@es,
        "mathématiques à rebours"@fr,
        "Matematica inversa"@it,
        "逆数学"@ja,
        "Tersine matematik"@tr,
        "逆数学"@zh,
        "逆数学"@zh-hans,
        "逆數學"@zh-hant,
        "逆數學"@zh-hk ;
    schema1:dateModified "2026-10-26T08:32:00+00:00"^^xsd:dateTime ;
    schema1:description "Teilgebiet der Logik"@de,
        "Branch of mathematical logic"@en,
        "studfako de logiko, kiu determinas tiujn aksiomojn, kiuj necesas por pruvi iun teoremon"@eo,
        "Una rama de la lógica matemática y los fundamentos de la matemática"@es,
        "recherche des axiomes minimaux nécessaires à la démonstration d'un théorème connu"@fr ;
    schema1:version 2561010609 ;
    wikibase:identifiers 7 ;
    wikibase:sitelinks 8 ;
    wikibase:statements 10 ;
    skos:altLabel "reverse math"@en,
        "Mathématiques renversées"@fr ;
    p:P10283 wds:Q2005236-EEA8C355-F6CA-400A-9723-71653634356C ;
    p:P1482 wds:Q2005236-d89e059f-446e-2b12-19c1-96b197906a46 ;
    p:P31 wds:Q2005236-b62456e4-4716-4993-fbe7-3c980ac1811b ;
    p:P3123 wds:Q2005236-EEFA57D6-C99E-4008-B6FC-46FE22D5396C ;
    p:P3417 wds:Q2005236-646A7418-1F2A-4C66-A53C-241A524249FF ;
    p:P361 wds:Q2005236-d101f1a8-4b3c-06ed-c525-f47187a2a5db ;
    p:P3827 wds:Q2005236-E99F73D5-1B32-4BFE-B370-FFC49CEB04BE ;
    p:P4215 wds:Q2005236-80B8AFEA-5C08-4BC5-9B58-B646F20D9C81 ;
    p:P6366 wds:Q2005236-E66EBD75-F53B-4D5F-BF96-05A955398C8B ;
    p:P646 wds:Q2005236-541FAFCA-891D-4676-9384-0987CA9BF6AA ;
    wdtn:P6366 <https://makg.org/entity/127753061> ;
    wdt:P10283 "C127753061" ;
    wdt:P1482 <https://mathoverflow.net/tags/reverse-math> ;
    wdt:P31 wd:Q1936384 ;
    wdt:P3123 "reverse-mathematics" ;
    wdt:P3417 "Reverse-Mathematics" ;
    wdt:P361 wd:Q1166618 ;
    wdt:P3827 "reverse-mathematics" ;
    wdt:P4215 "reverse mathematics" ;
    wdt:P6366 "127753061" ;
    wdt:P646 "/m/01w5v1" .