http://dice-fact-check.cs.upb.de:8080/api/checkfact?subject=http://dbpedia.org/resource/Donald_Knuth&object=http://dbpedia.org/resource/TeX&predicate=http://dbpedia.org/ontology/knownFor
{"taskid":"796","filedata":null,"defactoScore":1.0,"complexProofs":[{"website":"https://en.wikipedia.org/wiki/Metafont","trustworthiness":0.9997375461165275,"proofPhrase":"ISBN 0-201-13438-1 Donald Knuth: The Metafontbook, Addison-Wesley 1986. ISBN 0-201-13444-6 . The source code of the book in TeX (and a needed macro) is available online on CTAN."},{"website":"https://en.wikipedia.org/wiki/Metafont","trustworthiness":0.9997375461165275,"proofPhrase":"Metafont was devised by Donald Knuth as a companion to Metafont TeX typesetting system ."},{"website":"https://en.wikipedia.org/wiki/Typesetting","trustworthiness":0.17348700079650137,"proofPhrase":"The TeX system , developed by Donald E. Knuth at the end of the 1970s , is another widespread and powerful automated typesetting system that has set high standards , especially for typesetting mathematics ."},{"website":"https://en.wikipedia.org/wiki/CAT (phototypesetter)","trustworthiness":0.4221384133727766,"proofPhrase":"1979 , TeX software was created by Donald E. Knuth ."},{"website":"https://en.wikipedia.org/wiki/Metafont","trustworthiness":0.9997375461165275,"proofPhrase":"The source code of the book in TeX (and a needed macro) is available online on CTAN. Donald Knuth: The Metafont source code is written in the WEB programming language, and includes very extensive documentation about the algorithms used in Metafont."},{"website":"https://en.wikipedia.org/wiki/FSF Free Software Awards","trustworthiness":0.6733305830580685,"proofPhrase":"The other finalists were Donald Knuth for TeX and METAFONT and John Gilmore for work done at Cygnus Solutions and his contributions to the Free Software Foundation ."},{"website":"https://en.wikipedia.org/wiki/California Institute of Technology","trustworthiness":0.5538500908810332,"proofPhrase":"Donald Knuth -LRB- PhD 1963 -RRB- , the `` father '' of the analysis of algorithms , wrote The Art of Computer Programming and created the TeX computer typesetting system , which is commonly used in the scientific community ."},{"website":"https://en.wikipedia.org/wiki/Markup language","trustworthiness":0.9979792856093719,"proofPhrase":"TeX concentrated on detailed layout of text and font descriptions to typeset mathematical books. This required Knuth to spend considerable time investigating the art of typesetting."},{"website":"https://en.wikipedia.org/wiki/Metafont","trustworthiness":0.9997375461165275,"proofPhrase":"\"Knuth: Computers and Typesetting\". Christophe Grandsir. \"METAFONT Tutorial\". \"CTAN: tex-archive/fonts/utilities/metatype1\"."},{"website":"https://en.wikipedia.org/wiki/Markup language","trustworthiness":0.9979792856093719,"proofPhrase":"Another major publishing standard is TeX , created and refined by Donald Knuth in the 1970s and '80s ."},{"website":"https://en.wikipedia.org/wiki/Harvey Prize","trustworthiness":0.6606578652653435,"proofPhrase":"1995 -- Donald E. Knuth , U.S. -- `` Contributions to theory of computation , software , programming languages , mathematics and typesetting , his pioneering work on analysis of algorithms and attribute grammars , and his development of TEX and METAFONT . ''"},{"website":"https://en.wikipedia.org/wiki/Metafont","trustworthiness":0.9997375461165275,"proofPhrase":"The Metafont system allows fonts to be processed in unusual ways ; in 1982 Knuth showed how The Metafont system could be used to morph fonts , with a serif font slowly transitioning into a sans-serif design over the course of a text ."},{"website":"https://en.wikipedia.org/wiki/Metafont","trustworthiness":0.9997375461165275,"proofPhrase":"pfb outline font immediately suitable for use with dvips, pdftex, acroread (and any many other programs). Created by Peter Szabo. Donald Knuth: Metafont: The Program, Addison-Wesley 1986."},{"website":"https://en.wikipedia.org/wiki/Blackboard bold","trustworthiness":0.7696264212532246,"proofPhrase":"Donald Knuth also prefers boldface to blackboard bold , and consequently did not include blackboard bold in the Computer Modern fonts that Donald Knuth created for the TeX mathematical typesetting system ."},{"website":"https://en.wikipedia.org/wiki/Point (typography)","trustworthiness":0.9893297242242948,"proofPhrase":"Knuth, Donald E. (1990). The TeXbook (17th revised ed.)"},{"website":"https://en.wikipedia.org/wiki/Markup language","trustworthiness":0.9979792856093719,"proofPhrase":"This required Knuth to spend considerable time investigating the art of typesetting. TeX is mainly used in academia, where it is a de facto standard in many scientific disciplines."},{"website":"https://en.wikipedia.org/wiki/Point (typography)","trustworthiness":0.9893297242242948,"proofPhrase":"In modern times this size of the the TeX point , which is 0.35145980 mm has been approximated as exactly 1⁄72 .27 -LRB- 0.01383700013837 -RRB- of the inch by Donald Knuth for the default unit of Donald Knuth TeX computer typesetting system and is thus sometimes known as the TeX point , which is 0.35145980 mm ."}],"subject":"http://dbpedia.org/resource/Donald_Knuth","predicate":"http://dbpedia.org/ontology/knownFor","object":"http://dbpedia.org/resource/TeX","file":null}
-----------------------------
http://dice-fact-check.cs.upb.de:8080/api/checkfact?subject=http://dbpedia.org/resource/Donald_Knuth&object=http://dbpedia.org/resource/MMIX&predicate=http://dbpedia.org/ontology/knownFor
{"taskid":"880","filedata":null,"defactoScore":0.0,"complexProofs":[],"subject":"http://dbpedia.org/resource/Donald_Knuth","predicate":"http://dbpedia.org/ontology/knownFor","object":"http://dbpedia.org/resource/MMIX","file":null}
-----------------------------
http://dice-fact-check.cs.upb.de:8080/api/checkfact?subject=http://dbpedia.org/resource/Donald_Knuth&object=http://dbpedia.org/resource/The_Art_of_Computer_Programming&predicate=http://dbpedia.org/ontology/knownFor
{"taskid":"926","filedata":null,"defactoScore":0.981651376146789,"complexProofs":[{"website":"https://en.wikipedia.org/wiki/Fibonacci number","trustworthiness":0.8474243102330874,"proofPhrase":"Goonatilake , Susantha -LRB- 1998 -RRB- , Toward a Global Science , Indiana University Press , p. 126 , ISBN 978-0-253-33388-9 Singh , Parmanand -LRB- 1985 -RRB- , `` The So-called Fibonacci numbers in ancient and medieval India '' , Historia Mathematica , 12 -LRB- 3 -RRB- : 229 -- 44 , doi :10.1016 / 0315-0860 -LRB- 85 -RRB- 90021-7 Knuth , Donald -LRB- 2006 -RRB- , The Art of Computer Programming , 4 ."},{"website":"https://en.wikipedia.org/wiki/Average-case complexity","trustworthiness":0.9988174910577627,"proofPhrase":"In 1973 , Donald Knuth published Volume 3 of the Art of Computer Programming which extensively surveys average-case performance of algorithms for problems solvable in worst-case polynomial time , such as sorting and median-finding ."},{"website":"https://en.wikipedia.org/wiki/California Institute of Technology","trustworthiness":0.8795161165578893,"proofPhrase":"Donald Knuth -LRB- PhD 1963 -RRB- , the `` father '' of the analysis of algorithms , wrote The Art of Computer Programming and created the TeX computer typesetting system , which is commonly used in the scientific community ."},{"website":"https://en.wikipedia.org/wiki/All nearest smaller values","trustworthiness":0.9649169589633241,"proofPhrase":"Knuth, Donald (1968), \"Vol. 1: Fundamental Algorithms\", The Art of Computer Programming, Reading, Mass.: Addison-Wesley."},{"website":"https://en.wikipedia.org/wiki/Average-case complexity","trustworthiness":0.9988174910577627,"proofPhrase":"D. Knuth , The Art of Computer Programming ."}],"subject":"http://dbpedia.org/resource/Donald_Knuth","predicate":"http://dbpedia.org/ontology/knownFor","object":"http://dbpedia.org/resource/The_Art_of_Computer_Programming","file":null}
-----------------------------
http://dice-fact-check.cs.upb.de:8080/api/checkfact?subject=http://dbpedia.org/resource/Cornel_West&object=http://dbpedia.org/resource/Race_Matters&predicate=http://dbpedia.org/ontology/knownFor
{"taskid":"335","filedata":null,"defactoScore":0.0,"complexProofs":[],"subject":"http://dbpedia.org/resource/Cornel_West","predicate":"http://dbpedia.org/ontology/knownFor","object":"http://dbpedia.org/resource/Race_Matters","file":null}
-----------------------------