@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:Q1433067 rdfs:label "شكلية (فلسفة الرياضيات)"@ar,
        "фармалізм"@be-tarask,
        "formalisme"@ca,
        "formalismus"@cs,
        "Формализм (математика)"@cv,
        "formalisme"@da,
        "Formalismus"@de,
        "formalism"@en,
        "matematika formalismo"@eo,
        "formalismo matemático"@es,
        "فرمالیسم (فلسفه ریاضیات)"@fa,
        "formalismi"@fi,
        "foirmiúlachas"@ga,
        "פורמליזם"@he,
        "Ֆորմալիզմ"@hy,
        "Formalisme (filsafat matematika)"@id,
        "formalismo matematico"@it,
        "形式主義"@ja,
        "morna (pijyske be lo cmaci)"@jbo,
        "형식주의"@ko,
        "formalisme"@nl,
        "formalismo"@pt,
        "формализм"@ru,
        "formalizem"@sl,
        "Формализам (филозофија математике)"@sr,
        "Biçimcilik"@tr,
        "формализм"@tt,
        "формалізм"@uk,
        "表示"@zh ;
    schema1:dateModified "2026-09-30T10:27:16+00:00"^^xsd:dateTime ;
    schema1:description "матэматыка"@be-tarask,
        "matemàtiques"@ca,
        "teorie matematické filozofie"@cs,
        "Schulrichtung in der Philosophie der Mathematik"@de,
        "view that statements of logic can be considered to be statements about the consequences of certain string manipulation rules"@en,
        "teorio de filozofio de matematiko"@eo,
        "数学"@ja,
        "wiskunde"@nl,
        "stališče, da lahko izjave iz logike obravnavamo kot izjave o posledicah določenih pravil za ravnanje z nizi"@sl,
        "matematik"@tr ;
    schema1:version 2551270624 ;
    wikibase:identifiers 6 ;
    wikibase:sitelinks 22 ;
    wikibase:statements 10 ;
    skos:altLabel "mathematical formalism"@en,
        "formalismo matematico"@es,
        "Matemaattinen formalismi"@fi,
        "形式主义"@zh,
        "形式主義"@zh,
        "數學形式"@zh ;
    p:P12385 wds:Q1433067-b370def5-65b6-45a4-9262-089a2f47f20a ;
    p:P1296 wds:Q1433067-BFA1E4B4-CB38-42FA-8FCC-51574A791048 ;
    p:P1417 wds:Q1433067-C225C5A2-8BD1-4275-AE39-BE6B2ADE036E ;
    p:P170 wds:Q1433067-4f95cf5a-4420-0195-faf7-d42b20c3abd7 ;
    p:P2579 wds:Q1433067-B9789FC7-7531-4863-900F-2887BD05E227 ;
    p:P31 wds:Q1433067-216b1c26-421e-b9b9-e282-20e6e8d4d1f9 ;
    p:P3123 wds:Q1433067-D8A4A596-07C7-4E4D-B7E1-DA0FF015A500 ;
    p:P6366 wds:Q1433067-04459C04-48C6-4C7A-AEBA-A9226E1429C2 ;
    p:P646 wds:Q1433067-73AA0EBE-536B-409C-8D66-E04F9B48D14F ;
    p:P910 wds:Q1433067-60105233-1b8c-40e9-9fb3-c960c73a02de ;
    wdtn:P6366 <https://makg.org/entity/135001445> ;
    wdt:P12385 "formalisme-1" ;
    wdt:P1296 "0184547" ;
    wdt:P1417 "topic/formalism-philosophy-of-mathematics" ;
    wdt:P170 wd:Q41585 ;
    wdt:P2579 wd:Q180536 ;
    wdt:P31 wd:Q5389993 ;
    wdt:P3123 "formalism-mathematics" ;
    wdt:P6366 "135001445" ;
    wdt:P646 "/m/05qb95d" ;
    wdt:P910 wd:Q8466143 .