@book{Talk249,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Oxford, UK},
	Title = {{(Invited Keynote)} Experiments in Universal Logical Reasoning --- How to utilise ATPs 
and SMT solvers for the exploration of axiom systems for category theory in free logic?},
	Year = 2018,
	note = {<a href="http://christoph-benzmueller.de/papers/2018-SMT.pdf">slides</a>},
	Month = jul,
}

{"_id":"3Byjg26niKo3ciYN4","bibbaseid":"anonymous-invitedkeynoteexperimentsinuniversallogicalreasoninghowtoutiliseatpsandsmtsolversfortheexplorationofaxiomsystemsforcategorytheoryinfreelogic-2018","bibdata":{"bibtype":"book","type":"book","keywords":"presentation, invited presentations","optauthor":"Christoph Benzmüller","publisher":"16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Oxford, UK","title":"(Invited Keynote) Experiments in Universal Logical Reasoning — How to utilise ATPs and SMT solvers for the exploration of axiom systems for category theory in free logic?","year":"2018","note":"<a href=\"http://christoph-benzmueller.de/papers/2018-SMT.pdf\">slides</a>","month":"July","bibtex":"@book{Talk249,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\\"u}ller},\n\tPublisher = {16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Oxford, UK},\n\tTitle = {{(Invited Keynote)} Experiments in Universal Logical Reasoning --- How to utilise ATPs \nand SMT solvers for the exploration of axiom systems for category theory in free logic?},\n\tYear = 2018,\n\tnote = {<a href=\"http://christoph-benzmueller.de/papers/2018-SMT.pdf\">slides</a>},\n\tMonth = jul,\n}\n\n\n","key":"Talk249","id":"Talk249","bibbaseid":"anonymous-invitedkeynoteexperimentsinuniversallogicalreasoninghowtoutiliseatpsandsmtsolversfortheexplorationofaxiomsystemsforcategorytheoryinfreelogic-2018","role":"","urls":{},"keyword":["presentation","invited presentations"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/talks.bib","dataSources":["WsTqYPsrMFQRGk3Ku"],"keywords":["presentation","invited presentations"],"search_terms":["invited","keynote","experiments","universal","logical","reasoning","utilise","atps","smt","solvers","exploration","axiom","systems","category","theory","free","logic"],"title":"(Invited Keynote) Experiments in Universal Logical Reasoning — How to utilise ATPs and SMT solvers for the exploration of axiom systems for category theory in free logic?","year":2018}