cvb.acronym: ARQNL 2018
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-2095.zip
cvb.ceurpubdate: '2018-06-25'
cvb.city: Oxford
cvb.cityWikidataId: Q20986484
cvb.colocated: IJCAR 2018
cvb.country: United Kingdom
cvb.countryWikidataId: Q145
cvb.dateFrom: '2018-07-18'
cvb.dateTo: '2018-07-18'
cvb.desc: '?'
cvb.editors: "Christoph Benzm\xFCller, Jens Otten"
cvb.fromLine: 35522
cvb.h1: ARQNL 2018 Automated Reasoning in Quantified Non-Classical Logics
cvb.h3: Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified
  Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference
  on Automated Reasoning (IJCAR 2018)
cvb.homepage: http://iltp.de/ARQNL-2018/
cvb.loc_city: Oxford
cvb.loc_country: UK
cvb.loc_days: '18'
cvb.loc_locs: null
cvb.loc_month: July
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Oxford, UK, July 18, 2018
cvb.number: 2095
cvb.pubDate: '2018-06-25T00:00:00'
cvb.published: '2018-06-25'
cvb.seealso: Vol-1770
cvb.submittedBy: "Christoph Benzm\xFCller, Jens Otten"
cvb.tdtitle: Proceedings of the 3rd International Workshop on Automated Reasoning
  in Quantified Non-Classical Logics (ARQNL 2018), Oxford, UK, July 18, 2018.
cvb.title: Proceedings of the 3rd International Workshop on Automated Reasoning in
  Quantified Non-Classical Logics
cvb.toLine: 35545
cvb.url: http://ceur-ws.org/Vol-2095/
cvb.urn: urn:nbn:de:0074-2095-6
cvb.urn_check_digit: 6
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Automated Reasoning in Quantified Non-Classical Logics 2018
cvb.voltitle: Automated Reasoning in Quantified Non-Classical Logics
cvb.volume_number: Vol-2095
cvb.year: '2018'
spt.acronym: ARQNL 2018
spt.date: '2018-06-25'
spt.dblp: conf/cade/2018arqnl
spt.description: Proceedings of ARQNL 2018 workshop
spt.html_url: /Vol-2095.html
spt.k10plus: '1030833532'
spt.number: 2095
spt.title: Proceedings of the 3rd International Workshop on Automated Reasoning in
  Quantified Non-Classical Logics
spt.url: http://ceur-ws.org/Vol-2095/
spt.urn: urn:nbn:de:0074-2095-6
spt.wikidataid: Q113543360
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-2095-6
wd.Volume: null
wd.dblpEventId: conf/cade/arqnl2018
wd.dblpProceedingsId: conf/cade/2018arqnl
wd.described_at_URL: http://ceur-ws.org/Vol-2095/
wd.event: http://www.wikidata.org/entity/Q113619361
wd.eventLabel: 3rd International Workshop on Automated Reasoning in Quantified Non-Classical
  Logics
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-2095/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113543360
wd.itemDescription: Proceedings of ARQNL 2018 workshop
wd.itemLabel: Proceedings of the 3rd International Workshop on Automated Reasoning
  in Quantified Non-Classical Logics
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1030833532'
wd.publication_date: '2018-06-25T00:00:00'
wd.sVolume: 2095
wd.short_name: ARQNL 2018
wd.title: Proceedings of the 3rd International Workshop on Automated Reasoning in
  Quantified Non-Classical Logics
