Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q6294821> ?p ?o }
Showing triples 1 to 69 of
69
with 100 triples per page.
- Q6294821 subject Q15270108.
- Q6294821 subject Q6449631.
- Q6294821 subject Q7464734.
- Q6294821 subject Q7484806.
- Q6294821 subject Q7724249.
- Q6294821 subject Q7724300.
- Q6294821 subject Q8466128.
- Q6294821 abbreviation "J. Autom. Reason.".
- Q6294821 abstract "The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992. It covers research and advances in automated reasoning — mechanical verification of theorems and other deductions in classical and non-classical logic.The journal is published by Springer Science+Business Media. As of 2010, the editor-in-chief is Tobias Nipkow. The journal's 2011 impact factor is 0.714, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus.".
- Q6294821 academicDiscipline Q21198.
- Q6294821 coden "JAREEW".
- Q6294821 editor Q18217799.
- Q6294821 firstPublicationYear "1983".
- Q6294821 frequencyOfPublication "8/year".
- Q6294821 impactFactor "0.714".
- Q6294821 impactFactorAsOf "2011".
- Q6294821 issn "0168-7433".
- Q6294821 issn "1573-0670".
- Q6294821 lccn "sf93093541".
- Q6294821 oclc "263592661".
- Q6294821 publisher Q176916.
- Q6294821 wikiPageExternalLink 10817.
- Q6294821 wikiPageExternalLink openurl.asp?genre=issue&issn=0168-7433&issue=current.
- Q6294821 wikiPageWikiLink Q1379084.
- Q6294821 wikiPageWikiLink Q15270108.
- Q6294821 wikiPageWikiLink Q176916.
- Q6294821 wikiPageWikiLink Q18217799.
- Q6294821 wikiPageWikiLink Q21198.
- Q6294821 wikiPageWikiLink Q2555318.
- Q6294821 wikiPageWikiLink Q371467.
- Q6294821 wikiPageWikiLink Q5330.
- Q6294821 wikiPageWikiLink Q589298.
- Q6294821 wikiPageWikiLink Q6449631.
- Q6294821 wikiPageWikiLink Q6491315.
- Q6294821 wikiPageWikiLink Q65943.
- Q6294821 wikiPageWikiLink Q7464734.
- Q6294821 wikiPageWikiLink Q7484806.
- Q6294821 wikiPageWikiLink Q7724249.
- Q6294821 wikiPageWikiLink Q7724300.
- Q6294821 wikiPageWikiLink Q8078.
- Q6294821 wikiPageWikiLink Q8466128.
- Q6294821 abbreviation "J. Autom. Reason.".
- Q6294821 coden "JAREEW".
- Q6294821 discipline Q21198.
- Q6294821 editor Q18217799.
- Q6294821 eissn "1573".
- Q6294821 frequency "8".
- Q6294821 history "1983".
- Q6294821 impact "0.714".
- Q6294821 impactYear "2011".
- Q6294821 issn "168".
- Q6294821 lccn "sf93093541".
- Q6294821 oclc "263592661".
- Q6294821 publisher Q176916.
- Q6294821 title "Journal of Automated Reasoning".
- Q6294821 website 10817.
- Q6294821 type CreativeWork.
- Q6294821 type AcademicJournal.
- Q6294821 type PeriodicalLiterature.
- Q6294821 type Work.
- Q6294821 type WrittenWork.
- Q6294821 type Thing.
- Q6294821 type Q1092563.
- Q6294821 type Q386724.
- Q6294821 type Q737498.
- Q6294821 comment "The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992. It covers research and advances in automated reasoning — mechanical verification of theorems and other deductions in classical and non-classical logic.The journal is published by Springer Science+Business Media. As of 2010, the editor-in-chief is Tobias Nipkow.".
- Q6294821 label "Journal of Automated Reasoning".
- Q6294821 homepage 10817.
- Q6294821 name "Journal of Automated Reasoning".