This HTML5 document contains 102 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n14http://portal.acm.org/tocl/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n13http://portal.acm.org/
n19https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n17http://tocl.acm.org/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_computer_science_journals
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:Vladimir_Lifschitz
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:Symposium_on_Logic_in_Computer_Science
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:Orna_Kupferman
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:Calculus_of_structures
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:Computational_logic
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:Krzysztof_R._Apt
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:Admissible_rule
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:ACM_Trans._Comput._Log.
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
dbo:wikiPageRedirects
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:ACM_Trans_Comput_Log
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
dbo:wikiPageRedirects
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:Association_for_Computing_Machinery
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:ACM_SIGLOG
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:ACM_Transactions_on_Computational_Logic
rdf:type
yago:PhysicalEntity100001930 yago:Object100002684 wikidata:Q234460 schema:CreativeWork yago:Creation103129123 wikidata:Q386724 yago:Work104599396 yago:Periodical106593296 dbo:WrittenWork yago:WikicatComputerScienceJournals yago:Artifact100021939 owl:Thing yago:Product104007894 dbo:AcademicJournal yago:Publication106589574 yago:Whole100003553 dbo:PeriodicalLiterature dbo:Work wikidata:Q1092563
rdfs:label
ACM Transactions on Computational Logic ACM Transactions on Computational Logic
rdfs:comment
ACM Transactions on Computational Logic (ACM TOCL) is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premier scientific and educational society on computer science and computational technology in the United States. The editor-in-chief is Anuj Dawar (University of Cambridge). According to the Journal Citation Reports, the journal had a 2020 impact factor of 0.625. ACM Transactions on Computational Logic (abrégé en TOCL) est une revue scientifique trimestrielle à comité de lecture dans le domaine de la (en) ; elle est publiée par l'Association for Computing Machinery depuis 2000.
foaf:name
ACM Transactions on Computational Logic
foaf:homepage
n17:
dcterms:subject
dbc:Logic_in_computer_science dbc:Association_for_Computing_Machinery_academic_journals dbc:Computer_science_journals
dbo:wikiPageID
24282442
dbo:wikiPageRevisionID
1097663845
dbo:wikiPageWikiLink
dbr:Special_Interest_Group dbr:Association_for_Computing_Machinery dbc:Logic_in_computer_science dbr:Editor-in-chief dbr:Journal_Citation_Reports dbr:University_of_Cambridge dbc:Association_for_Computing_Machinery_academic_journals dbr:Computational_logic dbc:Computer_science_journals dbr:Impact_factor dbr:ACM_SIGLOG dbr:Logic_in_computer_science
dbo:wikiPageExternalLink
n17: n13:tocl n14:archive
owl:sameAs
freebase:m.07sc0zk dbpedia-fr:ACM_Transactions_on_Computational_Logic wikidata:Q4650732 n19:4K2r5 yago-res:ACM_Transactions_on_Computational_Logic
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Infobox_journal
dbp:impact
0.625
dbp:abbreviation
ACM Trans. Comput. Log.
dbp:country
United States
dbp:discipline
dbr:Computational_logic
dbp:editor
Anuj Dawar
dbp:frequency
Quarterly
dbp:history
2000
dbp:issn
1529
dbp:link
n13:tocl n14:archive
dbp:publisher
dbr:Association_for_Computing_Machinery
dbp:title
ACM Transactions on Computational Logic
dbp:website
n17:
dbo:abstract
ACM Transactions on Computational Logic (ACM TOCL) is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premier scientific and educational society on computer science and computational technology in the United States. The editor-in-chief is Anuj Dawar (University of Cambridge). According to the Journal Citation Reports, the journal had a 2020 impact factor of 0.625. ACM Transactions on Computational Logic (abrégé en TOCL) est une revue scientifique trimestrielle à comité de lecture dans le domaine de la (en) ; elle est publiée par l'Association for Computing Machinery depuis 2000.
dbp:eissn
1557
dbp:impactYear
2020
dbp:link1Name
Online access
dbp:link2Name
Online archive
dbo:impactFactor
0.625
dbo:impactFactorAsOf
2020-01-01
gold:hypernym
dbr:Journal
prov:wasDerivedFrom
wikipedia-en:ACM_Transactions_on_Computational_Logic?oldid=1097663845&ns=0
dbo:wikiPageLength
1906
dbo:abbreviation
ACM Trans. Comput. Log.
dbo:firstPublicationYear
2000-01-01
dbo:frequencyOfPublication
Quarterly
dbo:issn
1557-945X 1529-3785
dbo:academicDiscipline
dbr:Computational_logic
dbo:publisher
dbr:Association_for_Computing_Machinery
foaf:isPrimaryTopicOf
wikipedia-en:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:LOOP_(programming_language)
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
dbr:ACM_TOCL
dbo:wikiPageWikiLink
dbr:ACM_Transactions_on_Computational_Logic
dbo:wikiPageRedirects
dbr:ACM_Transactions_on_Computational_Logic
Subject Item
wikipedia-en:ACM_Transactions_on_Computational_Logic
foaf:primaryTopic
dbr:ACM_Transactions_on_Computational_Logic