SHMARQL

computational logic

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

use of logic to perform or reason about computation
rdfs:label
"computational logic"@en
schema:description
"use of logic to perform or reason about computation"@en
schema:dateModified "2022-10-10T00:00:55+00:00"^^xsd:dateTime
schema:version 1747079903
wikibase:identifiers 5
wikibase:sitelinks 6
wikibase:statements 8
p:P10283 wd:statement/Q5157327-DFBF7830-1B29-47A1-9123-278F0E2B15B0
p:P279 wd:statement/Q5157327-644c7732-491e-a63b-6f6f-f226f8bccca8
wd:statement/Q5157327-8919bd4f-4102-d118-d806-d7487b3204bb
p:P3417 wd:statement/Q5157327-6E52625A-1E0F-4A75-8880-58B6F60392ED
p:P460 wd:statement/Q5157327-81b3d75b-4553-5494-6dc8-6c04a1e916af
p:P5922 wd:statement/Q5157327-A23B1190-B36C-4CA1-A02F-97E9E4A6A269
p:P6366 wd:statement/Q5157327-8F58CAFE-DEB4-4258-8941-02370BDAA36F
p:P646 wd:statement/Q5157327-0358F211-0510-444D-B87F-781FFEED5134
p:direct-normalized/P5922 <http://purl.org/au-research/vocabulary/anzsrc-for/2008/080203>
p:direct-normalized/P6366 <https://makg.org/entity/124047733>
wdt:P10283 "C124047733"
wdt:P279 automated reasoning
logic
wdt:P3417 "Computational-Logic"
wdt:P460 logic in computer science
wdt:P5922 "080203"
wdt:P6366 "124047733"
wdt:P646 "/m/0jwywcy"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata