{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-2304/00030026.html","spt.description":null,"spt.id":"Vol-2304/00030026","spt.wikidataid":null,"spt.title":"A Glimpse to the Logic of Provability","spt.pdfUrl":"https://ceur-ws.org/Vol-2304/00030026.pdf","spt.volume":{"number":2304,"acronym":"RCCS+SPIDTEC2 2018","wikidataid":"Q113543055","title":"Proceedings of the RCCS+SPIDTEC2 Workshop on Regional Consortium for Foundations, Research and Spread of Emerging Technologies in Computing Sciences","description":"Proceedings of RCCS+SPIDTEC2 2018 workshop","url":"http://ceur-ws.org/Vol-2304/","date":"2019-01-15","dblp":null,"k10plus":"1662986378","urn":"urn:nbn:de:0074-2304-7"},"spt.session":null,"cvb.id":"Vol-2304/00030026","cvb.title":"A Glimpse to the Logic of Provability","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"Erick Juárez-Gutiérrez","cvb.vol_number":"2304","cvb.pdf_name":"00030026.pdf","cvb.pages":"26-26","cvb.fail":null}