%0 Conference Paper %1 conf/lpar/Sutcliffe015 %A Sutcliffe, Geoff %A Schulz, Stephan %B IWIL@LPAR %D 2015 %E Konev, Boris %E Schulz, Stephan %E Simon, Laurent %I EasyChair %K dblp %P 106-121 %T The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. %U http://dblp.uni-trier.de/db/conf/lpar/iwil2015.html#Sutcliffe015 %V 40

@inproceedings{conf/lpar/Sutcliffe015, added-at = {2021-08-15T00:00:00.000+0200}, author = {Sutcliffe, Geoff and Schulz, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/2cd496f152d51183541410e3bee40b85b/dblp}, booktitle = {IWIL@LPAR}, crossref = {conf/lpar/2015iwil}, editor = {Konev, Boris and Schulz, Stephan and Simon, Laurent}, ee = {https://doi.org/10.29007/7dg5}, interhash = {9f6d2daeac7cb7646d46dd8ab0fbb7cd}, intrahash = {cd496f152d51183541410e3bee40b85b}, keywords = {dblp}, pages = {106-121}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:00.000+0200}, title = {The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps.}, url = {http://dblp.uni-trier.de/db/conf/lpar/iwil2015.html#Sutcliffe015}, volume = 40, year = 2015 }