cvb._sessions: null
cvb.acronym: PxTP 2012
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-878.zip
cvb.ceurpubdate: 30-Jul-2012
cvb.city: Manchester
cvb.cityWikidataId: Q21525592
cvb.colocated: null
cvb.conference: null
cvb.country: United Kingdom
cvb.countryWikidataId: Q145
cvb.date: null
cvb.dateFrom: '2012-06-30'
cvb.dateTo: '2012-06-30'
cvb.desc: '?'
cvb.editors: David Pichardie, Tjark Weber
cvb.fromLine: 100015
cvb.fullTitle: null
cvb.h1: PxTP 2012 Proof Exchange for Theorem Proving
cvb.h3: Proceedings of the Second International Workshop on Proof Exchange for Theorem
  Proving
cvb.homepage: http://pxtp2012.inria.fr/
cvb.lang: null
cvb.location: null
cvb.loctime: Manchester, UK, June 30, 2012
cvb.number: 878
cvb.ordinal: null
cvb.pubDate: '2012-07-30T00:00:00'
cvb.pubYear: null
cvb.published: '2012-07-30'
cvb.region: null
cvb.seealso: ''
cvb.submitDate: null
cvb.submittedBy: Tjark Weber
cvb.tdtitle: null
cvb.title: Proceedings of the Second International Workshop on Proof Exchange for
  Theorem Proving
cvb.toLine: 100044
cvb.url: http://ceur-ws.org/Vol-878/
cvb.urn: urn:nbn:de:0074-878-8
cvb.urn_check_digit: 8
cvb.urn_ok: true
cvb.valid: true
cvb.virtualEvent: false
cvb.volname: Proof Exchange for Theorem Proving 2012
cvb.voltitle: Proof Exchange for Theorem Proving
cvb.volume_number: Vol-878
cvb.year: 2012
spt.acronym: PxTP 2012
spt.date: '2012-07-30'
spt.dblp: conf/pxtp/2012
spt.description: Proceedings of PxTP 2012 workshop
spt.html_url: /Vol-878.html
spt.k10plus: null
spt.number: 878
spt.title: Proceedings of the Second International Workshop on Proof Exchange for
  Theorem Proving
spt.url: http://ceur-ws.org/Vol-878/
spt.urn: urn:nbn:de:0074-878-8
spt.wikidataid: Q113545195
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-878-8
wd.Volume: null
wd.dblpEventId: conf/pxtp/pxtp2012
wd.dblpProceedingsId: conf/pxtp/2012
wd.described_at_URL: http://ceur-ws.org/Vol-878/
wd.event: http://www.wikidata.org/entity/Q113656577
wd.eventLabel: Second International Workshop on Proof Exchange for Theorem Proving
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-878/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113545195
wd.itemDescription: Proceedings of PxTP 2012 workshop
wd.itemLabel: Proceedings of the Second International Workshop on Proof Exchange for
  Theorem Proving
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: null
wd.publication_date: '2012-07-30T00:00:00'
wd.sVolume: 878
wd.short_name: PxTP 2012
wd.title: Proceedings of the Second International Workshop on Proof Exchange for Theorem
  Proving
