About: TK Solver

An Entity of Type: software, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

TK Solver (originally TK!Solver) is a mathematical modeling and problem solving software system based on a declarative, rule-based language, commercialized by Universal Technical Systems, Inc.

Property Value
dbo:abstract
  • TK Solver (originally TK!Solver) is a mathematical modeling and problem solving software system based on a declarative, rule-based language, commercialized by Universal Technical Systems, Inc. (en)
dbo:developer
dbo:latestReleaseVersion
  • 6.0
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1345219 (xsd:integer)
dbo:wikiPageLength
  • 12354 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1109297450 (xsd:integer)
dbo:wikiPageWikiLink
dbp:developer
  • Software Arts; Universal Technical Systems (en)
dbp:genre
  • Mathematics/engineering (en)
dbp:latestReleaseVersion
  • 6 (xsd:integer)
dbp:name
  • TK Solver (en)
dbp:operatingSystem
  • Windows (en)
dbp:website
dbp:wikiPageUsesTemplate
dbp:wordnet_type
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • TK Solver (originally TK!Solver) is a mathematical modeling and problem solving software system based on a declarative, rule-based language, commercialized by Universal Technical Systems, Inc. (en)
rdfs:label
  • TK Solver (en)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • TK Solver (en)
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License