@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Journal_of_Automated_Reasoning	foaf:primaryTopic	dbr:Journal_of_Automated_Reasoning .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Tobias_Nipkow	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
dbr:Index_of_philosophical_literature	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
<http://dbpedia.org/resource/Peter_B._Andrews>	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
dbr:Outline_of_thought	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
dbr:Automated_reasoning	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
dbr:Ulrike_Sattler	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
dbr:List_of_logic_journals	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
dbr:List_of_computer_science_journals	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
dbr:Deepak_Kapur	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
dbr:Jasmin_Blanchette	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Journal_of_Automated_Reasoning	rdf:type	wikidata:Q1092563 .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Journal_of_Automated_Reasoning	rdf:type	owl:Thing ,
		wikidata:Q234460 ,
		wikidata:Q386724 .
@prefix schema:	<http://schema.org/> .
dbr:Journal_of_Automated_Reasoning	rdf:type	schema:CreativeWork ,
		dbo:Work ,
		dbo:PeriodicalLiterature ,
		dbo:AcademicJournal ,
		dbo:WrittenWork ;
	owl:sameAs	wikidata:Q6294821 .
@prefix yago-res:	<http://yago-knowledge.org/resource/> .
dbr:Journal_of_Automated_Reasoning	owl:sameAs	yago-res:Journal_of_Automated_Reasoning ,
		<http://ar.dbpedia.org/resource/\u0645\u062C\u0644\u0629_\u0627\u0644\u0645\u0646\u0637\u0642_\u0627\u0644\u0622\u0644\u064A> ,
		<https://global.dbpedia.org/id/4p1DE> ,
		<http://rdf.freebase.com/ns/m.0bwj539> ,
		dbr:Journal_of_Automated_Reasoning ;
	foaf:name	"Journal of Automated Reasoning"@en .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Journal_of_Automated_Reasoning	rdfs:label	"\u0645\u062C\u0644\u0629 \u0627\u0644\u0645\u0646\u0637\u0642 \u0627\u0644\u0622\u0644\u064A"@ar ,
		"Journal of Automated Reasoning"@en .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Journal_of_Automated_Reasoning	dct:subject	dbc:Logic_in_computer_science ,
		<http://dbpedia.org/resource/Category:Springer_Science+Business_Media_academic_journals> ,
		dbc:Logic_journals ,
		dbc:Computer_science_journals ,
		dbc:Academic_journals_established_in_1983 ,
		dbc:Formal_methods_publications ,
		dbc:English-language_journals ;
	foaf:homepage	<https://www.springer.com/computer/theoretical+computer+science/journal/10817> .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Journal_of_Automated_Reasoning	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning?oldid=1235663812&ns=0> ;
	dbo:wikiPageWikiLink	dbc:Logic_in_computer_science ,
		<http://dbpedia.org/resource/Springer_Science+Business_Media> ,
		dbc:Publications_established_in_1983 ,
		dbr:Larry_Wos ,
		<http://dbpedia.org/resource/Category:Springer_Science+Business_Media_academic_journals> ,
		dbr:Vrije_Universiteit_Amsterdam ,
		dbr:Theorem ,
		dbr:Impact_factor ,
		dbr:Jasmin_Blanchette ,
		dbr:Scopus ,
		dbr:Science_Citation_Index_Expanded ,
		dbr:Automated_reasoning ,
		dbr:Logic ,
		dbc:Formal_methods_publications ,
		dbr:Editor_in_chief ,
		dbc:Logic_journals ,
		dbc:English-language_journals ,
		dbr:Computer_science ,
		dbc:Computer_science_journals ;
	dbo:wikiPageExternalLink	<http://www.springerlink.com/openurl.asp%3Fgenre=issue&issn=0168-7433&issue=current> ,
		<https://www.springer.com/computer/theoretical+computer+science/journal/10817> ;
	dbo:description	"revista cient\u00EDfica"@es ,
		"\u043D\u0430\u0443\u043A\u043E\u0432\u0438\u0439 \u0436\u0443\u0440\u043D\u0430\u043B"@uk ,
		"journal"@en ,
		"revue scientifique"@fr ,
		"\u0935\u0948\u091C\u094D\u091E\u093E\u0928\u093F\u0915 \u092A\u0924\u094D\u0930\u093F\u0915\u093E"@hi ,
		"\u0633\u0627\u06CC\u0646\u064E\u0633\u06CC \u0631\u0650\u0633\u0627\u0644\u06C1\u0655"@ks ,
		"v\u011Bdeck\u00FD \u010Dasopis"@cs ,
		"wissenschaftliche Fachzeitschrift"@de ,
		"\u0645\u062C\u0644\u0629"@ar ,
		"wetenschappelijk tijdschrift van Springer Science+Business Media"@nl ,
		"rivista scientifica"@it .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Journal_of_Automated_Reasoning	dbp:wikiPageUsesTemplate	dbt:Reflist ,
		dbt:Infobox_journal ;
	dbp:title	"Journal of Automated Reasoning"@en ;
	dbp:website	<https://www.springer.com/computer/theoretical+computer+science/journal/10817> ;
	foaf:isPrimaryTopicOf	wikipedia-en:Journal_of_Automated_Reasoning ;
	dbp:editor	dbr:Jasmin_Blanchette ;
	dbo:oclc	"263592661" ;
	dbp:oclc	263592661 ;
	dbp:link	<http://www.springerlink.com/openurl.asp%3Fgenre=issue&issn=0168-7433&issue=current> ;
	dbp:frequency	8 ;
	dbp:publisher	<http://dbpedia.org/resource/Springer_Science+Business_Media> ;
	dbo:abbreviation	"J. Autom. Reason." ;
	dbp:abbreviation	"J. Autom. Reason."@en ;
	dbp:history	1983 ;
	dbo:frequencyOfPublication	"8/year" ;
	dbo:issn	"1573-0670" ,
		"0168-7433" ;
	dbo:publisher	<http://dbpedia.org/resource/Springer_Science+Business_Media> .
@prefix xsd:	<http://www.w3.org/2001/XMLSchema#> .
dbr:Journal_of_Automated_Reasoning	dbo:firstPublicationYear	"1983"^^xsd:gYear ;
	dbo:coden	"JAREEW" ;
	dbo:impactFactor	"1.431"^^xsd:double ;
	dbo:impactFactorAsOf	"2019"^^xsd:gYear ;
	dbo:lccn	"sf93093541" ;
	dbp:issn	168 ;
	dbp:lccn	"sf93093541"@en ;
	dbp:link1Name	"Online access"@en ;
	dbp:coden	"JAREEW"@en ;
	dbp:discipline	dbr:Computer_science ;
	dbp:eissn	1573 ;
	dbp:impact	"1.431"^^xsd:double ;
	dbp:impactYear	2019 ;
	dbp:mathscinet	"J. Automat. Reason."@en ;
	dbo:academicDiscipline	dbr:Computer_science ;
	dbo:editor	dbr:Jasmin_Blanchette .
dbr:Index_of_logic_articles	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
dbr:Mizar_system	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
dbr:Rippling	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
dbr:Douglas_Lenat	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .
<http://dbpedia.org/resource/J._Autom._Reason.>	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning ;
	dbo:wikiPageRedirects	dbr:Journal_of_Automated_Reasoning .
<http://dbpedia.org/resource/J._Automat._Reason.>	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning ;
	dbo:wikiPageRedirects	dbr:Journal_of_Automated_Reasoning .
dbr:J_Autom_Reason	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning ;
	dbo:wikiPageRedirects	dbr:Journal_of_Automated_Reasoning .
dbr:J_Autom_Reasoning	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning ;
	dbo:wikiPageRedirects	dbr:Journal_of_Automated_Reasoning .
dbr:J_Automat_Reason	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning ;
	dbo:wikiPageRedirects	dbr:Journal_of_Automated_Reasoning .
dbr:The_Journal_of_Automated_Reasoning	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning ;
	dbo:wikiPageRedirects	dbr:Journal_of_Automated_Reasoning .
dbr:Andrzej_Trybulec	dbo:wikiPageWikiLink	dbr:Journal_of_Automated_Reasoning .