cvb.acronym: ESARLT
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-257.zip
cvb.ceurpubdate: null
cvb.city: Bremen
cvb.cityWikidataId: Q24879
cvb.colocated: null
cvb.country: Germany
cvb.countryWikidataId: Q183
cvb.dateFrom: null
cvb.dateTo: null
cvb.desc: ESARLT 2007
cvb.editors: Geoff Sutcliffe, Josef Urban, Stephan Schulz
cvb.fromLine: 88562
cvb.h1: ESARLT 2007 Empirically Successful Automated Reasoning in Large Theories
cvb.h3: Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning
  in Large Theories Bremen, Germany, 17th July 2007
cvb.homepage: http://www.cs.miami.edu/~geoff/Conferences/ESARLT/
cvb.loc_city: Bremen
cvb.loc_country: Germany
cvb.loc_days: 17th
cvb.loc_locs: null
cvb.loc_month: July
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: ' Bremen, Germany, 17th July 2007'
cvb.number: 257
cvb.pubDate: '2007-06-27T00:00:00'
cvb.published: '2007-06-27'
cvb.seealso: ''
cvb.submittedBy: Geoff Sutcliffe
cvb.tdtitle: Proceedings of the CADE-21 Workshop on Empirically Successful Automated
  Reasoning in Large Theories (ESARLT-2007), Bremen, Germany, 17th July 2007.
cvb.title: ESARLT 2007 Empirically Successful Automated Reasoning in Large Theories
cvb.toLine: 88606
cvb.url: http://ceur-ws.org/Vol-257/
cvb.urn: null
cvb.urn_check_digit: null
cvb.urn_ok: null
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Empirically Successful Automated Reasoning in Large Theories 2007
cvb.voltitle: null
cvb.volume_number: null
cvb.year: null
spt.acronym: ESARLT
spt.date: '2007-06-27'
spt.dblp: conf/cade/2007esarlt
spt.description: Proceedings of ESARLT 2007 workshop
spt.html_url: /Vol-257.html
spt.k10plus: null
spt.number: 257
spt.title: ESARLT 2007 Empirically Successful Automated Reasoning in Large Theories
spt.url: http://ceur-ws.org/Vol-257/
spt.urn: urn:nbn:de:0074-257-8
spt.wikidataid: Q113545951
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-257-8
wd.Volume: null
wd.dblpEventId: conf/cade/esarlt2007
wd.dblpProceedingsId: conf/cade/2007esarlt
wd.described_at_URL: http://ceur-ws.org/Vol-257/
wd.event: http://www.wikidata.org/entity/Q113673244
wd.eventLabel: ESARLT 2007 Empirically Successful Automated Reasoning in Large Theories
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-257/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113545951
wd.itemDescription: Proceedings of ESARLT 2007 workshop
wd.itemLabel: ESARLT 2007 Empirically Successful Automated Reasoning in Large Theories
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: null
wd.publication_date: '2007-06-27T00:00:00'
wd.sVolume: 257
wd.short_name: ESARLT 2007
wd.title: ESARLT 2007 Empirically Successful Automated Reasoning in Large Theories
