SHMARQL

formalism

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

view that statements of logic can be considered to be statements about the consequences of certain string manipulation rules
rdfs:label
"formalism"@en
skos:altLabel
"mathematical formalism"@en
schema:description
"view that statements of logic can be considered to be statements about the consequences of certain string manipulation rules"@en
schema:dateModified "2026-09-30T10:27:16+00:00"^^xsd:dateTime
schema:version 2551270624
wikibase:identifiers 6
wikibase:sitelinks 22
wikibase:statements 10
p:P12385 wd:statement/Q1433067-b370def5-65b6-45a4-9262-089a2f47f20a
p:P1296 wd:statement/Q1433067-BFA1E4B4-CB38-42FA-8FCC-51574A791048
p:P1417 wd:statement/Q1433067-C225C5A2-8BD1-4275-AE39-BE6B2ADE036E
p:P170 wd:statement/Q1433067-4f95cf5a-4420-0195-faf7-d42b20c3abd7
p:P2579 wd:statement/Q1433067-B9789FC7-7531-4863-900F-2887BD05E227
p:P31 wd:statement/Q1433067-216b1c26-421e-b9b9-e282-20e6e8d4d1f9
p:P3123 wd:statement/Q1433067-D8A4A596-07C7-4E4D-B7E1-DA0FF015A500
p:P6366 wd:statement/Q1433067-04459C04-48C6-4C7A-AEBA-A9226E1429C2
p:P646 wd:statement/Q1433067-73AA0EBE-536B-409C-8D66-E04F9B48D14F
p:P910 wd:statement/Q1433067-60105233-1b8c-40e9-9fb3-c960c73a02de
p:direct-normalized/P6366 <https://makg.org/entity/135001445>
wdt:P12385 "formalisme-1"
wdt:P1296 "0184547"
wdt:P1417 "topic/formalism-philosophy-of-mathematics"
wdt:P170 David Hilbert
wdt:P2579 philosophy of mathematics
wdt:P31 philosophical theory
wdt:P3123 "formalism-mathematics"
wdt:P6366 "135001445"
wdt:P646 "/m/05qb95d"
wdt:P910 Category:Formalism (deductive)
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata