Pollack-inconsistency. Wiedijk, F. In Coen, C. S. & Aspinall, D., editors, UITP 2010, 9th International Workshop on User Interfaces for Theorem Provers, volume 285, of ENTCS, pages 85-100, 2012.
![Pollack-inconsistency [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{freek2012a,
Author = {Freek Wiedijk},
Booktitle = {UITP 2010, 9th International Workshop on User Interfaces for Theorem Provers},
Date-Added = {2014-11-16 23:11:58 +0000},
Date-Modified = {2014-11-16 23:14:10 +0000},
Editor = {C. Sacerdoti Coen and D. Aspinall},
Pages = {85-100},
Series = {ENTCS},
Title = {Pollack-inconsistency},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/rap.pdf},
Volume = {285},
Year = {2012}}Downloads: 0
{"_id":"CJc6wRwCHYMJM6ypf","bibbaseid":"wiedijk-pollackinconsistency-2012","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"UITP 2010, 9th International Workshop on User Interfaces for Theorem Provers","date-added":"2014-11-16 23:11:58 +0000","date-modified":"2014-11-16 23:14:10 +0000","editor":[{"firstnames":["C.","Sacerdoti"],"propositions":[],"lastnames":["Coen"],"suffixes":[]},{"firstnames":["D."],"propositions":[],"lastnames":["Aspinall"],"suffixes":[]}],"pages":"85-100","series":"ENTCS","title":"Pollack-inconsistency","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/rap.pdf","volume":"285","year":"2012","bibtex":"@inproceedings{freek2012a,\n\tAuthor = {Freek Wiedijk},\n\tBooktitle = {UITP 2010, 9th International Workshop on User Interfaces for Theorem Provers},\n\tDate-Added = {2014-11-16 23:11:58 +0000},\n\tDate-Modified = {2014-11-16 23:14:10 +0000},\n\tEditor = {C. Sacerdoti Coen and D. Aspinall},\n\tPages = {85-100},\n\tSeries = {ENTCS},\n\tTitle = {Pollack-inconsistency},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/rap.pdf},\n\tVolume = {285},\n\tYear = {2012}}\n\n","author_short":["Wiedijk, F."],"editor_short":["Coen, C. S.","Aspinall, D."],"key":"freek2012a","id":"freek2012a","bibbaseid":"wiedijk-pollackinconsistency-2012","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/rap.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["pollack","inconsistency","wiedijk"],"title":"Pollack-inconsistency","year":2012}