|
rdfs:label
|
"Automath"@ca
"Automath"@en
"Automath"@fr
"Automath"@nl
"Automath"@pt
"Automath"@pt-br
"အော်တိုမက်သ်"@my
|
|
schema:description
|
"formal language"@en
"linguagem formal"@pt
"linguagem formal"@pt-br
"llenguatge formal"@ca
|
|
schema:dateModified
|
"2026-09-06T17:42:37+00:00"^^xsd:dateTime
|
|
schema:version
|
2541224504
|
|
wikibase:identifiers
|
6
|
|
wikibase:sitelinks
|
3
|
|
wikibase:statements
|
9
|
|
p:P13591
|
wd:statement/Q2872609-90D5A64D-2342-4ED9-A199-12C9143B3B7F
|
|
p:P244
|
wd:statement/Q2872609-44C25D28-0307-4CF1-9F8E-998757C7D1DF
|
|
p:P31
|
wd:statement/Q2872609-7df68b46-4e5d-ff4e-b91e-d9cfa7a42f8e
|
|
wd:statement/Q2872609-9f374fea-469e-487b-6f1a-194b95255478
|
|
p:P4215
|
wd:statement/Q2872609-B6CF01FB-2EBA-4BDA-92B1-9A44B2E9A38D
|
|
p:P61
|
wd:statement/Q2872609-21eea274-4d4e-9a23-5eb1-75df6d63e8d4
|
|
p:P6366
|
wd:statement/Q2872609-C8D54D3D-E3FA-435C-B8ED-1B3C8F308DE6
|
|
p:P646
|
wd:statement/Q2872609-CA5639C0-86CA-43FA-9F82-7622E5971E30
|
|
p:P8189
|
wd:statement/Q2872609-48307AE9-9F30-4A7E-A0B6-C3EDD24E544F
|
|
p:direct-normalized/P244
|
<http://id.loc.gov/authorities/names/sh85010082>
|
|
p:direct-normalized/P6366
|
<https://makg.org/entity/2781113688>
|
|
wdt:P13591
|
"concept/d3870e82-1321-46df-b8d6-8d53742a6d41"
|
|
wdt:P244
|
"sh85010082"
|
|
wdt:P31
|
formal language
|
|
mathematical concept
|
|
wdt:P4215
|
"Automath"
|
|
wdt:P61
|
Nicolaas Govert de Bruijn
|
|
wdt:P6366
|
"2781113688"
|
|
wdt:P646
|
"/m/0276wnf"
|
|
wdt:P8189
|
"987007295726205171"
|