interpretation

assignment of meaning to the symbols of a formal language
rdfs:label
"interpretation"@en
skos:altLabel
"interpretation of a formal language"@en
"semantic interpretation"@en
schema:description
"assignment of meaning to the symbols of a formal language"@en
schema:dateModified "2026-10-02T15:49:42+00:00"^^xsd:dateTime
schema:version 2552208202
wikibase:identifiers 4
wikibase:sitelinks 19
wikibase:statements 12
p:P1417 wd:statement/Q523607-F776C2F0-D84A-467A-8ADE-5505E42BD9F4
p:P1889 wd:statement/Q523607-53a14414-4777-79c1-3737-f46e9457b1a1
p:P2283 wd:statement/Q523607-14520860-41d7-f04c-d074-e65c17e8458b
p:P2579 wd:statement/Q523607-a410397f-45bb-80ce-9b87-48706956b4b2
p:P279 wd:statement/Q523607-5d82c18a-4fb3-23b7-1ed7-5b85171c9f96
p:P2812 wd:statement/Q523607-c2903f74-487b-0ac2-97d4-180cb69b4396
p:P2860 wd:statement/Q523607-100b5d10-4029-9ff3-04d9-0e44e0feba66
p:P31 wd:statement/Q523607-5a530972-435e-6e02-49df-4d263210a013
p:P361 wd:statement/Q523607-d5a0f27d-48f3-0a10-0471-f90e1f01d470
p:P6104 wd:statement/Q523607-54E71B28-D399-4043-9112-D3C4A025FC87
p:P6366 wd:statement/Q523607-2F1F29F0-1300-4A12-ADF5-195F201F2E67
p:P646 wd:statement/Q523607-754BB594-D195-4466-9EA9-B206F5330534
p:direct-normalized/P6366 <https://makg.org/entity/5509825>
wdt:P1417 "topic/interpretation-logic"
wdt:P1889 interpretation
wdt:P2283 formal language
wdt:P2579 semantics of logic
wdt:P279 function
wdt:P2812 "Interpretation"
wdt:P2860 Nave's Topical Bible
wdt:P31 mathematical concept
wdt:P361 logical system
wdt:P6104 WikiProject Mathematics
wdt:P6366 "5509825"
wdt:P646 "/m/03d5xd8"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata