<http://dbpedia.org/resource/TK_Solver>	<http://xmlns.com/foaf/0.1/homepage>	<http://www.uts.com/> .
<http://dbpedia.org/resource/TK_Solver>	<http://dbpedia.org/ontology/developer>	<http://dbpedia.org/resource/Software_Arts> .
<http://dbpedia.org/resource/TK_Solver>	<http://xmlns.com/foaf/0.1/name>	"TK Solver"@en .
<http://dbpedia.org/resource/TK_Solver>	<http://dbpedia.org/ontology/latestReleaseVersion>	"5.0" .
<http://dbpedia.org/resource/TK_Solver>	<http://www.w3.org/2000/01/rdf-schema#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 .