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

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

Namespace Prefixes

PrefixIRI
n15https://dl.acm.org/journal/
n20http://portal.acm.org/tocl/
dcthttp://purl.org/dc/terms/
n19https://www.scopus.com/sourceid/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n23http://portal.acm.org/
n14http://g.co/kg/m/
n12https://dl.acm.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n10http://fr.dbpedia.org/resource/Modèle:
n5https://www.worldcat.org/search?fq=x0:jrnl&q=n2:
n13https://www.bioxbio.com/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n6http://www.informatik.uni-trier.de/~ley/db/journals/tocl/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n24http://lamp.infosys.deakin.edu.au/era/

Statements

Subject Item
dbpedia-fr:ACM_Transactions_on_Computational_Logic
rdf:type
owl:Thing
rdfs:label
ACM Transactions on Computational Logic ACM Transactions on Computational Logic
rdfs:comment
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.
rdfs:seeAlso
n5:1557-945X n19:23051 n5:1529-3785 n24:?page=jnamedet12f&eraid=17729
owl:sameAs
dbr:ACM_Transactions_on_Computational_Logic n14:07sc0zk wikidata:Q4650732
dbo:wikiPageID
13570533
dbo:wikiPageRevisionID
175132299
dbo:wikiPageWikiLink
dbpedia-fr:Association_for_Computing_Machinery dbpedia-fr:Évaluation_par_les_pairs dbpedia-fr:Programmation_par_contraintes dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Théorie_des_types dbpedia-fr:Apprentissage_automatique dbpedia-fr:Démonstration_automatique_de_théorèmes dbpedia-fr:Facteur_d'impact dbpedia-fr:Scopus_(Elsevier) category-fr:Revue_d'informatique dbpedia-fr:Logique_temporelle dbpedia-fr:Université_hébraïque_de_Jérusalem dbpedia-fr:Liste_de_revues_d'informatique dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Rédacteur_en_chef dbpedia-fr:SCImago_Journal_Rank dbpedia-fr:Programmation_concurrente dbpedia-fr:Orna_Kupferman dbpedia-fr:Prix__Turing dbpedia-fr:Trimestriel dbpedia-fr:Vérification_formelle dbpedia-fr:Lambda-calcul dbpedia-fr:Vérification_de_modèles dbpedia-fr:Logique_floue dbpedia-fr:Revue_scientifique dbpedia-fr:Réécriture_(informatique) category-fr:Presse_écrite_en_anglais dbpedia-fr:Digital_Bibliography_&_Library_Project dbpedia-fr:Théorie_des_modèles_finis category-fr:Titre_de_presse_créé_en_2000
dbo:wikiPageExternalLink
n6: n13: n23:tocl n20:archive n12:journals n15:tocl
dbo:wikiPageLength
3149
dct:subject
category-fr:Revue_d'informatique category-fr:Titre_de_presse_créé_en_2000 category-fr:Presse_écrite_en_anglais
foaf:homepage
n12:journals
prop-fr:wikiPageUsesTemplate
n10:Site_officiel n10:Références n10:Portail n10:Lien n10:Infobox_Revue n10:Autorité
prov:wasDerivedFrom
wikipedia-fr:ACM_Transactions_on_Computational_Logic?oldid=175132299&ns=0
prop-fr:fr
logique informatique
prop-fr:issn
1529
prop-fr:période
depuis 2000
prop-fr:siteWeb
n15:tocl n12:journals n20:archive
prop-fr:titre
ACM Transactions on Computational Logic
prop-fr:trad
Logic in computer science
prop-fr:éditeur
dbpedia-fr:Association_for_Computing_Machinery
prop-fr:discipline
Logique informatique
prop-fr:rédacteurEnChef
Orna Kupferman
prop-fr:fréquence
dbpedia-fr:Trimestriel
prop-fr:eissn
1557
prop-fr:abréviation
ACM Trans. Comput. Log.
prop-fr:annéeImpact
2017
prop-fr:country
United States
prop-fr:impact
0.731
foaf:isPrimaryTopicOf
wikipedia-fr:ACM_Transactions_on_Computational_Logic
dbo:abstract
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.
dbo:editor
dbpedia-fr:Orna_Kupferman