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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n6https://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/
n17https://www.springer.com/journal/00165/
n8http://commons.wikimedia.org/wiki/Special:FilePath/
n22http://www.w3.org/2006/03/wn/wn20/instances/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
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:Formal_Aspects_of_Computing
rdf:type
wikidata:Q1092563 dbo:AcademicJournal yago:PhysicalEntity100001930 dbo:Work yago:WikicatQuarterlyJournals yago:Work104599396 dbo:PeriodicalLiterature owl:Thing yago:Object100002684 yago:WikicatComputerScienceJournals yago:Creation103129123 yago:WikicatEnglish-languageJournals yago:WikicatSpringerScience+BusinessMediaAcademicJournals wikidata:Q386724 schema:CreativeWork wikidata:Q234460 yago:Product104007894 yago:Periodical106593296 yago:Whole100003553 dbo:WrittenWork yago:WikicatFormalMethodsPublications yago:Publication106589574 yago:Artifact100021939 yago:WikicatPublicationsEstablishedIn1989
rdfs:label
Formal Aspects of Computing
rdfs:comment
Formal Aspects of Computing (FAOC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170.
foaf:name
Formal Aspects of Computing
foaf:homepage
n17:
foaf:depiction
n8:Formal_Aspects_of_Computing.jpg
dcterms:subject
dbc:Computer_science_journals dbc:Formal_methods_publications dbc:English-language_journals dbc:Quarterly_journals dbc:Publications_established_in_1989 dbc:British_Computer_Society dbc:Springer_Science+Business_Media_academic_journals
dbo:wikiPageID
2583869
dbo:wikiPageRevisionID
1095295543
dbo:wikiPageWikiLink
dbr:BCS-FACS dbr:Formal_methods dbr:Computer_science dbc:Computer_science_journals dbr:Innovations_in_Systems_and_Software_Engineering dbr:Journal_Citation_Reports dbc:Formal_methods_publications dbr:Jim_Woodcock dbc:English-language_journals dbr:Springer_Science+Business_Media dbr:Acta_Informatica dbr:British_Computer_Society dbr:Impact_factor dbr:Editor-in-chief dbc:Quarterly_journals dbr:Scientific_journal dbc:Publications_established_in_1989 dbc:British_Computer_Society dbc:Springer_Science+Business_Media_academic_journals dbr:Peer_review dbr:Cliff_Jones_(computer_scientist)
dbo:wikiPageExternalLink
n17:
owl:sameAs
wikidata:Q5469945 n6:4jguH yago-res:Formal_Aspects_of_Computing freebase:m.07ppsz
dbp:wikiPageUsesTemplate
dbt:Infobox_journal dbt:Reflist dbt:Compu-journal-stub
dbo:thumbnail
n8:Formal_Aspects_of_Computing.jpg?width=300
dbp:impact
1.17
dbp:abbreviation
Form. Asp. Comput.
dbp:cover
Formal Aspects of Computing.jpg
dbp:discipline
dbr:Computer_science dbr:Formal_methods
dbp:editor
dbr:Cliff_Jones_(computer_scientist) dbr:Jim_Woodcock
dbp:frequency
Quarterly
dbp:history
1989
dbp:issn
934
dbp:oclc
42939863
dbp:publisher
dbr:Springer_Science+Business_Media
dbp:title
Formal Aspects of Computing
dbp:website
n17:
dbo:abstract
Formal Aspects of Computing (FAOC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170.
dbp:eissn
1433
dbp:impactYear
2010
dbo:impactFactor
1.17
dbo:impactFactorAsOf
2010-01-01
gold:hypernym
dbr:Journal
dbp:wordnet_type
n22:synset-magazine-noun-1
prov:wasDerivedFrom
wikipedia-en:Formal_Aspects_of_Computing?oldid=1095295543&ns=0
dbo:wikiPageLength
1961
dbo:abbreviation
Form. Asp. Comput.
dbo:firstPublicationYear
1989-01-01
dbo:frequencyOfPublication
Quarterly
dbo:issn
1433-299X 0934-5043
dbo:oclc
42939863
dbo:academicDiscipline
dbr:Formal_methods dbr:Computer_science
dbo:editor
dbr:Cliff_Jones_(computer_scientist) dbr:Jim_Woodcock
dbo:publisher
dbr:Springer_Science+Business_Media
foaf:isPrimaryTopicOf
wikipedia-en:Formal_Aspects_of_Computing