| dbo:description
|
- linguagem formal (pt)
- formal language (en)
- llenguatge formal (ca)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdfs:label
|
- Automath (en)
- Automath (fr)
- Automath (nl)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:influencedBy
of | |
| is dbo:knownFor
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:influencedBy
of | |
| is dbp:knownFor
of | |
| is foaf:primaryTopic
of | |
